3256 search results - page 190 / 652 » Mixin-Based Programming in C |
115
click to vote
ESEC
1999
Springer
15 years 8 months ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
150
click to vote
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
152
click to vote
OOPSLA
1999
Springer
15 years 8 months ago
1999
Springer
The Advanced Teaching and Learning Academic Server (Atlas) is a software system that supports web-based learning. Students can register for courses, and can navigate through perso...
165
click to vote
MICRO
1993
IEEE
15 years 8 months ago
1993
IEEE
Compile-time code transformations which expose instruction-level parallelism (ILP) typically take into account the constraints imposed by all execution scenarios in the program. H...
131
Voted
ISCA
1992
IEEE
15 years 8 months ago
1992
IEEE
A quantitative analysis of program execution is essential to the computer architecture design process. With the current trend in architecture of enhancing the performance of unipr...