Sciweavers

3473 search results - page 143 / 695
» Aspect-Oriented Programming with C
Sort
View
IWPC
2003
IEEE
15 years 9 months ago
gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT
Parsing programming languages is an essential component of the front end of most program comprehension tools. Languages such as C++ can be difficult to parse and so it can prove ...
Mark Hennessy, Brian A. Malloy, James F. Power
CC
2003
Springer
120views System Software» more  CC 2003»
15 years 9 months ago
Run-Time Type Checking for Binary Programs
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
Michael Burrows, Stephen N. Freund, Janet L. Wiene...
JLP
2000
104views more  JLP 2000»
15 years 3 months ago
Dynamic updates of non-monotonic knowledge bases
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
José Júlio Alferes, João Alex...
CHI
2006
ACM
16 years 4 months ago
Waypointing and social tagging to support program navigation
Margaret-Anne D. Storey, Li-Te Cheng, R. Ian Bull,...
SIAMJO
2008
99views more  SIAMJO 2008»
15 years 4 months ago
The Exact Feasibility of Randomized Solutions of Uncertain Convex Programs
Many optimization problems are naturally delivered in an uncertain framework, and one would like to exercise prudence against the uncertainty elements present in the problem. In pr...
Marco C. Campi, Simone Garatti