6740 search results - page 482 / 1348 » Using Classification as a Programming Language |
124
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
In the light of evidence that Haskell programs compiled by GHC exhibit large numbers of mispredicted branches on modern processors, we re-examine the "tagless" aspect of...
140
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
131
click to vote
PADL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
155
click to vote
ASPLOS
1992
ACM
15 years 8 months ago
1992
ACM
Next generation computer systems will have gigabytes of physical memory and processors in the 200 MIPS range or higher. While this trend suggests that memory management for most p...
161
click to vote
PASTE
1999
ACM
15 years 8 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...