3136 search results - page 494 / 628 » Genetic programming theory |
292
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
318
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
146
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
183
click to vote
OOPSLA
2009
Springer
16 years 28 days ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
150
click to vote
IWMM
2007
Springer
16 years 16 days ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...