A specification logic for concurrent object-oriented programming

DOI10.1017/S0960129599002789MaRDI QIDQ4261313zbMATH OpenOpenAlexWikidataFDO

Authors G. L. Delzanno, Didier Galmiche, Marco Martelli

Publication date 1 September 1999

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129599002789

zbMATH Keywords

encapsulationoperational semanticsspecification language

Mathematics Subject Classification ID

Logic in computer science (03B70) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Linear logic as logic programming: An abstract
• scientific article; zbMATH DE number 517089
• A language for the logical specification of processes and relations
• Forum: A multiple-conclusion specification logic

Cited in

(13)

• Proof-search in type-theoretic languages: An introduction
• Specification and verification challenges for sequential object-oriented programs
• Proof-search and proof nets in mixed linear logic
• A linear logic programming language for concurrent programming over graph structures
• A language for the logical specification of processes and relations
• scientific article; zbMATH DE number 3926214 (Why is no real title available?)
• scientific article; zbMATH DE number 1304382 (Why is no real title available?)
• scientific article; zbMATH DE number 517089 (Why is no real title available?)
• Linear logic as logic programming: An abstract
• Specification and refinement using a heterogeneous notation for concurrency and communication
• Object-oriented specification with the parallel multi-label-selective -calculus
• Modular specification of concurrent systems with observational logic
• Proofs as computations in linear logic

This page was built for publication: A specification logic for concurrent object-oriented programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4261313)