8132 search results - page 245 / 1627 » Dependability, Abstraction, and Programming |
149
click to vote
WCRE
2000
IEEE
15 years 10 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
206
click to vote
ISSEP
2010
Springer
16 years 3 months ago
2010
Springer
Teaching introductory object-oriented programming presents considerable challenges. Some of these challenges are due to the intrinsic complexity of the subject matter — object-or...
212
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Large scale hardware-supported multithreading, an attractive means of increasing computational power, benefits significantly from low per-thread costs. Hardware support for ligh...
190
Voted
ESOP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction s a Prolog program. Using abstract inte...