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.
Type de document :
Rapport
[Intern report] 98-R-127 || galmiche98d, 1998, 27 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00098602
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:03:53
Dernière modification le : jeudi 11 janvier 2018 - 06:20:14

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

52