5415 search results - page 268 / 1083 » The Implementation of Functional Programming Languages |
112
click to vote
TACS
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
ENTCS
2008
15 years 1 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
118
click to vote
POPL
1999
ACM
15 years 5 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
109
click to vote
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
150
click to vote
FLOPS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...