131 search results - page 13 / 27 » types 1993 |
PEPM
1993
ACM
13 years 11 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
RTA
2005
Springer
14 years 1 months ago
2005
Springer
We consider the relation of the dual calculus of Wadler (2003) to the λµ-calculus of Parigot (1992). We give translations from the λµ-calculus into the dual calculus and back a...
HOTOS
1993
IEEE
13 years 11 months ago
1993
IEEE
Mobile computing and multimedia are two emerging trends in computer systems. One foreseeable application suggested by these two trends is the playback of stored video on both mobi...
ICDE
1993
IEEE
13 years 11 months ago
1993
IEEE
The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main i...
ICPP
1993
IEEE
13 years 11 months ago
1993
IEEE
Current and emerging high-performance parallel computer architectures generally implement one of two types of communication mechanisms: shared memory (SM) or message passing (MP)....