Merkzettel Warenkorb
  • Produktbild: Programming Languages and Systems - ESOP '94
  • Produktbild: Programming Languages and Systems - ESOP '94
Band 788

Programming Languages and Systems - ESOP '94 5th European Symposium on Programming, ESOP '94, Edinburgh, U.K., April 11-13, 1994. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.03.1994

Herausgeber

Donald Sannella

Verlag

Springer Berlin

Seitenzahl

523

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

708 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-57880-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.03.1994

Herausgeber

Donald Sannella

Verlag

Springer Berlin

Seitenzahl

523

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

708 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-57880-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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 and Systems - ESOP '94
  • Produktbild: Programming Languages and Systems - ESOP '94
  • A theory of primitive objects.- Pi-nets: A graphical form of ?-calculus.- Local type reconstruction by means of symbolic fixed point iteration.- An asynchronous process algebra with multiple clocks.- Foundational issues in implementing constraint logic programming systems.- Programming with behaviors in an ML framework — The syntax and semantics of LCS.- Characterizing behavioural semantics and abstractor semantics.- Extending pruning techniques to polymorphic second order ?-calculus.- ?-definition of function(al)s by normal forms.- Simulation of SOS definitions with term rewriting systems.- Strategies in modular system design by interface rewriting.- Symbolic model checking and constraint logic programming: A cross-fertilization.- A logical denotational semantics for constraint logic programming.- Compilation of head and strong reduction.- Suffix trees in the functioned programming paradigm.- Type classes in Haskell.- Lazy type inference for the strictness analysis of lists.- Lazy unification with simplification.- Polymorphic binding-time analysis.- Shapely types and shape polymorphism.- Bottom-up grammar analysis — A functional formulation.- First-class polymorphism for ML.- Dimension types.- A synergistic analysis for sharing and groundness which traces linearity.- A ?-calculus specification of prolog.- A logical framework for evolution of specifications.- A semantics for higher-order functors.- The PCKS-machine: An abstract machine for sound evaluation of parallel functional programs with first-class continuations.- A tiny constraint functional logic language and its continuation semantics.- Fully abstract translations and parametric polymorphism.- Broadcasting with priority.- Towards unifying partial evaluation, deforestation, supercompilation, and GPC.- Algebraic proofs of properties of objects.