A Specification Logic for Concurrent Object-Oriented Programming - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1998

A Specification Logic for Concurrent Object-Oriented Programming

Didier Galmiche
Giorgio Delzanno
  • Function : Author
Maurizio Martelli
  • Function : Author

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.
No file

Dates and versions

inria-00098602 , version 1 (25-09-2006)

Identifiers

  • HAL Id : inria-00098602 , version 1

Cite

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⟩
37 View
0 Download

Share

Gmail Facebook X LinkedIn More