632 search results - page 54 / 127 » Explicit Substitutions and Programming Languages |
FP
1992
13 years 11 months ago
1992
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
LCPC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
ECOOP
1993
Springer
13 years 11 months ago
1993
Springer
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
SP
2008
IEEE
13 years 7 months ago
2008
IEEE
This paper provides a way to specify expressive declassification policies, in particular, when, what, and where policies that include conditions under which downgrading is allowed...
AOSD
2004
ACM
14 years 1 months ago
2004
ACM
This paper presents our extension to AspectJ for distributed computing. Although AspectJ allows Java developers to modularize a crosscutting concern as an aspect, this paper shows...