1236 search results - page 83 / 248 » Efficient Interpretation Policies |
FPCA
1995
14 years 13 days ago
1995
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
IM
2007
13 years 10 months ago
2007
Abstract— Software components embedded in ubiquitous systems, especially those using wireless networking, are subject to unpredictable behaviors inherent to using these systems i...
ECIS
2001
13 years 10 months ago
2001
Academic publishing faces major challenges such as increasing costs and a reduced subscription base. Electronic publishing promises benefits and solutions to these and other chall...
APAL
2010
13 years 9 months ago
2010
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more prim...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We present a generic API suitable for provision of highly generic storage facilities that can be tailored to produce various individually customised storage infrastructures. The p...