Browsing by Author "Tanter, Éric Pierre"

Now showing items 1-20 of 30

    • Abstracting Gradual Typing 
      García, Ronald; Clark, Alison M.; Tanter, Éric Pierre (Assoc Computing Machinery, 2016)
      Language researchers and designers have extended a wide variety of type systems to support gradual typing, which enables languages to seamlessly combine dynamic and static checking. These efforts consistently demonstrate ...
    • Ambient contracts: verifying and enforcing ambient object compositions à la carte 
      Scholliers, Christophe; Harnie, Dries; Tanter, Éric Pierre; Meuter, Wolfgang de; D’Hondt, Theo (Springer, 2011-04)
      Current programming languages do not offer adequate abstractions to discover and compose heterogenous objects over unreliable networks. This forces programmers to discover objects one by one, compose them manually, and ...
    • Aspectizing Java Access Control 
      Toledo, Rodolfo; Núñez, Angel; Tanter, Éric Pierre; Noyé, Jacques (IEEE COMPUTER SOC, 2012-02)
      It is inevitable that some concerns crosscut a sizeable application, resulting in code scattering and tangling. This issue is particularly severe for security-related concerns: It is difficult to be confident about the ...
    • Aspects of composition in the reflex AOP kernel 
      Tanter, Éric Pierre (SPRINGER-VERLAG BERLIN, 2006)
      Aspect composition is a challenging and multi-faceted issue, generally under-supported by current AOP languages and frameworks. This paper presents the composition support provided in Reflex, a versatile kernel for ...
    • Cast Insertion Strategies for Gradually-Typed Objects 
      Allende, Esteban; Fabry, Johan K.; Tanter, Éric Pierre (Pleiad, 2014)
      Gradual typing enables a smooth and progressive integration of static and dynamic typing. The semantics of a gradually-typed program is given by translation to an intermediate language with casts: runtime type checks ...
    • Composition of Dynamic Analysis Aspects 
      Tanter, Éric Pierre; Moret, Philippe; Binder, Walter; Ansaloni, Danilo (2011-02)
      Aspect-oriented programming provides a convenient high-level model to define several kinds of dynamic analyses, in particular thanks to recent advances in exhaustive weaving in core libraries. Casting dynamic analyses as ...
    • Computational contracts 
      Scholliers, Christophe; Tanter, Éric Pierre; Meuter, Wolfgang de (Elsevier, 2015)
      Software contracts have proven to play an important role for the development of robust software. Contract systems are widely adopted in statically typed languages and are currently finding their entrance in dynamically-typed ...
    • Context-aware aspects 
      Tanter, Éric Pierre; Gybels, Kris; Denker, Marcus; Bergel, Alexandre (SPRINGER-VERLAG BERLIN, 2006)
      Context-aware applications behave differently depending on the context in which they are running. Since context-specific behavior tends to crosscut base programs, it can advantageously be implemented as aspects. This leads ...
    • Controlling Aspect Reentrancy 
      Tanter, Éric Pierre (GRAZ UNIV TECHNOLGOY, INST INFORMATION SYSTEMS COMPUTER MEDIA-IICM, 2008)
      Aspect languages provide different mechanisms to control when an aspect should apply based on properties of the execution context. They however fail to explicitly identify and cleanly capture a property as basic as that ...
    • Customizable Gradual Polymorphic Effects for Scala 
      Toro, Matías; Tanter, Éric Pierre (Assoc. Computing Machinery, 2015)
      Despite their obvious advantages in terms of static reasoning, the adoption of effect systems is still rather limited in practice. Recent advances such as generic effect systems, lightweight effect polymorphism, and gradual ...
    • Declarative, formal, and extensible syntax definition for AspectJ - A case for scannerless generalized-LR parsing 
      Bravenboer, Martin; Tanter, Éric Pierre; Visser, Eelco (ASSOC COMPUTING MACHINERY, 2006-10)
      Aspect-Oriented Programming (AOP) is attracting attention from both research and industry, as illustrated by the ever-growing popularity of AspectJ, the de facto standard AOP extension of Java. From a compiler construction ...
    • ECOCAM, un sistema computacional adaptable al contexto para promover estrategias de cálculo mental: ... 
      Leger, Paul; Gálvez, Grecia; Inostroza, Milton; Cubillos, Lino; Luci, Gina; Tanter, Éric Pierre; Cosmelli, Diego; Soto Andrade, Jorge (Comité Latinoamericano de Matemática Educativa, 2014)
      Basado en nuestro trabajo previo sobre estrategias cognitivas para el cálculo mental, presentamos el diseño de un sistema computacional adaptable al contexto, denominado ECOCAM, que apunta a promover estrategias de cálculo ...
    • Effect capabilities for Haskell: Taming effect interference in monadic programming 
      Figueroa, Ismael; Tanter, Éric Pierre (Elsevier, 2016)
      Computational effects complicate the tasks of reasoning about and maintaining software, due to the many kinds of interferences that can occur. While different proposals have been formulated to alleviate the fragility and ...
    • Execution levels for aspect-oriented programming: Design, semantics, implementations and applications 
      Tanter, Éric Pierre; Figueroa, Ismael; Tabareau, Nicolás (Elsevier, 2014)
      In aspect-oriented programming (AOP) languages, advice evaluation is usually considered as part of the base program evaluation. This is also the case for certain pointcuts, such as if pointcuts in AspectJ, or simply all ...
    • An expressive stateful aspect language 
      Leger, Paul; Tanter, Éric Pierre; Fukuda, Hiroaki (Elsevier, 2015)
      Stateful aspects can react to the trace of a program execution; they can support modular implementations of several crosscutting concerns like error detection, security, event handling, and debugging. However, most proposed ...
    • How (and why) developers use the dynamic features of programming languages: the case of smalltalk 
      Callaú, Oscar; Robbes, Romain; Tanter, Éric Pierre; Röthlisberger, David (Springer, 2013)
      The dynamic and reflective features of programming languages are powerful constructs that programmers often mention as extremely useful. However, the ability to modify a program at runtime can be both a boon—in terms of ...
    • Join point interfaces for safe and flexible decoupling of aspects 
      Bodden, Eric; Tanter, Éric Pierre; Inostroza, Víctor (ACM, 2014)
      In current aspect-oriented systems, aspects usually carry, through their pointcuts, explicit references to the base code. Those references are fragile and hinder important software engineering properties such as modular ...
    • KALA: Kernel aspect language for advanced transactions 
      Fabry, Johan K.; Tanter, Éric Pierre; D’Hondt, Theo (ELSEVIER, 2008-05-01)
      Transaction management is a known crosscutting concern. Previous research has been conducted to express this concern as an aspect. However, such work has used general-purpose aspect languages which lack a formal foundation, ...
    • A Lightweight and Extensible AspectJ Implementation 
      Toledo, Rodolfo; Tanter, Éric Pierre (GRAZ UNIV TECHNOLGOY, INST INFORMATION SYSTEMS COMPUTER MEDIA-IICM, 2008)
      Extending AspectJ to experiment with new language features can be cumbersome, even with an extensible implementation. Often, a language designer only needs a rapid prototyping environment, but has to deal with a full ...
    • Modular and flexible causality control on the Web 
      Leger, Paul; Tanter, Éric Pierre; Douence, Rémi (Elsevier, 2013)
      Ajax allows JavaScript programmers to create interactive, collaborative, and user-centered Web applications, known as Web 2.0 Applications. These Web applications behave as distributed systems because processors are user ...