5415 search results - page 260 / 1083 » The Implementation of Functional Programming Languages |
117
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...
APLAS
2007
ACM
15 years 5 months ago
2007
ACM
Abstract. Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with as...
LPNMR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
110
click to vote
ECOOPW
1998
Springer
15 years 5 months ago
1998
Springer
It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...
100
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...