Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00098602
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:03:53 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Identifiers

  • HAL Id : inria-00098602, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

89