4386 search results - page 377 / 878 » A Tamper-Resistant Programming Language System |
132
Voted
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
136
Voted
POS
1998
Springer
15 years 8 months ago
1998
Springer
Java is a popular, object oriented language that is runtime type safe. As such, it has been seen as an attractive basis for the implementation of orthogonally persistent systems b...
181
Voted
FP
1995
15 years 7 months ago
1995
We present a type reconstruction algorithm for SCIR 10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cau...
134
click to vote
ADAEUROPE
2007
Springer
15 years 10 months ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
263
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...