2272 search results - page 52 / 455 » A Calculus for |
TOOLS
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...
ECOOP
1998
Springer
15 years 4 months ago
1998
Springer
The last few years have seen the development of statically typed object based (also called prototype-based) programming languages. Two proposals, namely the Lambda Calculus of Obje...
100
click to vote
TIME
1997
IEEE
15 years 4 months ago
1997
IEEE
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, allows the derivation of the maximal validity intervals (MVIs) o...
ACSC
2006
IEEE
15 years 3 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
118
click to vote
ASIAN
2006
Springer
15 years 3 months ago
2006
Springer
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...