Bild 1 von 1
Programmiersprache Implementierung und logische Programmierung: Internationales Werk-
Artikelzustand:
3 verfügbar
Preis:
US $67,88
Ca.EUR 62,53
- Sofort-KaufenProgrammiersprache Implementierung und logische Programmierung: Internationales Werk
Versand:
Standort: Fairfield, Ohio, USA
Lieferung:
Lieferung zwischen Sa, 15. Jun und Do, 27. Jun nach 43230 bei heutigem Zahlungseingang
Rücknahmen:
Zahlungen:
Sicher einkaufen
Angaben zum Verkäufer
- 98,3% positive Bewertungen
Angemeldet als gewerblicher Verkäufer
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:386679790384
Artikelmerkmale
- Artikelzustand
- ISBN-13
- 9783540530107
- Book Title
- Programming Language Implementation and Logic Programming
- ISBN
- 9783540530107
- Publication Year
- 1990
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Publication Name
- Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings
- Item Length
- 9.2in
- Publisher
- Springer Berlin / Heidelberg
- Item Width
- 6.1in
- Item Weight
- 45.2 Oz
- Number of Pages
- VII, 542 Pages
Über dieses Produkt
Product Information
This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Programming (PLILP '90) held in Linköping, Sweden, August 20-22, 1990. The aim of the workshop was to identify concepts and techniques used both in implementation of programming languages, regardless of the underlying programming paradigm, and in logic programming. The intention was to bring together researchers working in these fields. The volume includes 26 selected papers falling into two categories. Papers in the first category present certain ideas from the point of view of a particular class of programming languages, or even a particular language. The ideas presented seem to be applicable in other classes of languages. Papers in the second category directly address the problem of integration of various programming paradigms. The proceedings of the predecessor workshop PLILP '88, held in Orléans, France, May 16-18, 1988, are available as Lecture Notes in Computer Science, Vol. 348.
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
354053010x
ISBN-13
9783540530107
eBay Product ID (ePID)
24038767348
Product Key Features
Publication Name
Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings
Format
Trade Paperback
Language
English
Publication Year
1990
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Number of Pages
VII, 542 Pages
Dimensions
Item Length
9.2in
Item Width
6.1in
Item Weight
45.2 Oz
Additional Product Features
Series Volume Number
456
Number of Volumes
1 Vol.
Lc Classification Number
Qa75.5-76.95
Table of Content
Implementing parallel rewriting.- Compilation of narrowing.- Inference-based overloading resolution for ADA.- An approach to verifiable compiling specification and prototyping.- Bug localization by algorithmic debugging and program slicing.- A constraint logic programming shell.- Modifying the simplex algorithm to a constraint solver.- Implementing a meta-logical scheme.- The vienna abstract machine.- A new data structure for implementing extensions to Prolog.- Finding the least fixed point using wait-declarations in Prolog.- Elementary logic programs.- A new presburger arithmetic decision procedure based on extended prolog execution.- Reasoning about programs with effects.- Towards a characterization of termination of logic programs.- Static type analysis of prolog procedures for ensuring correctness.- Integrating strict and lazy evaluation: the ?sl-calculus.- Efficient data representation in polymorphic languages.- A logic-based approach to data flow analysis problems.- Systematic semantic approximations of logic programs.- Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity.- On the automatic generation of events in delta prolog.- Compilation of non-linear, second order patterns on S-expressions.- Pattern matching in a functional transformation language using treeparsing.- Logic programming within a functional framework.- Compiling logic programs with equality.
Copyright Date
1990
Topic
Programming Languages / General, Computer Science, Intelligence (Ai) & Semantics, Logic Design, Compilers
Lccn
90-010181
Intended Audience
Scholarly & Professional
Illustrated
Yes
Genre
Computers
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:386679790384
Verpackung und Versand
Artikelstandort:
Fairfield, Ohio, USA
Versand nach:
Afghanistan, Albanien, Algerien, Andorra, Angola, Anguilla, Antigua und Barbuda, Argentinien, Armenien, Aruba, Aserbaidschan, Australien, Bahamas, Bahrain, Bangladesch, Belgien, Belize, Benin, Bermuda, Bhutan, Bolivien, Bosnien und Herzegowina, Botsuana, Brasilien, Britische Jungferninseln, Brunei Darussalam, Bulgarien, Burkina Faso, Burundi, Chile, China, Cookinseln, Costa Rica, Côte d'Ivoire (Elfenbeinküste), Demokratische Republik Kongo, Deutschland, Dominica, Dominikanische Republik, Dschibuti, Dänemark, Ecuador, El Salvador, Eritrea, Estland, Falklandinseln (Malwinen), Fidschi, Finnland, Frankreich, Gabun, Gambia, Georgien, Ghana, Gibraltar, Grenada, Griechenland, Grönland, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hongkong, Indien, Indonesien, Irak, Irland, Island, Israel, Italien, Jamaika, Japan, Jemen, Jersey, Jordanien, Kaimaninseln, Kambodscha, Kamerun, Kanada, Kapverdische Inseln, Kasachstan, Katar, Kenia, Kirgisistan, Kiribati, Kolumbien, Komoren, Kuwait, Laos, Lesotho, Lettland, Libanon, Liberia, Liechtenstein, Litauen, Luxemburg, Macau, Madagaskar, Malawi, Malaysia, Malediven, Mali, Malta, Marokko, Mauretanien, Mauritius, Mayotte, Mazedonien, Mexiko, Moldawien, Monaco, Mongolei, Montenegro, Montserrat, Mosambik, Namibia, Nauru, Nepal, Neuseeland, Nicaragua, Niederlande, Niederländische Antillen, Niger, Nigeria, Niue, Norwegen, Oman, Pakistan, Paraguay, Peru, Philippinen, Polen, Portugal, Republik Kongo, Republik Kroatien, Ruanda, Rumänien, Saint-Pierre und Miquelon, Salomonen, Sambia, San Marino, Saudi-Arabien, Schweden, Schweiz, Senegal, Serbien, Seychellen, Sierra Leone, Simbabwe, Singapur, Slowakei, Slowenien, Somalia, Spanien, Sri Lanka, St. Helena, St. Kitts und Nevis, St. Lucia, St. Vincent und die Grenadinen, Suriname, Svalbard und Jan Mayen, Swasiland, Südafrika, Südkorea, Tadschikistan, Taiwan, Tansania, Thailand, Togo, Tonga, Trinidad und Tobago, Tschad, Tschechische Republik, Tunesien, Turkmenistan, Turks- und Caicosinseln, Tuvalu, Türkei, Uganda, Ungarn, Uruguay, Usbekistan, Vanuatu, Vatikan, Vereinigte Arabische Emirate, Vereinigtes Königreich, Vietnam, Wallis und Futuna, Weltweit, Westsahara, Zentralafrikanische Republik, Zypern, Ägypten, Äquatorialguinea, Äthiopien, Österreich
Ausgeschlossen:
APO/FPO, Alaska/Hawaii, Barbados, Belarus, Französisch-Guayana, Französisch-Polynesien, Guadeloupe, Libyen, Martinique, Neukaledonien, Panama, Papua-Neuguinea, Russische Föderation, Réunion, Samoa (Westsamoa), US-Protektorate, Ukraine, Venezuela
| Verpackung und Versand | Jeder zusätzliche Artikel | Nach | Service | Lieferung*Siehe Lieferhinweise |
|---|---|---|---|---|
| Kostenloser Versand | Kostenlos | USA | Economy Shipping | Lieferung zwischen Sa, 15. Jun und Do, 27. Jun nach 43230 |
| Bearbeitungszeit |
|---|
| Der Verkäufer verschickt den Artikel innerhalb von 10 Werktagen nach Zahlungseingang. |
| Steuern |
|---|
| An der Kasse fallen ggf. Steuern an. Mehr erfahrenMehr erfahren zu Steuern auf eBay-Käufe. |
Mehrwertsteuer für diesen Artikel #386679790384
Mehrwertsteuer für diesen Artikel #386679790384
Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:
| Bundesstaat | Steuersatz für Sales Tax |
|---|
Rücknahmebedingungen
| Frist für Kontaktaufnahme mit dem Verkäufer nach Erhalt Artikels: | Rückerstattung erfolgt in folgender Form: | Rücksendung |
|---|---|---|
| 30 Tage | Geld zurück | Käufer zahlt Rückversand |
Der Käufer trägt die Rücksendekosten.
| Rücknahmebedingungen im Detail |
|---|
| Rücknahme akzeptiert |
Zahlungsdaten
Zahlungsmethoden
Beliebte Kategorien in diesem Shop
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (1.024.154)
r***e (21)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Great seller! Easy transaction, book was exactly as described.
c***_ (65)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Super awesome, fast shipping, reliable custom.I will buy from this one again
s***5 (1045)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
I have ordered many books from this seller and I have always been very happy. This book arrived early and looks brand new and perfect, exactly as listed. Thanks!!
Noch mehr entdecken:
- Internationale Politikbücher,
- Bücher über internationale Politik Sachbuch,
- Bücher über internationale Küche Sachbuch,
- Internationales Recht Studium und Erwachsenenbildung,
- Bücher über internationale Beziehungen Sachbuch,
- Deutsche Bücher über internationale Küche Sachbuch,
- Sachbuch als gebundene Ausgabe Bücher über internationale Küche,
- Bücher mit Kunst- & Kultur Sachbuch internationale Küche,
- Bücher über internationale Beziehungen Sachbuch im Taschenbuch-Format,
- Bücher über internationale Küche Sachbuch Ab 2010