2272 search results - page 52 / 455 » A Calculus for |
TOOLS
2010
IEEE
14 years 1 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
14 years 28 days 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...
TIME
1997
IEEE
14 years 27 days 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
14 years 14 days ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
ASIAN
2006
Springer
14 years 13 days 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 ...