Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007532769/catalog> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- catalog abstract "This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages. The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.".
- catalog contributor b10403930.
- catalog contributor b10403931.
- catalog created "c1997.".
- catalog date "1997".
- catalog date "c1997.".
- catalog dateCopyrighted "c1997.".
- catalog description "Includes bibliographical references and indexes.".
- catalog description "Logical and Operational Methods in the Analysis of Programs and Systems / F. Nielson, P. Cousot and M.F. Dam [and others] -- Proving Properties of Logic Programs by Abstract Diagnosis / M. Comini, G. Levi and M.C. Meo [et al.] -- Abstract Interpretation of the [pi]-calculus / A. Venet -- Abstract Interpretation of Small-Step Semantics / D.A. Schmidt -- An Overview of Mobile Agent Programming / F. Knabe -- Formalising and Prototyping a Concurrent Object-Based Language / L.-a. Fredlund, J. Koistinen and F. Orava -- Type Checking for a Multiset Rewriting Language / P. Fradet and D. Le Metayer -- Polymorphic Subtyping for Effect Analysis: The Static Semantics / H. Riis Nielson, F. Nielson and T. Amtoft -- Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics / T. Amtoft, F. Nielson and H. Riis Nielson [et al.] -- Polymorphic Subtyping for Effect Analysis: The Algorithm / F. Nielson, H. Riis Nielson and T. Amtoft.".
- catalog description "This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages. The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.".
- catalog extent "viii, 434 p. :".
- catalog identifier "3540625038 (alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1192".
- catalog issued "1997".
- catalog issued "c1997.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.13/1 21".
- catalog subject "Artificial intelligence.".
- catalog subject "Computer science.".
- catalog subject "Logic design.".
- catalog subject "Programming languages (Electronic computers) Congresses.".
- catalog subject "QA76.7 .L662 1996".
- catalog tableOfContents "Logical and Operational Methods in the Analysis of Programs and Systems / F. Nielson, P. Cousot and M.F. Dam [and others] -- Proving Properties of Logic Programs by Abstract Diagnosis / M. Comini, G. Levi and M.C. Meo [et al.] -- Abstract Interpretation of the [pi]-calculus / A. Venet -- Abstract Interpretation of Small-Step Semantics / D.A. Schmidt -- An Overview of Mobile Agent Programming / F. Knabe -- Formalising and Prototyping a Concurrent Object-Based Language / L.-a. Fredlund, J. Koistinen and F. Orava -- Type Checking for a Multiset Rewriting Language / P. Fradet and D. Le Metayer -- Polymorphic Subtyping for Effect Analysis: The Static Semantics / H. Riis Nielson, F. Nielson and T. Amtoft -- Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics / T. Amtoft, F. Nielson and H. Riis Nielson [et al.] -- Polymorphic Subtyping for Effect Analysis: The Algorithm / F. Nielson, H. Riis Nielson and T. Amtoft.".
- catalog title "Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".