16190 search results - page 182 / 3238 » Applicative programming with effects |
124
Voted
CC
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
140
Voted
ESOP
2010
Springer
15 years 6 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
125
Voted
ICFP
1997
ACM
15 years 7 months ago
1997
ACM
This paper describes the development of the programming language Erlang during the period 1985-1997. Erlang is a concurrent programming language designed for programming large-sca...
153
click to vote
ASP
2001
Springer
15 years 7 months ago
2001
Springer
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...
136
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...