Sciweavers

3473 search results - page 32 / 695
» Aspect-Oriented Programming with C
Sort
View
ENTCS
2010
208views more  ENTCS 2010»
13 years 5 months ago
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
Paul Feautrier, Laure Gonnord
FMCO
2005
Springer
143views Formal Methods» more  FMCO 2005»
14 years 2 months ago
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
Dennis Dams, Kedar S. Namjoshi
SAC
2006
ACM
14 years 2 months ago
Towards a model-driven join point model
Aspect–Oriented Programming (AOP) is increasingly being adopted by developers to better modularize object–oriented design by introducing crosscutting concerns. However, due to...
Walter Cazzola, Antonio Cicchetti, Alfonso Pierant...
ECOOP
2004
Springer
14 years 1 months ago
Using Aspects to Make Adaptive Object-Models Adaptable
The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptive. In order to ach...
Ayla Dantas, Joseph W. Yoder, Paulo Borba, Ralph E...
JSC
2002
51views more  JSC 2002»
13 years 8 months ago
Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
Christian Bauer, Alexander Frink, Richard Kreckel