Data Portal @ linkeddatafragments.org

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

• catalog abstract "This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.".
• catalog contributor b10840356.
• catalog contributor b10840357.
• catalog contributor b10840358.
• catalog contributor b10840359.
• catalog created "c1998.".
• catalog date "1998".
• catalog date "c1998.".
• catalog dateCopyrighted "c1998.".
• catalog description "Concurrent constraint programming based on functional programming / G. Smolka -- A bisimulation method for cryptographic protocols / M. Abadi and A.D. Gordon -- A polyvariant binding-time analysis for off-line partial deduction / M. Bruynooghe, M. Leuschel and K. Sagonas -- Verifiable and executable logic specifications of concurrent objects in L[subscript pi] / L. Caires and L. Monteiro -- Complexity of concrete type-inference in the presence of exceptions / R. Chatterjee, B.G. Ryder and W.A. Landi -- Synchronisation analysis to stop tulping / W.-N. Chin, S.-C. Khoo and T.-W. Lee --Propagating differences : an efficient new fixpoint algorithm for distributive constraint systems / C. Fecht and H. Seidl -- Reasoning about classes in object-oriented languages : logical models and tools / U. Hensel [and others] -- Language primitives and type discipline for structured communication-based programming / K. Honda, V.T. Vasconcelos and M. Kubo -- The functional imperative : shape! / C.B. Jay and P.A. Steckler -- Code motion and code placement : just synonyms / J. Knoop, O. Rüthing and B. Steffen -- Recursive object types in a logic of object-oriented programs / K.R.M. Leino -- Mode-automata : about modes and states for reactive systems / F. Maraninchi and Y. Rémond -- From classes to objects via subtyping / D. Rémy -- Building a bridge between pointer aliases and program dependences / J.L. Ross and M. Sagiv -- A complete declarative debugger of missing answers / S. Ruggieri -- Systematic change of data representation : program manipulations and a case study / W.L. Scherlis -- A generic framework for specialization (abriged version) / P. Thiemann.".
• catalog description "Includes bibliographical references and index.".
• catalog description "This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.".
• catalog extent "x, 281 p. :".
• catalog identifier "3540643028 (softcover : alk. paper)".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1381".
• catalog issued "1998".
• catalog issued "c1998.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.1 21".
• catalog subject "Computer programming Congresses.".
• catalog subject "Computer science.".
• catalog subject "Logic design.".
• catalog subject "Programming languages (Electronic computers) Congresses.".
• catalog subject "QA76.6 .E976 1998".
• catalog subject "Software engineering.".
• catalog tableOfContents "Concurrent constraint programming based on functional programming / G. Smolka -- A bisimulation method for cryptographic protocols / M. Abadi and A.D. Gordon -- A polyvariant binding-time analysis for off-line partial deduction / M. Bruynooghe, M. Leuschel and K. Sagonas -- Verifiable and executable logic specifications of concurrent objects in L[subscript pi] / L. Caires and L. Monteiro -- Complexity of concrete type-inference in the presence of exceptions / R. Chatterjee, B.G. Ryder and W.A. Landi -- Synchronisation analysis to stop tulping / W.-N. Chin, S.-C. Khoo and T.-W. Lee --Propagating differences : an efficient new fixpoint algorithm for distributive constraint systems / C. Fecht and H. Seidl -- Reasoning about classes in object-oriented languages : logical models and tools / U. Hensel [and others] -- Language primitives and type discipline for structured communication-based programming / K. Honda, V.T. Vasconcelos and M. Kubo -- The functional imperative : shape! / C.B. Jay and P.A. Steckler -- Code motion and code placement : just synonyms / J. Knoop, O. Rüthing and B. Steffen -- Recursive object types in a logic of object-oriented programs / K.R.M. Leino -- Mode-automata : about modes and states for reactive systems / F. Maraninchi and Y. Rémond -- From classes to objects via subtyping / D. Rémy -- Building a bridge between pointer aliases and program dependences / J.L. Ross and M. Sagiv -- A complete declarative debugger of missing answers / S. Ruggieri -- Systematic change of data representation : program manipulations and a case study / W.L. Scherlis -- A generic framework for specialization (abriged version) / P. Thiemann.".
• catalog title "Programming languages and systems : 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Chris Hankin, ed.".
• catalog type "Conference proceedings. fast".
• catalog type "text".