248
Voted
POPL
16 years 2 months 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...
229
Voted
POPL
16 years 2 months 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...
232
Voted
POPL
16 years 2 months 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...
241
Voted
POPL
16 years 2 months 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...
234
Voted
POPL
16 years 2 months 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