3311 search results - page 188 / 663 » Deductive Object Programming |
116
click to vote
IJPRAI
2010
14 years 11 months ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
124
click to vote
OOPSLA
2010
Springer
15 years 11 days ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
105
click to vote
IGPL
2008
15 years 1 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
107
click to vote
ECOOP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A generational collection strategy utilizing a single nursery cannot efficiently manage objects in application servers due to variance in their lifespans. In this paper, ...
125
click to vote
CGO
2004
IEEE
15 years 5 months ago
2004
IEEE
Memory profiling is the process of characterizing a program's memory behavior by observing and recording its response to specific input sets. Relevant aspects of the program&...