Afbeelding 1 van 1

Hebt u iets om te verkopen?

Verkoop het zelf

Static Analysis: 4th International Symposium, SAS '97, Paris, France, September

Objectstaat:

Nieuw

Aantal:

7 beschikbaar

Prijs:

US $67,88

OngeveerEUR 63,54

Verzendkosten:

Gratis Economy Shipping. Details bekijkenvoor verzending

Bevindt zich in: Fairfield, Ohio, Verenigde Staten

Levering:

Geschatte levering tussen vr, 17 mei en wo, 29 mei tot 43230

Retourbeleid:

30 dagen om te retourneren. Koper betaalt voor retourzending. Details bekijken- voor meer informatie over retourzendingen

Betalingen:

Winkel met vertrouwen

Topverkoper

Betrouwbare verkoper, snelle verzending en eenvoudige retourzending.

Meer weten?- Topverkoper Plus: nieuw venster of tabblad

Geld-terug-garantie van eBay

Ontvang het object dat u hebt besteld of krijg uw geld terug.

Meer informatieGeld-terug-garantie van eBay - nieuw venster of tabblad

Verkopergegevens

grandeagleretail (918467)
98,2% positive feedback

Ingeschreven als zakelijke verkoper

Dit object rapporteren - nieuw venster of nieuw tabblad

De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.

eBay-objectnummer:364690410135

Laatst bijgewerkt op 01 apr 2024 10:11:51 CESTAlle herzieningen bekijkenAlle herzieningen bekijken

Specificaties

Objectstaat: Nieuw: Een nieuw, ongelezen en ongebruikt boek in perfecte staat waarin geen bladzijden ontbreken of ...

ISBN-13: 9783540634683

Book Title: Static Analysis

ISBN: 9783540634683

Publication Year: 1997

Series: Lecture Notes in Computer Science Ser.

Type: Textbook

Format: Book, Trade Paperback, Paperback

Language: English

Publication Name: Algebraic and Logic Programming : 6th International Joint Conference, ALP 097-HOA 097, Southampton, U. K., September 3-5, 1997. Proceedings

Author: J. Heering

Item Length: 11in

Publisher: Springer Berlin / Heidelberg

Item Width: 8.5in

Item Weight: 46.9 Oz

Number of Pages: Xii, 424 Pages

Over dit product

Product Information

This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997. The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination.

Product Identifiers

Publisher

Springer Berlin / Heidelberg

ISBN-10

3540634681

ISBN-13

9783540634683

eBay Product ID (ePID)

678608

Product Key Features

Author

J. Heering

Publication Name

Algebraic and Logic Programming : 6th International Joint Conference, ALP 097-HOA 097, Southampton, U. K., September 3-5, 1997. Proceedings

Format

Book, Trade Paperback, Paperback

Language

English

Publication Year

1997

Series

Lecture Notes in Computer Science Ser.

Type

Textbook

Number of Pages

Xii, 424 Pages

Dimensions

Item Length

11in

Item Width

8.5in

Item Weight

46.9 Oz

Additional Product Features

Series Volume Number

1302

Number of Volumes

1 Vol.

Lc Classification Number

Qa76.9.S88

Volume Number

Vol. 130

Table of Content

On sparse evaluation representations.- The effects of the precision of pointer analysis.- Fast and effective procedure inlining.- Set-sharing is redundant for pair-sharing.- An algebraic approach to sharing analysis of logic programs.- Logical optimality of groundness analysis.- Towards a cost-effective estimation of uncaught exceptions in SML programs.- Program analysis using mixed term and set constraints.- Set-based analysis for logic programming and tree automata.- Denotational abstract interpretation of functional logic programs.- Termination analysis for Mercury.- The power of QDDs (extended abstract).- Type-based analysis of communication for concurrent programming languages.- True concurrency via abstract interpretation.- Static analysis of interaction nets for distributed implementations.- Type-directed flow analysis for typed intermediate languages.- Exact flow analysis.- Satisfying subtype inequalities in polynomial space.- Static analyses of congruence properties on rational numbers (extended abstract).- Effective specialization of realistic programs via use sensitivity.- Coalescing conditional branches into efficient indirect jumps.- Automatic termination analysis for partial functions using polynomial orderings.- TEA: Automatically proving termination of programs in a non-strict higher-order functional language.- Semantic analyzer of modula-programs.- Abstract interpretation for improving WAM code.- Attribute grammars and functional programming deforestation.- Data dependences as abstract interpretations.- Abstract interpretation: A theory of approximate computation.- On the desirable link between theory and practice in abstract interpretation (extended abstract).- Abstract interpretation based static analysis parameterized by semantics.- Can abstract interpretation become a mainstream compiler technology'.- Combining abstract interpretation and partial evaluation (brief overview).- Practical compile-time analysis.

1997

Target Audience

Scholarly & Professional

Topic

Programming Languages / General, Programming / General, Software Development & Engineering / General, Information Technology

Lccn

97-030415

Dewey Decimal

005.13/1

Dewey Edition

Illustrated

Yes

Genre

Computers

Objectbeschrijving van de verkoper

Informatie van zakelijke verkoper

Premier Books LLC

David Taylor

26C Trolley Sq

19806-3356 Wilmington, DE

United States

Contactgegevens weergeven

:liam-Emoc.liaterelgaednarg@yabe

Ik verklaar dat al mijn verkoopactiviteiten zullen voldoen aan alle wet- en regelgeving van de EU.

De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.

eBay-objectnummer:364690410135

Laatst bijgewerkt op 01 apr 2024 10:11:51 CESTAlle herzieningen bekijkenAlle herzieningen bekijken

Verzending en verwerking

Objectlocatie:

Fairfield, Ohio, Verenigde Staten

Wordt verzonden naar:

Afghanistan, Albanië, Algerije, Andorra, Angola, Anguilla, Antigua en Barbuda, Argentinië, Armenië, Aruba, Australië, Azerbeidzjan, Bahama's, Bahrein, Bangladesh, België, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnië en Herzegovina, Botswana, Brazilië, Britse Maagdeneilanden, Brunei Darussalam, Bulgarije, Burkina Faso, Burundi, Cambodja, Canada, Centraal-Afrikaanse Republiek, Chili, China, Colombia, Comoren, Cookeilanden, Costa Rica, Cyprus, Democratische Republiek Congo, Denemarken, Djibouti, Dominica, Dominicaanse Republiek, Duitsland, Ecuador, Egypte, El Salvador, Equatoriaal-Guinea, Eritrea, Estland, Ethiopië, Falklandeilanden (Islas Malvinas), Fiji, Filipijnen, Finland, Frankrijk, Gabon, Gambia, Georgië, Ghana, Gibraltar, Grenada, Griekenland, Groenland, Guatemala, Guernsey, Guinee, Guinee-Bissau, Guyana, Haïti, Honduras, Hongarije, Hongkong, IJsland, Ierland, India, Indonesië, Irak, Israël, Italië, Ivoorkust, Jamaica, Japan, Jemen, Jersey, Jordanië, Kaaimaneilanden, Kaapverdische eilanden, Kameroen, Kazachstan, Kenia, Kirgizië, Kiribati, Koeweit, Kroatië, Laos, Lesotho, Letland, Libanon, Liberia, Liechtenstein, Litouwen, Luxemburg, Macau, Macedonië, Madagaskar, Malawi, Maldiven, Maleisië, Mali, Malta, Marokko, Mauritanië, Mauritius, Mayotte, Mexico, Moldavië, Monaco, Mongolië, Montenegro, Montserrat, Mozambique, Namibië, Nauru, Nederland, Nederlandse Antillen, Nepal, Nicaragua, Nieuw-Zeeland, Niger, Nigeria, Niue, Noorwegen, Oeganda, Oezbekistan, Oman, Oostenrijk, Pakistan, Paraguay, Peru, Polen, Portugal, Qatar, Republiek Congo, Roemenië, Rwanda, Saint Kitts en Nevis, Saint Lucia, Saint Pierre en Miquelon, Saint Vincent en de Grenadines, San Marino, Saudi-Arabië, Senegal, Servië, Seychellen, Sierra Leone, Singapore, Sint-Helena, Slovenië, Slowakije, Solomoneilanden, Somalië, Spanje, Spitsbergen en Jan Mayen, Sri Lanka, Suriname, Swaziland, Tadzjikistan, Taiwan, Tanzania, Thailand, Togo, Tonga, Trinidad en Tobago, Tsjaad, Tsjechië, Tunesië, Turkije, Turkmenistan, Turks- en Caicoseilanden, Tuvalu, Uruguay, Vanuatu, Vaticaanstad, Verenigd Koninkrijk, Verenigde Arabische Emiraten, Vietnam, Wallis en Futuna, Wereldwijd, Westelijke Sahara, Zambia, Zimbabwe, Zuid-Afrika, Zuid-Korea, Zweden, Zwitserland

Uitgesloten:

APO/FPO, Alaska/Hawaï, Amerikaanse protectoraten, Barbados, Frans-Guyana, Frans-Polynesië, Guadeloupe, Libië, Martinique, Nieuw-Caledonië, Oekraïne, Panama, Papoea-Nieuw-Guinea, Russische Federatie, Réunion, Venezuela, Westelijk Samoa, Wit-Rusland

Aantal:

Land wijzigen:

Postcode:

Verzending en verwerking	Elk volgende object	Tot	Service	Levering*Zie opmerkingen over levering
Gratis verzending	Gratis	Verenigde Staten	Economy Shipping	Geschatte levering tussen vr, 17 mei en wo, 29 mei tot 43230

Opmerkingen - Levering *Geschatte leveringsdatums zijn inclusief de verwerkingstijd van de verkoper, de postcode van de verzendlocatie, de postcode van de bestemming en de tijd waarop het object wordt ontvangen, en is afhankelijk van de geselecteerde verzendservice en het ontvangstbewijs van betaling. De leveringstermijnen kunnen variëren, vooral gedurende piekperiodes.

Verwerkingstijd

Wordt doorgaans binnen 10 werkdagen na ontvangst van betaling verzonden.

Belasting

Er kunnen belastingen van toepassing zijn tijdens Betalen. Meer weten?Lees meer over het betalen van belastingen op eBay-aankopen.