Semantical Analysis of Specification Logic, 3

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24725-8_19 ◽

2004 ◽

pp. 264-278

Author(s):

Dan R. Ghica

Keyword(s):

Semantical Analysis ◽

Specification Logic

Download Full-text

Semantical analysis of specification logic

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-15648-8_28 ◽

1985 ◽

pp. 373-386 ◽

Author(s):

R. D. Tennent

Keyword(s):

Semantical Analysis ◽

Specification Logic

Download Full-text

Semantical Analysis of Specification Logic

Algol-like Languages ◽

10.1007/978-1-4757-3851-3_3 ◽

1997 ◽

pp. 41-64

Author(s):

Robert D. Tennent

Keyword(s):

Semantical Analysis ◽

Specification Logic

Download Full-text

Semantical Analysis of Specification Logic, 2

Information and Computation ◽

10.1006/inco.1993.1060 ◽

1993 ◽

Vol 107 (1) ◽

pp. 25-57 ◽

Author(s):

P.W. Ohearn ◽

R.D. Tennent

Keyword(s):

Semantical Analysis ◽

Specification Logic

Download Full-text

Semantical Analysis of Specification Logic, 2

Algol-like Languages ◽

10.1007/978-1-4757-3851-3_4 ◽

1997 ◽

pp. 65-93 ◽

Author(s):

Peter W. O’Hearn ◽

Robert D. Tennent

Keyword(s):

Semantical Analysis ◽

Specification Logic

Download Full-text

Semantical analysis of specification logic

Information and Computation ◽

10.1016/0890-5401(90)90045-j ◽

1990 ◽

Vol 85 (2) ◽

pp. 135-162 ◽

Author(s):

R.D. Tennent

Keyword(s):

Semantical Analysis ◽

Specification Logic

Download Full-text

Semantical analysis and modeling for OWL-S based on CSP

Journal of Computer Applications ◽

10.3724/sp.j.1087.2010.02173 ◽

2010 ◽

Vol 30 (8) ◽

pp. 2173-2176

Author(s):

Jian-shu YANG ◽

Jin-zhao WU ◽

Jin ZHOU

Keyword(s):

Semantical Analysis

Download Full-text

The specification logic νZ

Formal Aspects of Computing ◽

10.1007/s00165-006-0007-2 ◽

2006 ◽

Vol 18 (3) ◽

pp. 364-395 ◽

Author(s):

Martin C. Henson ◽

Moshe Deutsch ◽

Besnik Kajtazi

Keyword(s):

Specification Logic

Download Full-text

Semantical analysis of Arruda da CostaP systems and adjacent non-replacement relevant systems

Studia Logica ◽

10.1007/bf02176164 ◽

1978 ◽

Vol 37 (4) ◽

pp. 301-320 ◽

Author(s):

Richard Routley ◽

Andréa Loparić

Keyword(s):

Semantical Analysis

Download Full-text

Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 206–220. - R. Routley and H. Montgomery. The inadequacy of Kripke's semantical analysis of D2 and D3. The journal of symbolic logic, vol. 33 (1968), p. 568.

Journal of Symbolic Logic ◽

10.1017/s0022481200092434 ◽

1970 ◽

Vol 35 (1) ◽

pp. 135-135

Author(s):

David Makinson

Keyword(s):

Modal Logic ◽

International Symposium ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

Semantical Analysis ◽

North Holland Publishing ◽

Propositional Calculi

Download Full-text

A specification logic for concurrent object-oriented programming

Mathematical Structures in Computer Science ◽

10.1017/s0960129599002789 ◽

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.

Download Full-text