8132 search results - page 240 / 1627 » Dependability, Abstraction, and Programming |
164
click to vote
CC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
172
click to vote
GPCE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
138
click to vote
OOPSLA
2004
Springer
16 years 7 hour ago
2004
Springer
earch abstract outlines the work I plan to do as part of my PhD. In particular, I propose to devise a practical way of integrating ownership control into existing programming lang...
195
click to vote
JVA
2006
IEEE
16 years 20 days ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
168
click to vote
CRIWG
2008
15 years 8 months ago
2008
Abstract. This paper presents a novel approach to teaching and learning computer programming, using the three-dimensional virtual world Second Life