10585 search results - page 323 / 2117 » The Orc Programming Language |
121
Voted
FP
1992
15 years 6 months ago
1992
In this paper we describe a series of program transformations that are currently being implemented in the Glasgow Haskell Compiler. They are semantics preserving program transform...
97
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
135
Voted
CSFW
1998
IEEE
15 years 6 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
99
Voted
VL
2000
IEEE
15 years 7 months ago
2000
IEEE
103
Voted
SIGCSE
2005
ACM
15 years 8 months ago
2005
ACM
Java is the canonical language for teaching introductory programming, but its complex syntax and abundance of constructs are difficult for beginners to learn. This paper shows how...