906 search results - page 22 / 182 » Language and program design for functional dependencies |
CBSE
2004
Springer
14 years 3 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
BIRTHDAY
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
ICFP
2004
ACM
14 years 10 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
IWPC
2006
IEEE
14 years 4 months ago
2006
IEEE
Software systems are often written in more than one programming language. During development, programmers need to understand not only the dependencies among code in a particular l...
ESOP
2001
Springer
14 years 2 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...