3713 search results - page 202 / 743 » Constructing a Calculus of Programs |
146
Voted
LISP
2008
15 years 3 months ago
2008
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
122
Voted
ENTCS
2007
15 years 3 months ago
2007
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...
124
Voted
LISP
2002
15 years 3 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
134
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being com...
152
Voted
AAMAS
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...