Sciweavers

3473 search results - page 264 / 695
» Aspect-Oriented Programming with C
Sort
View
SCAM
2003
IEEE
15 years 12 months ago
CPP Denotational Semantics
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...
Jean-Marie Favre
ADAEUROPE
2001
Springer
15 years 11 months ago
Expression Templates in Ada
High-order matrix or vector expressions tend to be penalized by the use of huge temporary variables. Expression templates is a C++ technique which can be used to avoid these tempor...
Alexandre Duret-Lutz
ICSM
1998
IEEE
15 years 10 months ago
Reengineering Object-Oriented Code
In this paper, we describe the reengineering of a deteriorated object-oriented industrial program written in C++. The main problem of the program was misplaced code, most often fu...
Richard Fanta, Václav Rajlich
POPL
1998
ACM
15 years 10 months ago
Local Type Inference
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
Benjamin C. Pierce, David N. Turner
ECOOP
1998
Springer
15 years 10 months ago
An Imperative, First-Order Calculus with Object Extension
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies th...
Viviana Bono, Kathleen Fisher