128 search results - page 1 / 26 » Ensuring Termination by Typability |
IFIP
2004
Springer
13 years 10 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
PEPM
2007
ACM
13 years 10 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
BPM
2003
Springer
13 years 8 months ago
2003
Springer
Abstract. We address cross-organizational workflows, such as document workflows, which consist of multiple workflow modules each of which can interact with others by sending and re...
ICDT
2010
ACM
14 years 1 months ago
2010
ACM
APLAS
2009
ACM
13 years 8 months ago
2009
ACM
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable ...