A Specification Logic for Exceptions and Beyond

2010 ◽  
pp. 173-187 ◽  
Author(s):  
Cristian Gherghina ◽  
Cristina David
Keyword(s):  
Specification Logic

The specification logic νZ

2006 ◽  
Vol 18 (3) ◽  
pp. 364-395 ◽  
Author(s):  
Martin C. Henson ◽  
Moshe Deutsch ◽  
Besnik Kajtazi
Keyword(s):  
Specification Logic

A specification logic for concurrent object-oriented programming

1999 ◽  
Vol 9 (3) ◽  
pp. 253-286 ◽  
Author(s):  
G. DELZANNO ◽  
D. GALMICHE ◽  
M. MARTELLI
Keyword(s):  
Logic Programming ◽  
Programming Languages ◽  
Linear Logic ◽  
Operational Semantics ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Higher Order Logic ◽  
Specification Logic ◽  
Theoretic Characterization

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.

scholarly journals The Specification Logic νZ

2005 ◽  
Vol 137 (2) ◽  
pp. 111-129
Author(s):  
Martin C. Henson ◽  
Besnik Kajtazi
Keyword(s):  
Specification Logic

scholarly journals Semantical Analysis of Specification Logic, 2

1993 ◽  
Vol 107 (1) ◽  
pp. 25-57 ◽  
Author(s):  
P.W. Ohearn ◽  
R.D. Tennent
Keyword(s):  
Semantical Analysis ◽  
Specification Logic

Semantical Analysis of Specification Logic, 2

1997 ◽  
pp. 65-93 ◽  
Author(s):  
Peter W. O’Hearn ◽  
Robert D. Tennent
Keyword(s):  
Semantical Analysis ◽  
Specification Logic
Sign in / Sign up

Export Citation Format

Share Document