4386 search results - page 131 / 878 » A Tamper-Resistant Programming Language System |
SBIA
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...
110
click to vote
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
120
Voted
LCPC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...
IFIP
1994
Springer
15 years 5 months ago
1994
Springer
To avoid hidden safety problems in future large scale systems, we must be able to identify the crucial assumptions underlying the development of their components and to enunciate ...
114
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...