273
click to vote
POPL
16 years 2 days ago
1994 ACM 
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
266
click to vote
COMPASS
16 years 3 days ago
1994 
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
266
click to vote
PLDI
16 years 2 days ago
1994 ACM
Integer division remains expensive on today's processors as the cost of integer multiplication declines. We present code sequences for division by arbitrary nonzero integer c...
263
click to vote
ASPLOS
16 years 3 days ago
1994 ACM 
In the past decade, processor speed has become significantly faster than memory speed. Small, fast cache memories are designed to overcome this discrepancy, but they are only effe...
259
click to vote
ISOOMS
16 years 2 days ago
1994 
The goal of this paper is to examine the testing of object-oriented systems and to compare and contrast it with the testing of conventional programming language systems, with empha...
|
Programming Languages