|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 11 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy |
A mechanized semantics for C++ object construction and destruction, with applications to resource management.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Dos Reis, Bjarne Stroustrup |
A Principled, Complete, and Efficient Representation of C++. |
Mathematics in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Dos Reis, David Matthews, Yue Li |
Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework. |
Calculemus/MKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy |
Formal verification of object layout for c++ multiple inheritance. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Li, Gabriel Dos Reis |
An automatic parallelization framework for algebraic computation systems. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Li, Gabriel Dos Reis |
A quantitative study of reductions in algebraic libraries. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Dos Reis, Bjarne Stroustrup |
General constant expressions for system programming languages. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
compile time evaluation, standardization |
| 1 | Jacob N. Smith, Gabriel Dos Reis, Jaakko Järvi |
Algorithmic differentiation in Axiom. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
algorithmic differentiation, program transformation, axiom, symbolic-numeric computation |
| 1 | Gabriel Dos Reis, Bjarne Stroustrup |
Specifying C++ concepts. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
C++ concepts, type systems, generic programming, separate compilation, C++ templates |
| 1 | Douglas Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine |
Concepts: linguistic support for generic programming in C++. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
constrained generics, generic programming, concepts, parametric polymorphism, C++ templates, C++0x |
| 1 | Bjarne Stroustrup, Gabriel Dos Reis |
Supporting SELL for High-Performance Computing. |
LCPC |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")