4386 search results - page 315 / 878 » A Tamper-Resistant Programming Language System |
115
click to vote
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and ...
127
Voted
POS
1998
Springer
15 years 7 months ago
1998
Springer
The appeal of persistent class-oriented programming languages is great. Allowing class definitions to be persistent, in addition to instance data, greatly increases the ease of ac...
144
Voted
ICLP
1993
Springer
15 years 7 months ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...
127
Voted
SAIG
2000
Springer
15 years 7 months ago
2000
Springer
Traditional offline program specialization relies on staging of a computation into two levels, static and dynamic. We present a generalization thereof where the static input data o...
164
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...