Bücher immer versandkostenfrei
Programming Languages: Implementations, Logics and Programs als Buch (kartoniert)
PORTO-
FREI

Programming Languages: Implementations, Logics and Programs

7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings. Auflage…
Buch (kartoniert)
This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995.The book presents 26 refereed full papers sele … weiterlesen
Buch (kartoniert)

96,49 *

inkl. MwSt.
Portofrei
Lieferbar innerhalb von 5 bis 7 Werktagen
Programming Languages: Implementations, Logics and Programs als Buch (kartoniert)

Produktdetails

Titel: Programming Languages: Implementations, Logics and Programs
Autor/en: Manuel Hermenegildo, S. D. Swierstra

ISBN: 354060359X
EAN: 9783540603597
7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings.
Auflage 1995.
Paperback.
Sprache: Englisch.
Herausgegeben von Manuel Hermenegildo, S. Doaitse Swierstra
Springer Berlin Heidelberg

11. September 1995 - kartoniert - 488 Seiten

Beschreibung

This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995.The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations.

Inhaltsverzeichnis

A generic program for sequential decision processes.- Parsing visual languages with constraint multiset grammars.- Programming with constructor classes.- Towards a taxonomy of functional language implementations.- A ?-calculus à la de Bruijn with explicit substitutions.- A verified implementation of narrowing.- A new calculus for semantic matching.- A complete narrowing calculus for higher-order functional logic programming.- Exploiting parallelism in tabled evaluations.- Design and implementation of jump tables for fast indexing of logic programs.- An abstract machine for Oz.- Uniform PERs and comportment analysis.- Uniqueness type inference.- Modes of comprehension: Mode analysis of arrays and array comprehensions.- Better consumers for deforestation.- Efficient compile-time garbage collection for arbitrary data structures.- Efficient multi-level generating extensions for program specialization.- Mechanically verifying the correctness of an offline partial evaluator.- A semantic model of binding times for safe partial evaluation.- Gadgets: Lazy functional components for graphical user interfaces.- Lightweight GUIs for functional programming.- Local linear logic for locality consciousness in multiset transformation.- The notion of floundering for SLDNF-resolution revisited.- Minimal set unification.- Goal-directed query processing in disjunctive logic databases.- A dataflow semantics for constraint logic programs.- A functional framework for deterministically interleaved interactive programs.- A debugging model for lazy narrowing.- Evaluation of expressions in a multiparadigm framework.- An expression-or-parallel implementation for a functional logic language.- Attributed models of executable specifications.- Approximating constraint logic programs using polymorphic types and regular descriptions.- Performance of a data-parallel concurrent constraint programming system.- A portable implementation of memoing evaluation.

Mehr aus dieser Reihe

zurück
Artificial Intelligence in Music, Sound, Art and Design
Buch (kartoniert)
Internet Science
Buch (kartoniert)
Policy-Based Autonomic Data Governance
Buch (kartoniert)
Canadian AI 2019
Buch (kartoniert)
Algorithms for Computational Biology
Buch (kartoniert)
vor
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
1 Mängelexemplare sind Bücher mit leichten Beschädigungen, die das Lesen aber nicht einschränken. Mängelexemplare sind durch einen Stempel als solche gekennzeichnet. Die frühere Buchpreisbindung ist aufgehoben. Angaben zu Preissenkungen beziehen sich auf den gebundenen Preis eines mangelfreien Exemplars.

2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.