Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings / Hanne Riis Nielson, ed.

Author/creator European Symposium on Programming
Other author Nielson, Hanne Riis, 1954-
Format Book
Publication InfoBerlin ; New York : Springer, ©1996.
Descriptionx, 403 pages : illustrations ; 24 cm.
Subjects
Computer programming--Congresses.
Programming languages (Electronic computers)--Congresses.

SeriesLecture notes in computer science ; 1058
Lecture notes in computer science 1058. ^A466336
Contents Some practical problems and their influence on semantics / C.B. Jones -- Compiling Haskell by program transformation : a report from the trenches / S.L. Peyton Jones -- Narrowing-driven partial evaluation of functional logic programs / M. Alpuente, M. Falaschi, and G. Vidal -- A multiple-valued logical semantics for Prolog / R. Barbuti and P. Mancarella -- Removing value encoding using alternative values in partial evaluation of strongly-typed languages / D. Bechet -- A complete transformational toolkit for compilers / J.A. Bergstra ... [et al.] -- Global analysis of standard Prolog programs / F. Bueno ... [et al.] -- Static detection of pointer errors : an axiomatisation and a checking algorithm / P. Fradet, R. Gaugne, and D. Le Métayer -- Compositional optimization of disjunctive abstract interpretations / R. Giacobazzi and F. Ranzato -- A rewriting logic for declarative programming / J.C. González-Moreno ... [et al.] -- Durations for truly-concurrent transitions / E. Goubault -- Flow analysis in the geometry of interaction / T.P. Jensen and I. Mackie -- Parametricity and unboxing with unpointed types / J. Launchbury and R. Paterson -- Modular denotational semantics for compiler construction / S. Liang and P. Hudak -- Compositional semantics of non-deterministic synchronous languages / F. Maraninchi and N. Halbwachs -- Checking system properties via integer programming / S. Melzer and J. Esparza -- Efficient minimization up to location equivalence / U. Montanari, M. Pistore, and D. Yankelevich -- A new approach to compiling adaptive programs / J. Palsberg, B. Patt-Shamir, and K. Lieberherr -- Mode and termination checking for higher-order logic programs / E. Rohwedder and F. Pfenning -- Linear time hierarchies for a functional language machine model / E. Rose -- Integer constraints to stop deforestation / H. Seidl -- Towards an ML-style polymorphic type system for C / G. Smith and D. Volpano -- Assumption/commitment rules for dataflow networks, with an emphasis on completeness / K. Stølen -- Towards an expressive language for PDE solvers / M. Thuné and K. Åhlander -- Rewrite systems with abstraction and β-rule : types, approximants and normalization / S. van Bakel, F. Barbanera, and M. Fernández.
Bibliography noteIncludes bibliographical references and index.
LCCN 96005692
ISBN3540610553 (Berlin : acid-free paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.6 .E976 1996 ✔ Available Place Hold