Vor Ort
Merkzettel Warenkorb
  • Produktbild: Programming Languages: Implementations, Logics, and Programs
  • Produktbild: Programming Languages: Implementations, Logics, and Programs
Band 1140

Programming Languages: Implementations, Logics, and Programs 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.1996

Abbildungen

XII, 478 p.

Herausgeber

Herbert Kuchen + weitere

Verlag

Springer Berlin

Seitenzahl

478

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

750 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61756-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.1996

Abbildungen

XII, 478 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

478

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

750 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61756-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Programming Languages: Implementations, Logics, and Programs
  • Produktbild: Programming Languages: Implementations, Logics, and Programs
  • Calculate polytypically!.- Limits of ML-definability.- Functorial ML.- Parametric polymorphism for typed Prolog and ?Prolog.- GOTA algebras: A specification formalism for inheritance and object hierarchies.- Towards independent and-parallelism in CLP.- Annotated structure shape graphs for abstract analysis of Prolog.- A reactive implementation of Pos using ROBDDs.- Dynamic Attribute Grammars.- Logic program specialisation: How to be more specific.- Controlling conjunctive partial deduction.- Unfold/Fold transformations of concurrent processes.- Semantics-based compiling: A case study in type-directed partial evaluation.- Implementing memoization for partial evaluation.- Higher order deforestation.- Scheduling expression DAGs for minimal register need.- Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies.- Program Sharing: A new implementation approach for Prolog.- Systematic extraction and implementation of divide-and-conquer parallelism.- Functional skeletons generate process topologies in Eden.- ProFun — A Language for executable specifications.- From term rewriting to generalised interaction nets.- Type isomorphisms for module signatures.- Decidability of logic program semantics and applications to testing.- PIDGETS unifying pictures and widgets in a constraint-based framework for concurrent functional GUI programming.- Generalized ?-reduction and explicit substitutions.- Modeling sharing and recursion for weak reduction strategies using explicit substitution.- Context-sensitive computations in confluent programs.- Models for using stochastic constraint solvers in constraint logic programming.- Integrating efficient records into concurrent constraint programming.- The LOL deductive database programming language (extendedabstract).- An efficient and precise sharing domain for logic programs.- Cheap tupling in calculational form.- Needed narrowing in Prolog.- Automatic optimization of dynamic scheduling in logic programs.- Oz Explorer: A visual constraint programming tool.