2000 search results - page 315 / 400 » Program Transformation and Proof Transformation |
120
Voted
ICFP
1999
ACM
15 years 7 months ago
1999
ACM
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and fla...
97
Voted
ICLP
1999
Springer
15 years 7 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
115
Voted
KR
1998
Springer
15 years 7 months ago
1998
Springer
We study the problem of probabilistic deduction with conditional constraints over basic events. We show that globallycomplete probabilistic deduction with conditional constraints ...
158
Voted
CGO
2009
IEEE
15 years 7 months ago
2009
IEEE
Effectively migrating sequential applications to take advantage of parallelism available on multicore platforms is a well-recognized challenge. This paper addresses important aspec...
122
Voted
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...