Sciweavers

632 search results - page 3 / 127
» C and C Style Guides
Sort
View
LICS
1987
IEEE
15 years 1 months ago
Kripke-Style models for typed lambda calculus
John C. Mitchell, Eugenio Moggi

Book
411views
16 years 7 months ago
Concrete Abstractions
"This book has evolved from materials used in an undergraduate course intended for final year undergraduate students whose background includes at least one year's experie...
Max Hailperin, Barbara Kaiser, and Karl Knight
88
Voted
IEE
2000
143views more  IEE 2000»
14 years 9 months ago
Object-oriented preprocessor fit for C++
: C++ retains the ANSI C preprocessor, although its limitations have been widely recognised. We describe FOG, a meta-compiler for a super-set of C++, that provides replacement prep...
Edward D. Willink, Vyacheslav B. Muchnick
DATE
2003
IEEE
122views Hardware» more  DATE 2003»
15 years 2 months ago
Synthesis of Complex Control Structures from Behavioral SystemC Models
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...
Francesco Bruschi, Fabrizio Ferrandi