14 search results - page 1 / 3 » A Theory of Recursive Domains with Applications to Concurren... |
LICS
1998
IEEE
15 years 2 months ago
1998
IEEE
LATIN
2010
Springer
15 years 5 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 ...
87
Voted
TLCA
2005
Springer
15 years 3 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...
71
Voted
CADE
2004
Springer
15 years 10 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...
84
Voted
TPHOL
2002
IEEE
15 years 3 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...