5415 search results - page 302 / 1083 » The Implementation of Functional Programming Languages |
110
click to vote
LPAR
1999
Springer
15 years 5 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
122
click to vote
ACSC
2005
IEEE
15 years 7 months ago
2005
IEEE
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...
126
click to vote
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
193
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
122
click to vote
PLPV
2010
ACM
15 years 10 months ago
2010
ACM
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...