1914 search results - page 262 / 383 » Abstract lambda-Calculus Machines |
CJ
2000
13 years 7 months ago
2000
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conforma...
CTW
2002
13 years 7 months ago
2002
ive. This characterization leads to model-based abstractions and representation design techniques as potential solutions. Many of the existing approaches to coping with data overlo...
CONCURRENCY
1998
13 years 7 months ago
1998
Abstract Advances in high performance computing, communications, and user interfaces enable developers to construct increasingly interactive high performance applications. The Falc...
TOPLAS
1998
13 years 7 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This paper explores the use of negative (i.e., repulsive) interactions in the abstract Tile Assembly Model defined by Winfree. Winfree in his Ph.D. thesis postulated negative inte...