315 search results - page 20 / 63 » Parametric real-time reasoning |
FAC
1998
13 years 9 months ago
1998
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
LICS
1994
IEEE
14 years 1 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...