10622 search results - page 321 / 2125 » Python Programming Language |
135
click to vote
FP
1992
15 years 8 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...
113
click to vote
ICFP
2005
ACM
16 years 4 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...
144
click to vote
CSFW
1998
IEEE
15 years 7 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...
118
click to vote
SIGCSE
2005
ACM
15 years 9 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...