Hostname: page-component-745bb68f8f-g4j75 Total loading time: 0 Render date: 2025-02-06T04:08:51.912Z Has data issue: false hasContentIssue false
  • English
  • Français

A specification logic for concurrent object-oriented programming

Published online by Cambridge University Press:  01 June 1999

G. DELZANNO ,
D. GALMICHE  and
M. MARTELLI
G. DELZANNO
Affiliation:
Max Planck Institut für Informatik, Im Stadtwald, Gebaude 46.1 66123 Saarbrücken, Germany. Email: delzanno@mpi-sb.mpg.de
D. GALMICHE
Affiliation:
LORIA UMR 7503 - UHP Nancy 1, Campus Scientifique - B.P. 239 54506 Vandœuvre-lès-Nancy Cedex, France. Email: galmiche@loria.fr
M. MARTELLI
Affiliation:
Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, Via Dodecaneso, 35, I-16146 Genova, Italy, Email: martelli@disi.unige.it
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

This paper focuses on the use of linear logic as a specification language for the operational semantics of advanced concepts of programming such as concurrency and object-orientation. Our approach is based on a refinement of linear logic sequent calculi based on the proof-theoretic characterization of logic programming. A well-founded combination of higher-order logic programming and linear logic will be used to give an accurate encoding of the traditional features of concurrent object-oriented programming languages, whose corner-stone is the notion of encapsulation.

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 9 , Issue 3 , June 1999 , pp. 253 - 286
Copyright
© 1999 Cambridge University Press