4386 search results - page 331 / 878 » A Tamper-Resistant Programming Language System |
121
Voted
CIKM
2011
Springer
14 years 3 months ago
2011
Springer
Previous information extraction (IE) systems are typically organized as a pipeline architecture of separated stages which make independent local decisions. When the data grows bey...
158
Voted
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
136
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
116
Voted
CC
2003
Springer
15 years 8 months ago
2003
Springer
We have developed Tm, a template-based metacompiler. Given a set of data-structure definitions and a template, Tm generates files that instantiate the template for the given data...
180
click to vote
SIGCSE
2012
ACM
13 years 11 months ago
2012
ACM
The Calico project is a multi-language, multi-context programming framework and learning environment for computing education. This environment is designed to support several inter...