133
click to vote
PPDP
2009
Springer
16 years 12 days ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
140
Voted
PPDP
2009
Springer
16 years 12 days ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...
161
click to vote
PPDP
2009
Springer
16 years 12 days ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
161
Voted
PPDP
2009
Springer
16 years 12 days ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
154
click to vote
PPDP
2009
Springer
16 years 12 days ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
122
Voted
PPDP
2009
Springer
16 years 12 days ago
2009
Springer
135
Voted
PPDP
2009
Springer
16 years 12 days ago
2009
Springer
156
Voted
PPDP
2009
Springer
16 years 12 days ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
170
Voted
PPDP
2009
Springer
16 years 12 days ago
2009
Springer
“Scrap Your Boilerplate” (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the un...
149
click to vote
PPDP
2009
Springer
16 years 12 days ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...