4386 search results - page 27 / 878 » A Tamper-Resistant Programming Language System |
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
SIGCSE
2002
ACM
13 years 7 months ago
2002
ACM
Abstract This paper examines the use of a simulator to explore process interaction in Unix. The simulator allows instructors to trace through a variety of programs and to show how ...
ICFP
1999
ACM
14 years 1 hour ago
1999
ACM
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
ICFP
2000
ACM
14 years 1 days ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac