Följ
Éric Tanter
Éric Tanter
Professor of Computer Science, University of Chile
Verifierad e-postadress på dcc.uchile.cl - Startsida
Titel
Citeras av
Citeras av
År
Scalable omniscient debugging
G Pothier, É Tanter, J Piquer
ACM SIGPLAN Notices 42 (10), 535-552, 2007
2212007
Partial behavioral reflection: Spatial and temporal selection of reification
É Tanter, J Noyé, D Caromel, P Cointe
ACM SIGPLAN Notices 38 (11), 27-46, 2003
1872003
Abstracting gradual typing
R Garcia, AM Clark, É Tanter
ACM SIGPLAN Notices 51 (1), 429-442, 2016
1722016
An empirical study on the impact of static typing on software maintainability
S Hanenberg, S Kleinschmager, R Robbes, É Tanter, A Stefik
Empirical Software Engineering 19 (5), 1335-1382, 2014
1292014
A versatile kernel for multi-language AOP
É Tanter, J Noyé
International Conference on Generative Programming and Component Engineering …, 2005
1212005
Context-aware aspects
É Tanter, K Gybels, M Denker, A Bergel
Software Composition: 5th International Symposium, SC 2006 Vienna, Austria …, 2006
1122006
Back to the future: Omniscient debugging
G Pothier, É Tanter
IEEE software 26 (6), 78-85, 2009
1102009
Do static type systems improve the maintainability of software systems? An empirical study
S Kleinschmager, R Robbes, A Stefik, S Hanenberg, E Tanter
2012 20th IEEE International Conference on Program Comprehension (ICPC), 153-162, 2012
1082012
How developers use the dynamic features of programming languages: the case of smalltalk
O Callaú, R Robbes, É Tanter, D Röthlisberger
Proceedings of the 8th working Conference on Mining Software Repositories, 23-32, 2011
1082011
Gradual typestate
R Wolff, R Garcia, É Tanter, J Aldrich
European Conference on Object-Oriented Programming, 459-483, 2011
1042011
First-class state change in plaid
J Sunshine, K Naden, S Stork, J Aldrich, É Tanter
ACM SIGPLAN Notices 46 (10), 713-732, 2011
992011
Foundations of typestate-oriented programming
R Garcia, É Tanter, R Wolff, J Aldrich
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (4), 1-44, 2014
952014
An empirical study of the influence of static type systems on the usability of undocumented software
C Mayer, S Hanenberg, R Robbes, É Tanter, A Stefik
ACM Sigplan Notices 47 (10), 683-702, 2012
942012
Gradual refinement types
N Lehmann, É Tanter
ACM SIGPLAN Notices 52 (1), 775-788, 2017
912017
A theory of gradual effect systems
F Banados Schwerter, R Garcia, É Tanter
Proceedings of the 19th ACM SIGPLAN International Conference on Functional …, 2014
85*2014
Estrategias cognitivas para el cálculo mental
G Gálvez, D Cosmelli, L Cubillos, P Leger, A Mena, É Tanter, X Flores, ...
Revista latinoamericana de investigación en matemática educativa 14 (1), 9-40, 2011
842011
Expressive scoping of dynamically-deployed aspects
É Tanter
Proceedings of the 7th international conference on Aspect-oriented software …, 2008
722008
AspectScript: Expressive aspects for the Web
R Toledo, P Leger, É Tanter
Proceedings of the 9th International Conference on Aspect-Oriented Software …, 2010
712010
Dijkstra monads for all
K Maillard, D Ahman, R Atkey, G Martínez, C Hriţcu, E Rivas, É Tanter
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019
702019
Aspects of composition in the Reflex AOP kernel
É Tanter
Software Composition: 5th International Symposium, SC 2006 Vienna, Austria …, 2006
702006
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20