14 search results - page 1 / 3 » A Theory of Recursive Domains with Applications to Concurren... |
LICS
1998
IEEE
13 years 8 months ago
1998
IEEE
LATIN
2010
Springer
13 years 11 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
TLCA
2005
Springer
13 years 10 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
CADE
2004
Springer
14 years 4 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
TPHOL
2002
IEEE
13 years 9 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...