3713 search results - page 78 / 743 » Constructing a Calculus of Programs |
147
click to vote
APLAS
2003
ACM
15 years 8 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
113
click to vote
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...
114
click to vote
ICFP
2003
ACM
15 years 8 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
123
click to vote
INFORMATICALT
2000
15 years 2 months ago
2000
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...
132
click to vote
JAPLL
2006
15 years 3 months ago
2006
This paper presents Automath encodings (which also are valid in LF/P) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to f...