4386 search results - page 224 / 878 » A Tamper-Resistant Programming Language System |
148
click to vote
FMOODS
2007
15 years 3 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
102
click to vote
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
105
click to vote
GPCE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
113
click to vote
LCPC
2005
Springer
15 years 7 months ago
2005
Springer
We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-perfo...
100
click to vote
FAABS
2000
Springer
15 years 5 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...