77 search results - page 10 / 16 » Building BSP Programs Using the Refinement Calculus |
198
Voted
SAC
2010
ACM
16 years 19 days ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
156
Voted
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
211
click to vote
POPL
1989
ACM
15 years 9 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
159
Voted
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
175
Voted
MST
2010
15 years 17 days ago
2010
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...