×
Author ID: tanter.eric Recent zbMATH articles by "Tanter, Éric"
Published as: Tanter, Éric

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 35 times in 21 Documents Cited by Year
Abstracting gradual typing. Zbl 1347.68081
Garcia, Ronald; Clark, Alison M.; Tanter, Éric
12
2016
Gradual refinement types. Zbl 1380.68086
Lehmann, Nico; Tanter, Éric
5
2017
A theory of gradual effect systems. Zbl 1345.68037
Bañados Schwerter, Felipe; Garcia, Ronald; Tanter, Éric
4
2014
Altering Java semantics via bytecode manipulation. Zbl 1028.68901
Tanter, Éric; Ségura-Devillechaise, Marc; Noyé, Jacques; Piquer, José
2
2002
Scoping strategies for distributed aspects. Zbl 1209.68113
Tanter, Éric; Fabry, Johan; Douence, Rémi; Noyé, Jacques; Südholt, Mario
2
2010
A gradual interpretation of union types. Zbl 1420.68029
Toro, Matías; Tanter, Éric
2
2017
Foundations of dependent interoperability. Zbl 1476.68051
Dagand, Pierre-Évariste; Tabareau, Nicolas; Tanter, Éric
2
2018
Reflex – towards an open reflective extension of Java. Zbl 1038.68885
Tanter, Éric; Bouraqadi-Saâdani, Noury M. N.; Noyé, Jacques
1
2001
Runtime bytecode transformation for Smalltalk. Zbl 1102.68435
Denker, Marcus; Ducasse, Stéphane; Tanter, Éric
1
2006
Gradual program verification. Zbl 1446.68087
Bader, Johannes; Aldrich, Jonathan; Tanter, Éric
1
2018
Trace-relating compiler correctness and secure compilation. Zbl 1508.68046
Abate, Carmine; Blanco, Roberto; Ciobâcă, Ștefan; Durier, Adrien; Garg, Deepak; Hrițcu, Cătălin; Patrignani, Marco; Tanter, Éric; Thibault, Jérémy
1
2020
Gradual type-and-effect systems. Zbl 1420.68033
Bañados Schwerter, Felipe; Garcia, Ronald; Tanter, Éric
1
2016
Partial type equivalences for verified dependent interoperability. Zbl 1360.68322
Dagand, Pierre-Evariste; Tabareau, Nicolas; Tanter, Éric
1
2016
Trace-relating compiler correctness and secure compilation. Zbl 1508.68046
Abate, Carmine; Blanco, Roberto; Ciobâcă, Ștefan; Durier, Adrien; Garg, Deepak; Hrițcu, Cătălin; Patrignani, Marco; Tanter, Éric; Thibault, Jérémy
1
2020
Foundations of dependent interoperability. Zbl 1476.68051
Dagand, Pierre-Évariste; Tabareau, Nicolas; Tanter, Éric
2
2018
Gradual program verification. Zbl 1446.68087
Bader, Johannes; Aldrich, Jonathan; Tanter, Éric
1
2018
Gradual refinement types. Zbl 1380.68086
Lehmann, Nico; Tanter, Éric
5
2017
A gradual interpretation of union types. Zbl 1420.68029
Toro, Matías; Tanter, Éric
2
2017
Abstracting gradual typing. Zbl 1347.68081
Garcia, Ronald; Clark, Alison M.; Tanter, Éric
12
2016
Gradual type-and-effect systems. Zbl 1420.68033
Bañados Schwerter, Felipe; Garcia, Ronald; Tanter, Éric
1
2016
Partial type equivalences for verified dependent interoperability. Zbl 1360.68322
Dagand, Pierre-Evariste; Tabareau, Nicolas; Tanter, Éric
1
2016
A theory of gradual effect systems. Zbl 1345.68037
Bañados Schwerter, Felipe; Garcia, Ronald; Tanter, Éric
4
2014
Scoping strategies for distributed aspects. Zbl 1209.68113
Tanter, Éric; Fabry, Johan; Douence, Rémi; Noyé, Jacques; Südholt, Mario
2
2010
Runtime bytecode transformation for Smalltalk. Zbl 1102.68435
Denker, Marcus; Ducasse, Stéphane; Tanter, Éric
1
2006
Altering Java semantics via bytecode manipulation. Zbl 1028.68901
Tanter, Éric; Ségura-Devillechaise, Marc; Noyé, Jacques; Piquer, José
2
2002
Reflex – towards an open reflective extension of Java. Zbl 1038.68885
Tanter, Éric; Bouraqadi-Saâdani, Noury M. N.; Noyé, Jacques
1
2001

Citations by Year