477 search results - page 22 / 96 » Concurrent Pattern Calculus |
POPL
2009
ACM
14 years 8 months ago
2009
ACM
In this paper, we show how pattern matching can be seen to arise from a proof term assignment for the focused sequent calculus. This use of the Curry-Howard correspondence allows ...
AGP
1999
IEEE
14 years 2 hour ago
1999
IEEE
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
PDPTA
2000
13 years 9 months ago
2000
: Concurrency is thought to be an advanced topic
ACTA
2005
13 years 7 months ago
2005
A general framework for typing graph rewriting systems is presented: the idea is to statically derive a type graph from a given graph. In contrast to the original graph, the type g...
ADAEUROPE
2003
Springer
13 years 11 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...