Analysis And Verification Of Multiple-agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers (lecture Notes In Computer Science)

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. 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. Mads Dam (ed.). Includes Bibliographical References And Indexes. Logical and operational methods in the analysis of programs and systems....Pages 1-21 Proving properties of logic programs by abstract diagnosis....Pages 22-50 Abstract interpretation of the π-calculus....Pages 51-75 Abstract interpretation of small-step semantics....Pages 76-99 An overview of mobile agent programming....Pages 100-115 Formalising and prototyping a concurrent object-based language....Pages 116-125 Type checking for a multiset rewriting language....Pages 126-140 Polymorphic subtyping for effect analysis: The static semantics....Pages 141-171 Polymorphic subtyping for effect analysis: The dynamic semantics....Pages 172-206 Polymorphic subtyping for effect analysis: The algorithm....Pages 207-243 Implementing a static analyzer of concurrent programs: Problems and perspectives....Pages 244-259 Polyvariance, polymorphism and flow analysis....Pages 260-278 Parallel implementation of functional languages....Pages 279-295 Mobile processes with local clocks....Pages 296-319 Testing semantics of asynchronous distributed programs....Pages 320-344 Analysis of Facile programs: A case study....Pages 345-369 A non-standard semantics for generating reduced transition systems....Pages 370-387 A process language for statecharts....Pages 388-403 Priorities in Statecharts....Pages 404-429 The LOMAPS project studies the use of Logical and Operational Methods in the Analysis of Programs and Systems and is sponsored by ESPRIT Basic Research.1