776 search results - page 32 / 156 » Language Constructs for Structured Parallel Programming |
144
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Datatype-generic programming (DGP) is the next step beyond abstracting over types using parametric polymorphism, which is often called "genericity" in object-oriented la...
128
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
140
Voted
PLDI
1994
ACM
15 years 7 months ago
1994
ACM
In this paper, we describe the program structure tree (PST), a hierarchical representation of program structure based on single entry single exit (SESE) regions of the control flo...
114
Voted
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
147
Voted
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...