6054 search results - page 823 / 1211 » Implementation of Andorra-based Languages |
190
click to vote
ICFEM
2004
Springer
16 years 4 days ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
169
click to vote
IFIP
2004
Springer
16 years 4 days 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...
157
click to vote
IFIP
2004
Springer
16 years 4 days ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
149
click to vote
IJCNLP
2004
Springer
16 years 4 days ago
2004
Springer
In this paper, we present a deterministic dependency structure analyzer for Chinese. This analyzer implements two algorithms – Yamada and Nivre models – and two sorts of class...
182
click to vote
ISCIS
2004
Springer
16 years 4 days ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...