Programming Languages and Systems - ESOP '94
Springer Berlin (Verlag)
978-3-540-57880-2 (ISBN)
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.
Erscheint lt. Verlag | 23.3.1994 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | IX, 523 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 712 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | algorithm • algorithms • Design • Hardcover, Softcover / Informatik, EDV/Programmiersprachen • HC/Informatik, EDV/Programmiersprachen • implementation • Implementierung • Logic • Pogramming • Programmiersprache • Programmiersprachen • Programmiersysteme • programming • Programming language • Programming Languages • Programming Systems • Semantics • Software Design Methodologies • Softwareentwicklung • Softwareentwicklungsmethologien • Specification • Spezifikation • verification |
ISBN-10 | 3-540-57880-3 / 3540578803 |
ISBN-13 | 978-3-540-57880-2 / 9783540578802 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich