4386 search results - page 130 / 878 » A Tamper-Resistant Programming Language System |
108
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin...
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show ...
116
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
113
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
132
click to vote
LPNMR
1999
Springer
15 years 5 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...