# Axiomatic semantics

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

- 2012

Many semantic theories implicitly attribute a foundational status to set theory, and set-theoretic characterisations of possibleâ€¦Â (More)

Is this relevant?

2011

2011

- Automatic Control and Computer Sciences
- 2011

The mixed axiomatic semantics of the C-kernel language is described. This language is the kernel of a representative subset whichâ€¦Â (More)

Is this relevant?

2008

2008

- Japan-China Joint Workshop on Frontier ofâ€¦
- 2008

The integration of formal, structured and object-oriented methodology is the focus in the field of software developmentâ€¦Â (More)

Is this relevant?

2006

2006

- CONCUR
- 2006

Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.gâ€¦Â (More)

Is this relevant?

2000

2000

- 2000

We introduce a Hoare-style calculus for a nearly full subset of sequential Java, which we call Java. This axiomatic semantics hasâ€¦Â (More)

Is this relevant?

2000

2000

- 2000

We introduce a Hoare-style calculus for a nearly full subset of sequential Java, which we call Java. In particular, we presentâ€¦Â (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- Formal Aspects of Computing
- 1998

We present a formalization of the first 100 pages of Winskel's textbook The Formal Semantics of Programming Languages in theâ€¦Â (More)

Is this relevant?

1996

1996

- 1996

This paper describes a small object-oriented programming language and its axiomatic semantics. The language includes commonâ€¦Â (More)

Is this relevant?

1990

1990

- LISP and Functional Programming
- 1990

PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitraryâ€¦Â (More)

Is this relevant?

1984

1984

- ACM Trans. Program. Lang. Syst.
- 1984

A simple definition of the axiomatic semantics of Communicating Sequential Processes is presented. The most important aspect ofâ€¦Â (More)

Is this relevant?