7943 search results - page 42 / 1589 » A calculus for costed computations |
ACTA
1998
13 years 10 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
TLCA
1993
Springer
14 years 3 months ago
1993
Springer
GG
2010
Springer
13 years 12 months ago
2010
Springer
el of abstraction). Refereed Conference and Workshop Papers
CCA
2005
Springer
14 years 4 months ago
2005
Springer
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
AINA
2004
IEEE
14 years 2 months ago
2004
IEEE
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...