Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

58 résultats
Page :
triés par
Image document

Type Abstraction for Relaxed Noninterference *

 Raimil Cruz , Tamara Rezk , Bernard P. Serpette , Éric Tanter
ECOOP 2017 - 31st European Conference on Object-Oriented Programming, Jun 2017, Barcelona, Spain. pp.1-27, ⟨10.4230/LIPIcs.ECOOP.2017.53⟩
Communication dans un congrès hal-01637023v2
Image document

Gradual Typing for Smalltalk

 Esteban Allende , Oscar Callau , Johan Fabry , Éric Tanter , Marcus Denker
Science of Computer Programming, 2014, 96 (1), pp.52-69. ⟨10.1016/j.scico.2013.06.006⟩
Article dans une revue hal-00862815v1
Image document

Partial Type Equivalences for Verified Dependent Interoperability

 Pierre-Evariste Dagand , Nicolas Tabareau , Éric Tanter
ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. pp.298-310, ⟨10.1145/2951913.2951933⟩
Communication dans un congrès hal-01328012v1
Image document

A Practical Monadic Aspect Weaver

 Ismael Figueroa , Éric Tanter , Nicolas Tabareau
Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
Communication dans un congrès hal-00690717v1
Image document

Chemical foundations of distributed aspects

 Nicolas Tabareau , Éric Tanter
Distributed Computing, 2019, 32 (3), pp.193-216. ⟨10.1007/s00446-018-0334-6⟩
Article dans une revue hal-01811884v1

Dijkstra monads for all

 Kenji Maillard , Danel Ahman , Robert Atkey , Guido Martínez , Cătălin Hriţcu , et al.
Proceedings of the ACM on Programming Languages, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341708⟩
Article dans une revue hal-02398919v1

Proceedings of the sixth annual workshop on Domain-specific aspect languages (DSAL 2011)

 Tom Dinkelaker , Jacques Noyé , Éric Tanter
AOSD - Aspect-Oriented Software Development - 2011, Mar 2011, Porto de Galinhas, Brazil
Communication dans un congrès hal-00726757v1
Image document

Securing Verified IO Programs Against Unverified Code in F*

 Cezar-Constantin Andrici , Ștefan Ciobâcă , Cătălin Hriţcu , Guido Martínez , Exequiel Rivas , et al.
Proceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.2226-2259. ⟨10.1145/3632916⟩
Article dans une revue hal-04484770v1
Image document

Taming aspects with monads and membranes

 Ismael Figueroa , Nicolas Tabareau , Éric Tanter
FOAL'13: Foundations of aspect-oriented languages, Mar 2013, Fukuoka, Japan. ⟨10.1145/2451598.2451600⟩
Communication dans un congrès hal-00808983v1

La réflexion comportementale partielle comme infrastructure de programmation par aspects - Étude du cas des coupes dynamiques

 Léonardo Rodriguez , Éric Tanter , Jacques Noyé
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2005, 11 (3), pp.31-52
Article dans une revue hal-00443972v1
Image document

Modular and Flexible Causality Control on the Web

 Paul Leger , Éric Tanter , Rémi Douence
[Research Report] RR-7742, INRIA. 2011
Rapport inria-00626363v2

ReLAx: Implementing KALA over the Reflex AOP Kernel

 Johan Fabry , Éric Tanter , Theo d'Hondt
Second Workshop on Domain-Specific Aspect Languages, Mar 2007, Vancouver, Canada
Communication dans un congrès inria-00167406v1
Image document

The Marriage of Univalence and Parametricity

 Nicolas Tabareau , Éric Tanter , Matthieu Sozeau
Journal of the ACM (JACM), 2021, 68 (1), pp.1-44. ⟨10.1145/3429979⟩
Article dans une revue hal-03120580v1

Partial Behavioral Reflection: Spatial and Temporal Selection of Reification

 Éric Tanter , Jacques Noyé , Denis Caromel , Pierre Cointe
The 18th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA 2003), 2003, Anaheim, California, USA, United States. pp.27-46
Communication dans un congrès hal-00457204v1
Image document

Unanticipated Partial Behavioral Reflection: Adapting Applications at Runtime

 David Roethlisberger , Marcus Denker , Éric Tanter
Computer Languages, Systems and Structures, 2008, 34 (2), pp.46-65. ⟨10.1016/j.cl.2007.05.001⟩
Article dans une revue inria-00555557v1

Aspectizing Java Access Control

 Rodolfo Toledo , Angel Núñez , Éric Tanter , Jacques Noyé
IEEE Transactions on Software Engineering, 2011, 38 (1), pp.101-117. ⟨10.1109/TSE.2011.6⟩
Article dans une revue inria-00567489v1

A Versatile Kernel for Multi-Language AOP

 Éric Tanter , Jacques Noyé
4th International Conference, GPCE 2005, 2005, Tallinn, Estonia, Spain. pp.173-188
Communication dans un congrès hal-00457203v1

Proceedings of the 2nd workshop on Domain specific aspect languages

 Johan Fabry , Damijan Rebernak , Anne-Françoise Le Meur , Jacques Noyé , Éric Tanter
Proceedings of the 2nd workshop on Domain specific aspect languages (@ AOSD 2007), Mar 2007, Vancouver, Canada
Communication dans un congrès inria-00468317v1
Image document

Context-Aware Aspects

 Éric Tanter , Kris Gybels , Marcus Denker , Alexandre Bergel
5th International Symposium on Software Composition (SC 2006), 2006, Vienna, Austria. ⟨10.1007/11821946⟩
Communication dans un congrès inria-00555956v1
Image document

Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice

 Ismael Figueroa , Nicolas Tabareau , Éric Tanter
LNCS Transactions on Aspect-Oriented Software Development, 2014
Article dans une revue hal-00872782v1

Approximate normalization for gradual dependent types

 Joseph Eremondi , Éric Tanter , Ronald Garcia
Proceedings of the ACM on Programming Languages, 2019, 3 (ICFP), pp.1-30. ⟨10.1145/3341692⟩
Article dans une revue hal-02399594v1

Scoping strategies for distributed aspects

 Éric Tanter , Johan Fabry , Rémi Douence , Jacques Noyé , Mario Südholt
Science of Computer Programming, 2010, 75 (12), pp.1235-1261. ⟨10.1016/j.scico.2010.06.011⟩
Article dans une revue inria-00523569v1
Image document

A Trustworthy Mechanized Formalization of R

 Martin Bodin , Tomás Diaz , Éric Tanter
Dynamic Language Symposium (DLS), Nov 2018, Boston, United States. pp.13-24, ⟨10.1145/3276945.3276946⟩
Communication dans un congrès hal-02409674v1
Image document

Unanticipated Partial Behavioral Reflection

 David Roethlisberger , Marcus Denker , Éric Tanter
14th International Smalltalk Conference (ISC 2006), ESUG, Sep 2006, Prag, Czech Republic. pp.47-65, ⟨10.1007/978-3-540-71836-9_3⟩
Communication dans un congrès inria-00555650v1

Sequential Object Monitors

 Denis Caromel , Luis Mateu , Éric Tanter
18th European Conference on Object-Oriented Programming, 2004, Oslo, Norway, Norway. pp.316-340
Communication dans un congrès hal-00457132v1

Polymorphic Relaxed Noninterference

 Raimil Cruz , Éric Tanter
SecDev 2019 : IEEE Secure Development Conference, Sep 2019, McLean, VA, United States. pp.101-113, ⟨10.1109/SecDev.2019.00021⟩
Communication dans un congrès hal-02399576v1
Image document

Exploring Membranes for Controlling Aspects

 Éric Tanter , Nicolas Tabareau , Rémi Douence
[Research Report] RR-7739, INRIA. 2011, pp.33
Rapport inria-00592133v2
Image document

Equivalences for Free

 Nicolas Tabareau , Éric Tanter , Matthieu Sozeau
Proceedings of the ACM on Programming Languages, 2018, ICFP'18, 2 (ICFP), pp.1-29. ⟨10.1145/3234615⟩
Article dans une revue hal-01559073v6

A Taxonomy of Domain-Specific Aspect Languages

 Johan Fabry , Tom Dinkelaker , Jacques Noyé , Éric Tanter
ACM Computing Surveys, 2015, 47 (3), pp.44. ⟨10.1145/2685028⟩
Article dans une revue hal-01085063v1

Compositional Reasoning About Aspect Interference

 Ismael Figueroa , Tom Schrijvers , Nicolas Tabareau , Éric Tanter
13th International Conference on Modularity (Modularity'14), Apr 2014, Lugano, Switzerland
Communication dans un congrès hal-00919935v1
Page :