2482 search results - page 63 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
QSIC
2005
IEEE
14 years 1 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...
FSTTCS
2007
Springer
14 years 2 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...
SAMOS
2004
Springer
14 years 1 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...
ASP
2003
Springer
14 years 1 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...
ISPASS
2010
IEEE
14 years 2 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...