Skip to Main content Skip to Navigation

A Specification Logic for Concurrent Object-Oriented Programming

Didier Galmiche 1 Giorgio Delzanno Maurizio Martelli
1 TYPES - Logic, proof Theory and Programming
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In the paper we consider a proof-theoretical approach to Linear Logic in order to develop formal methods to specify computational aspects of concurrency and object-orientation. This paradigms enjoy complex operational mechanisms which require powerful frameworks in which they can be completely described. Thus, our passage from Classical to Linear Logic is motivated by the need of a more expressive language and deduction system.
Document type :
Complete list of metadata
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:03:53 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM


  • HAL Id : inria-00098602, version 1



Didier Galmiche, Giorgio Delzanno, Maurizio Martelli. A Specification Logic for Concurrent Object-Oriented Programming. [Intern report] 98-R-127 || galmiche98d, 1998, 27 p. ⟨inria-00098602⟩



Record views