4386 search results - page 139 / 878 » A Tamper-Resistant Programming Language System |
128
click to vote
POPL
2000
ACM
15 years 7 months ago
2000
ACM
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
109
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
141
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
118
click to vote
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
166
click to vote
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...