Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007016748/catalog> ?p ?o. }

• catalog abstract ""This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linköping, Sweden, in April 1996. The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation, and implementation techniques."--PUBLISHER'S WEBSITE.".
• catalog contributor b9728418.
• catalog contributor b9728419.
• catalog created "c1996.".
• catalog date "1996".
• catalog date "c1996.".
• catalog dateCopyrighted "c1996.".
• catalog description ""This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linköping, Sweden, in April 1996. The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation, and implementation techniques."--PUBLISHER'S WEBSITE.".
• catalog description "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 [beta]-rule : types, approximants and normalization / S. van Bakel, F. Barbanera, and M. Fernández.".
• catalog description "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 -- ".
• catalog description "Includes bibliographical references and index.".
• catalog description "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 [and others] -- Global analysis of standard Prolog programs / F. Bueno [and others] -- 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 [and others] -- ".
• catalog extent "x, 403 p. :".
• catalog identifier "3540610553 (Berlin : acid-free paper)".
• catalog isPartOf "Lecture notes in computer science ; 1058".
• catalog issued "1996".
• catalog issued "c1996.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.1 20".
• catalog subject "Computer programming Congresses.".
• catalog subject "Programming languages (Electronic computers) Congresses.".
• catalog subject "QA76.6 .E976 1996".
• catalog tableOfContents "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 [beta]-rule : types, approximants and normalization / S. van Bakel, F. Barbanera, and M. Fernández.".
• catalog tableOfContents "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 -- ".
• catalog tableOfContents "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 [and others] -- Global analysis of standard Prolog programs / F. Bueno [and others] -- 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 [and others] -- ".
• catalog title "Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings / Hanne Riis Nielson, ed.".
• catalog type "Conference proceedings. fast".
• catalog type "text".