4386 search results - page 112 / 878 » A Tamper-Resistant Programming Language System |
130
click to vote
TOOLS
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper we describe how object-oriented language design interacts with access control in extensible systems, based on our experience in building the SPIN extensible operatin...
107
click to vote
HYBRID
2004
Springer
15 years 7 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
140
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
CACM
2010
15 years 1 months ago
2010
Every operating system embodies a collection of design decisions. Many of the decisions behind systems have remained unchanged, even as hardware and software have evolved. Operati...
105
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...