3713 search results - page 82 / 743 » Constructing a Calculus of Programs |
119
click to vote
ENTCS
2006
15 years 3 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
130
click to vote
ICLP
2007
Springer
15 years 9 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...
124
click to vote
CADE
1994
Springer
15 years 7 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
134
click to vote
LFCS
1994
Springer
15 years 7 months ago
1994
Springer
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
138
click to vote
AMAST
1995
Springer
15 years 6 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...