224
click to vote
POPL
16 years 11 days ago
2007 ACM 
A memory leak in a garbage-collected program occurs when the program inadvertently maintains references to objects that it no longer needs. Memory leaks cause systematic heap grow...
203
click to vote
POPL
16 years 11 days ago
2007 ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
204
click to vote
POPL
16 years 11 days ago
2007 ACM 
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
205
click to vote
POPL
16 years 11 days ago
2007 ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
207
click to vote
POPL
16 years 11 days ago
2007 ACM
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily availa...
|
Programming Languages