6054 search results - page 429 / 1211 » Implementation of Andorra-based Languages |
179
click to vote
PLDI
2000
ACM
16 years 2 days ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
201
click to vote
POPL
1998
ACM
15 years 12 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
207
click to vote
POS
1998
Springer
15 years 12 months ago
1998
Springer
Persistent programming languages manage volatile memory as a cache for stable storage, imposing a read barrier on operations that access the cache, and a write barrier on updates ...
223
click to vote
UML
1998
Springer
15 years 12 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
222
click to vote
POPL
1990
ACM
15 years 11 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...