Sciweavers

5 search results - page 1 / 1
» Automatic Template Instantiation in DIGITAL C
Sort
View
DTJ
1998
87views more  DTJ 1998»
13 years 4 months ago
Automatic Template Instantiation in DIGITAL C++
Avrum E. Itzkowitz, Lois D. Foltan
ICSM
2008
IEEE
13 years 11 months ago
Automatically identifying C++0x concepts in function templates
An automated approach to the identification of C++0x concepts in function templates is described. Concepts are part of a new language feature appearing in the next standard for C+...
Andrew Sutton, Jonathan I. Maletic
CASCON
1992
163views Education» more  CASCON 1992»
13 years 6 months ago
Practical metaprogramming
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...
James R. Cordy, Medha Shukla
EMSOFT
2008
Springer
13 years 6 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
ICFP
1999
ACM
13 years 9 months ago
Type Inference Builds a Short Cut to Deforestation
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
Olaf Chitil