11739 search results - page 2248 / 2348 » Slideshow: functional presentations |
POPL
1995
ACM
14 years 11 days ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
SIGMETRICS
1995
ACM
14 years 11 days ago
1995
ACM
Synthesizing architectural requirements from an application viewpoint can help in making important architectural design decisions towards building large scale parallel machines. I...
LICS
1991
IEEE
14 years 11 days ago
1991
IEEE
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these a...
SIGCOMM
1991
ACM
14 years 10 days ago
1991
ACM
We consider the problem of providing network access to hosts whose physical location changes with time. Such hosts cannot depend on traditional forms of network connectivity and r...
SIGLEX
1991
14 years 10 days ago
1991
The lexical entry for a word must contain all the information needed to construct a semantic representation for sentences that contain the word. Because of that requirement, the f...