Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007693568/catalog> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- catalog abstract "This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite transition systems, model checking, process algebras, logical frameworks, higher-order logics, etc.".
- catalog contributor b10635982.
- catalog contributor b10635983.
- catalog contributor b10635984.
- catalog created "c1997.".
- catalog date "1997".
- catalog date "c1997.".
- catalog dateCopyrighted "c1997.".
- catalog description "Includes bibliographical references and index.".
- catalog description "Strong Normalisation in Higher-Order Action Calculi / Robin Milner -- Extending ML with Semi-explicit Higher-Order Polymorphism / Jacques Garrigue and Didier Remy -- Optimal Representations of Polymorphic Types with Subtyping / Alexander Aiken, Edward L. Wimmers and Jens Palsberg -- Cyclic Lambda Calculi / Zena M. Ariola and Stefan Blom -- Type System for Specializing Polymorphism / Atsushi Ohori -- On Strictness and Totality / Mario Coppo, Ferruccio Damiani and Paola Giannini -- Sound Specialization in the Presence of Computational Effects / Julia L. Lawall and Peter Thiemann -- An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement / Yoshiki Kinoshita, Peter W. O'Hearn and A. John Power [and others] -- Infinitary Domain Logic for Finitary Transition Systems / Marcello M. Bonsangue and Joost N. Kok -- Some Results in the Join-Calculus / Jean-Jacques Levy -- Local Model Checking for Value-Passing Processes / Julian Rathke and Matthew Hennessy.".
- catalog description "This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite transition systems, model checking, process algebras, logical frameworks, higher-order logics, etc.".
- catalog extent "xi, 638 p. :".
- catalog identifier "354063388X (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1281".
- catalog issued "1997".
- catalog issued "c1997.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.3 21".
- catalog subject "Computer science.".
- catalog subject "Computer software Congresses.".
- catalog subject "Logic design.".
- catalog subject "QA76.751 .T33 1997".
- catalog subject "Software engineering.".
- catalog tableOfContents "Strong Normalisation in Higher-Order Action Calculi / Robin Milner -- Extending ML with Semi-explicit Higher-Order Polymorphism / Jacques Garrigue and Didier Remy -- Optimal Representations of Polymorphic Types with Subtyping / Alexander Aiken, Edward L. Wimmers and Jens Palsberg -- Cyclic Lambda Calculi / Zena M. Ariola and Stefan Blom -- Type System for Specializing Polymorphism / Atsushi Ohori -- On Strictness and Totality / Mario Coppo, Ferruccio Damiani and Paola Giannini -- Sound Specialization in the Presence of Computational Effects / Julia L. Lawall and Peter Thiemann -- An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement / Yoshiki Kinoshita, Peter W. O'Hearn and A. John Power [and others] -- Infinitary Domain Logic for Finitary Transition Systems / Marcello M. Bonsangue and Joost N. Kok -- Some Results in the Join-Calculus / Jean-Jacques Levy -- Local Model Checking for Value-Passing Processes / Julian Rathke and Matthew Hennessy.".
- catalog title "Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings / Martín Abadi, Takayasu Ito (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "Sendai (1997) swd".
- catalog type "text".