424 search results - page 63 / 85 » A Lambda Calculus with Forms |
129
click to vote
ACSD
2005
IEEE
15 years 11 months ago
2005
IEEE
BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML valu...
128
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
134
click to vote
MKM
2004
Springer
15 years 10 months ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
132
click to vote
CONCUR
1997
Springer
15 years 9 months ago
1997
Springer
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...
136
click to vote
ENTCS
2002
15 years 5 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...