3239 search results - page 148 / 648 » A Logical Process Calculus |
213
Voted
POPL
2009
ACM
16 years 1 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 ...
111
click to vote
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
108
click to vote
APLAS
2004
ACM
15 years 6 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
115
click to vote
APLAS
2004
ACM
15 years 6 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
98
Voted
LOPSTR
2004
Springer
15 years 6 months ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...