2362 search results - page 174 / 473 » Programming in Standard ML |
136
click to vote
PADL
2004
Springer
15 years 9 months ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
101
click to vote
ITICSE
2003
ACM
15 years 9 months ago
2003
ACM
This paper describes a simple Unix-based repository that supports programming intensive courses. Initially motivated by the need to capture sample artifacts for the capstone cours...
141
Voted
GCSE
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
117
click to vote
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...
142
click to vote
ISHPC
2000
Springer
15 years 7 months ago
2000
Springer
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...