Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dos Reis, Gabriel
11157  Ergebnisse:
Personensuche X
?
1

Open pattern matching for C++:

, In: Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity,
Solodkyy, Yuriy ; Dos Reis, Gabriel ; Stroustrup, Bjarne - p. 97-98 , 2013
Link: https://dl.acm.org/doi/1..
 
?
2

Open pattern matching for C++:

, In: Proceedings of the 12th international conference on Generative programming: concepts & experiences,
Solodkyy, Yuriy ; Dos Reis, Gabriel ; Stroustrup, Bjarne - p. 33-42 , 2013
Link: https://dl.acm.org/doi/1..
 
?
3

Open pattern matching for C++:

Solodkyy, Yuriy ; Dos Reis, Gabriel ; Stroustrup, Bjarne
ACM SIGPLAN Notices.  49 (2013)  3 - p. 33-42 , 2013
Link: https://doi.org/10.1145/..
 
?
4

A mechanized semantics for C++ object construction and dest..:

, In: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Ramananandro, Tahina ; Dos Reis, Gabriel ; Leroy, Xavier - p. 521-532 , 2012
Link: https://dl.acm.org/doi/1..
 
?
5

Open and efficient type switch for C++:

, In: Proceedings of the ACM international conference on Object oriented programming systems languages and applications,
Solodkyy, Yuriy ; Dos Reis, Gabriel ; Stroustrup, Bjarne - p. 963-982 , 2012
Link: https://dl.acm.org/doi/1..
 
?
6

Open and efficient type switch for C++:

Solodkyy, Yuriy ; Dos Reis, Gabriel ; Stroustrup, Bjarne
ACM SIGPLAN Notices.  47 (2012)  10 - p. 963-982 , 2012
Link: https://doi.org/10.1145/..
 
?
7

A mechanized semantics for C++ object construction and dest..:

Ramananandro, Tahina ; Dos Reis, Gabriel ; Leroy, Xavier
ACM SIGPLAN Notices.  47 (2012)  1 - p. 521-532 , 2012
Link: https://doi.org/10.1145/..
 
?
8

Formal verification of object layout for c++ multiple inher..:

, In: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Ramananandro, Tahina ; Dos Reis, Gabriel ; Leroy, Xavier - p. 67-80 , 2011
Link: https://dl.acm.org/doi/1..
 
?
9

A Principled, Complete, and Efficient Representation of C++:

Dos Reis, Gabriel ; Stroustrup, Bjarne
Mathematics in Computer Science.  5 (2011)  3 - p. 335-356 , 2011
Link: https://doi.org/10.1007/..
 
?
10

Formal verification of object layout for c++ multiple inher..:

Ramananandro, Tahina ; Dos Reis, Gabriel ; Leroy, Xavier
ACM SIGPLAN Notices.  46 (2011)  1 - p. 67-80 , 2011
Link: https://doi.org/10.1145/..
 
?
11

An automatic parallelization framework for OpenAxiom:

Li, Yue ; Dos Reis, Gabriel
ACM Communications in Computer Algebra.  45 (2011)  1/2 - p. 125-126 , 2011
Link: https://doi.org/10.1145/..
 
?
12

An automatic parallelization framework for algebraic comput..:

, In: Proceedings of the 36th international symposium on Symbolic and algebraic computation,
Li, Yue ; Dos Reis, Gabriel - p. 233-240 , 2011
Link: https://dl.acm.org/doi/1..
 
?
13

An automatic parallelization framework for OpenAxiom:

Li, Yue ; Dos Reis, Gabriel
ACM Communications in Computer Algebra.  45 (2011)  1/2 - p. 125-126 , 2011
Link: https://dl.acm.org/doi/1..
 
?
14

Macromol. Biosci. 8/2010:

Dos Reis, Gabriel ; Fenili, Fabio ; Gianfelice, Antonella...
Macromolecular Bioscience.  10 (2010)  8 - p. , 2010
Link: https://doi.org/10.1002/..
 
?
15

Direct Microfabrication of Topographical and Chemical Cues ..:

Dos Reis, Gabriel ; Fenili, Fabio ; Gianfelice, Antonella...
Macromolecular Bioscience.  10 (2010)  8 - p. 842-852 , 2010
Link: https://doi.org/10.1002/..
 
1-15