specification logic
Recently Published Documents

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - LFMTP '16 ◽

10.1145/2966268.2966271 ◽

2016 ◽

Author(s):

Chelsea Battell ◽

Amy Felty

Keyword(s):

Specification Logic

Download Full-text

SLAP: Specification logic of actions with probability

Journal of Applied Logic ◽

10.1016/j.jal.2013.09.001 ◽

2014 ◽

Vol 12 (2) ◽

pp. 128-150 ◽

Author(s):

Gavin Rens ◽

Thomas Meyer ◽

Gerhard Lakemeyer

Keyword(s):

Specification Logic

Download Full-text

A Specification Logic for Exceptions and Beyond

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15643-4_14 ◽

2010 ◽

pp. 173-187 ◽

Author(s):

Cristian Gherghina ◽

Cristina David

Keyword(s):

Specification Logic

Download Full-text

A unifying specification logic for cyber-physical systems

2009 17th Mediterranean Conference on Control and Automation ◽

10.1109/med.2009.5164704 ◽

2009 ◽

Author(s):

Marius C. Bujorianu ◽

Manuela L. Bujorianu ◽

Howard Barringer

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Specification Logic

Download Full-text

An Integrated Specification Logic for Cyber-Physical Systems

2009 14th IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2009.36 ◽

2009 ◽

Author(s):

Marius C. Bujorianu ◽

Howard Barringer

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Specification Logic

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

The Specification Logic νZ

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2005.04.027 ◽

2005 ◽

Vol 137 (2) ◽

pp. 111-129

Author(s):

Martin C. Henson ◽

Besnik Kajtazi

Keyword(s):

Specification Logic

Download Full-text

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

A specification logic for dynamic composition of services

Proceedings 21st International Conference on Distributed Computing Systems Workshops ◽

10.1109/cdcs.2001.918700 ◽

2002 ◽

Author(s):

S. Lammermann ◽

E. Tyugu

Keyword(s):

Dynamic Composition ◽

Specification Logic

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