4386 search results - page 80 / 878 » A Tamper-Resistant Programming Language System |
110
click to vote
CC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
116
click to vote
ERSHOV
2003
Springer
15 years 6 months ago
2003
Springer
Though programming languages and programming styles evolve with remarkable speed today, there is no such evolution in the field of program documentation. And although there exist ...
109
click to vote
SIGMOD
2011
ACM
14 years 4 months ago
2011
ACM
We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, netwo...
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
142
click to vote
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...