4386 search results - page 584 / 878 » A Tamper-Resistant Programming Language System |
127
click to vote
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
126
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
Reconfigurable computing (RC) systems based on FPGAs are becoming an increasingly attractive solution to building parallel systems of the future. Applications targeting such syste...
102
click to vote
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
220
click to vote
SIGCSE
2006
ACM
15 years 10 months ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
127
click to vote
VL
2003
IEEE
15 years 9 months ago
2003
IEEE
An idea of automatic generation of Web applications from templates has been proposed [1, 2, 3, 4]. A software system called T-Web system has been implemented based on the idea to ...