Analysis and Verification of Multiple-Agent Languages 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers /

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 vo...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Dam, Mads (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
Έκδοση:1st ed. 1997.
Σειρά:Lecture Notes in Computer Science, 1192
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Logical and operational methods in the analysis of programs and systems
  • Proving properties of logic programs by abstract diagnosis
  • Abstract interpretation of the ?-calculus
  • Abstract interpretation of small-step semantics
  • An overview of mobile agent programming
  • Formalising and prototyping a concurrent object-based language
  • Type checking for a multiset rewriting language
  • Polymorphic subtyping for effect analysis: The static semantics
  • Polymorphic subtyping for effect analysis: The dynamic semantics
  • Polymorphic subtyping for effect analysis: The algorithm
  • Implementing a static analyzer of concurrent programs: Problems and perspectives
  • Polyvariance, polymorphism and flow analysis
  • Parallel implementation of functional languages
  • Mobile processes with local clocks
  • Testing semantics of asynchronous distributed programs
  • Analysis of Facile programs: A case study
  • A non-standard semantics for generating reduced transition systems
  • A process language for statecharts
  • Priorities in Statecharts.