Sciweavers

632 search results - page 29 / 127
» C and C Style Guides
Sort
View
SCAM
2003
IEEE
15 years 2 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
ESOP
2001
Springer
15 years 2 months ago
Secure Information Flow and CPS
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
Steve Zdancewic, Andrew C. Myers
ECOOPW
1998
Springer
15 years 1 months ago
Assessing Aspect-Oriented Programming: Preliminary Results
The aspect-oriented programming approach claims to make it easier to reason about, develop, and maintain certain kinds of application code while maintaining highly e cient code. To...
Robert J. Walker, Elisa L. A. Baniassad, Gail C. M...
LISP
2002
80views more  LISP 2002»
14 years 9 months ago
Comparing Control Constructs by Double-Barrelled CPS
We investigate call-by-value continuation-passing style transforms that continuations. Altering a single variable in the translation of -abstraction gives rise to different control...
Hayo Thielecke
TOG
2002
135views more  TOG 2002»
14 years 9 months ago
WYSIWYG NPR: drawing strokes directly on 3D models
We present a system that lets a designer directly annotate a 3D model with strokes, imparting a personal aesthetic to the non-photorealistic rendering of the object. The artist ch...
Robert D. Kalnins, Lee Markosian, Barbara J. Meier...