3713 search results - page 93 / 743 » Constructing a Calculus of Programs |
107
click to vote
VL
1998
IEEE
15 years 7 months ago
1998
IEEE
A powerful and useful Data-Flow Visual Programming Language (DFVPL) must provide the necessary programming constructs to deal with complex problems. The main purpose of this paper...
113
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
162
click to vote
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
128
click to vote
IJCAI
1989
15 years 4 months ago
1989
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...
133
click to vote
JUCS
2006
15 years 3 months ago
2006
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...