• 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

Fr. 72.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.1996

Herausgeber

Herbert Kuchen + weitere

Verlag

Springer Berlin

Seitenzahl

478

Maße (L/B/H)

23.5/15.5/2.6 cm

Gewicht

750 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61756-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.1996

Herausgeber

Verlag

Springer Berlin

Seitenzahl

478

Maße (L/B/H)

23.5/15.5/2.6 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

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • 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 (extended abstract).- 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.