2482 search results - page 63 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
109
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...
134
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
131
click to vote
SAMOS
2004
Springer
15 years 9 months ago
2004
Springer
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...
147
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
155
click to vote
ISPASS
2010
IEEE
15 years 11 months ago
2010
IEEE
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...