5415 search results - page 271 / 1083 » The Implementation of Functional Programming Languages |
DBPL
1991
Springer
15 years 5 months ago
1991
Springer
We present a functional DBPL in the style of FP that facilitates the definition of precise semantics and opens up opportunities for far-reaching optimizations. The language is int...
102
click to vote
CSL
2004
Springer
15 years 5 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
175
click to vote
ECOOP
1999
Springer
15 years 5 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show ...
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract The importance of providing integration architectures in every field of application is beyond controversy these days. Unfortunately, existing solutions are focusing mainly...