3311 search results - page 189 / 663 » Deductive Object Programming |
201
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
126
click to vote
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
WCRE
2002
IEEE
15 years 6 months ago
2002
IEEE
Dynamic program visualization, i.e. the visualization of the runtime behavior of a program as opposed to the static structure of its source code has been investigated for various ...
147
click to vote
CASCON
1992
15 years 3 months ago
1992
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...
121
click to vote
IJFCS
2007
15 years 1 months ago
2007
Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...