3713 search results - page 77 / 743 » Constructing a Calculus of Programs |
122
click to vote
AAAI
1994
15 years 4 months ago
1994
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...
126
click to vote
WOA
2000
15 years 4 months ago
2000
ogramming are evaluated along three different guidelines: the programming abstractions the calculus suggests; the underlying programming model; the security mechanisms provided. Th...
121
click to vote
FMCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The first part of the paper gives a brief overview of metaprogramming, in particular program generation, and its use in software development. The second part introduces ...
109
click to vote
FPCA
1991
15 years 6 months ago
1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type de nitions. For these operators we derive various algebraic laws that ...
109
Voted
EJC
2008
15 years 3 months ago
2008
We construct two bijections of the symmetric group Sn onto itself that enable us to show that three new three-variable statistics are equidistributed with classical statistics invo...