25 search results - page 4 / 5 » cc 2001 |
CC
2001
Springer
14 years 1 months ago
2001
Springer
Compilers can exploit knowledge that a variable has a fixed known value at a program point for optimizations such as code specialization and constant folding. Recent work has shown...
CC
2001
Springer
14 years 1 months ago
2001
Springer
Large programs are typically built from separate modules. Traditional whole-program analysis cannot be used in the context of such modular development. In this paper we consider an...
ICALT
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents an ontology, the Java Learning Object Ontology - JLOO, for organizing learning objects of Java courses in an adaptive e-learning environment. The classificatio...
APAQS
2001
IEEE
14 years 1 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
FOSSACS
2001
Springer
14 years 2 months ago
2001
Springer
The rewriting calculus, or Rho Calculus (ρCal), is a simple calculus that uniformly integrates abstraction on patterns and nondeterminism. Therefore, it fully integrates rewriting...