1137 search results - page 128 / 228 » Partial Program Admission |
112
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
ICCHP
2004
Springer
15 years 7 months ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...
159
Voted
ICSM
2003
IEEE
15 years 7 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
119
click to vote
QSIC
2003
IEEE
15 years 7 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
128
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...