5415 search results - page 217 / 1083 » The Implementation of Functional Programming Languages |
FOAL
2009
ACM
15 years 7 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
100
click to vote
ESOP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We propose a new representation for the domain of Definite Boolean functions. The key idea is to view the set of models of a Boolean function as an incidence relation be...
ACSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...
137
click to vote
ECOOP
1995
Springer
15 years 4 months ago
1995
Springer
Previous studies have shown that object-oriented programs have different execution characteristics than procedural programs, and that special object-oriented hardware can improve p...
104
click to vote
APLAS
2003
ACM
15 years 6 months ago
2003
ACM
Given the inorder and preorder traversal of a binary tree whose labels are all distinct, one can reconstruct the tree. This article examines two existing algorithms for rebuilding ...