1194 search results - page 124 / 239 » A Calculus for Predicative Programming |
173
click to vote
ENTCS
2008
15 years 7 months ago
2008
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...
169
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
204
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
196
click to vote
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...
179
Voted
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...