• Pascal Fradet and Stéphane Hong Tuan Ha. Aspects of Availability: Enforcing Timed Properties to Prevent Denial of Service. In Science of Computer Programming, SCP, In Press, 2010. (preprint version: )
  Key-words: Aspect-oriented programming, resource management, availability, verification, denial of service.
  [Abstract]
  
  • Previous conference version: Aspects of Availability. In Proc. of the Sixth International Conference on Generative Programming and Component Engineering, GPCE'07, pages 165-174, Octobre 2007. [Abstract]
  • Previous french journal version: Systèmes de gestion de ressources et aspects de disponibilité. In L'Objet, logiciel, bases de données, réseaux, Hermès/Lavoisier, volume 12(2-3), pages 183-210, septembre, 2006. (preprint version: ) [Abstract]
  • Short preliminary version: Systèmes de gestion de ressources et aspects de disponibilité. In 2ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA'05), Lille, France, September 2005. [Abstract]

• Jean-Pierre Banâtre, Pascal Fradet and Yann Radenac. Classical Coordination Mechanisms in the Chemical Model. In From Semantics to Computer Science: Essays in Honor of Gilles Kahn, Cambridge University Press, pages 29-50, 2009 . (preprint version: )
  Key-words: Chemical programming, higher-order conditional multiset rewriting, coordination mechanisms, parallel programming models, Petri nets, Kahn process networks.
  [Abstract]

• Simplice Djoko Djoko, Rémi Douence, Pascal Fradet. Aspects Preserving Properties. INRIA Reseach Report nº 7155, December 2009.
  Key-words: Aspect-oriented languages, weaving, domain-specific languages, semantics, temporal properties, proofs.
  [Abstract]

• Simplice Djoko Djoko, Rémi Douence, Pascal Fradet. Specialized Aspect Languages Preserving Classes of Properties. In Proc. of the Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM'08, November 2008.
  Key-words: Aspect-oriented languages, weaving, domain-specific languages, semantics, temporal properties, proofs.
  [Abstract]

• Simplice Djoko Djoko, Rémi Douence, Pascal Fradet. Aspects Preserving Properties. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'08, pages 135-145, January 2008.
  Key-words: Aspect-oriented languages, weaving, semantics, temporal properties, proofs.
  [Abstract]

• Tolga Ayav, Pascal Fradet, Alain Girault. Implementing Fault-Tolerance by Automatic Program Transformations. In ACM Transactions on Embedded Computing Systems, TECS, 7(4) , July 2008. (ACM library version, preprint version: )
  Key-words: Fault-tolerance, real-time systems, heartbeating, checkpointing, program transformations, correctness proofs.
  [Abstract]

• Previous conference version: Implementing Fault-Tolerance in Real-Time Systems by Program Transformations. In Proc. of the Sixth ACM & IEEE International Conference on Embedded Software, EMSOFT'06, pages 205-214, 2006. [Abstract]
• Research report version: INRIA Reseach Report nº 5919, May 2006. [Abstract]

• Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Goessler. Adaptor Synthesis for Real-Time Components. In Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS'07, Lecture Notes in Computer Science, Volume 4424, pages 185-200, 2007.
  Key-words: Components, real-time, assembly, adaptation, Petri nets.
  [Abstract]

• Rémi Douence and Pascal Fradet. The next 700 Krivine Machines. In Higher-Order and Symbolic Computation, HOSC, 20(3):237-255, September 2007. (preliminary version: )
  Key-words: Functional programming, Krivine machine, abstract machines, program transformation, compilation, functional language implementations.
  [Abstract]

• Jean-Pierre Banâtre, Pascal Fradet and Yann Radenac. Programming Self-Organizing Systems with the Higher-Order Chemical Language. In International Journal of Unconventional Computing, IJUC, 3(3):161-177, 2007. (preprint version: )
  Key-words: Chemical programming, higher-order conditional multiset rewriting, autonomic systems, self-organization, self-protection, self-healing, self-optimization.
  [Abstract]
  
  • Short (two- page) version: Chemical Programming of Self-Organizing Systems, ERCIM News, Vol. 64, Special Theme: Emergent Computing, Jan 2006 [Abstract]
  • Previous workshop version: Higher-order Chemical Programming Style. In Proc. of Unconventional Programming Paradigms, UPP'04, pages 84--98, 2005. Springer-Verlag, LNCS, Vol. 3566. [Abstract]
  • Previous conference version: Chemical Specification of Autonomic Systems. In Proc. of the 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE'04, july 2004. [Abstract]

• Pascal Fradet and Ralf Lämmel (editors). Special Issue on Foundations of Aspect-Oriented Programming. In Science of Computer Programming, SCP, december 2006, Elsevier. [The special issue@sciencedirect] (guest editors' introduction )
  Key-words: Aspect-oriented programming, foundations, semantics, typing, core aspect languages
  [Abstract]

• Simplice Djoko Djoko, Rémi Douence, Pascal Fradet and Didier Le Botlan. Towards a Common Aspect Semantic Base (CASB). Deliverable 54, EU Network of Excellence in AOSD, 2006.
  Key-words: Aspect-oriented languages, AspectJ, Featherweight Java, operational semantics.
  [Abstract]

• Jean-Pierre Banâtre, Pascal Fradet and Yann Radenac. Generalized Multisets for Chemical Programming. In Mathematical Structures in Computer Science, MSCS, vol. 16(4), pages 557-580, 2006. (preprint version: )
  Key-words: Chemical programming, higher-order conditional multiset rewriting, infinite multisets, negative multiplicities.
  [Abstract]
  
  • Research report version: INRIA Research Report  nº 5743, Nov. 2005. [Abstract]
  • Previous short version: A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid Multisets. In Proceedings of 1st International Workshop on New Developments in Computational Models, DCM'05, Vol. 135(3) of ENTCS, pages 3-13, March 2006, Elsevier. [Abstract]

• Olivier Michel, Jean-Pierre Banâtre, Pascal Fradet and Jean-Louis Giavitto. Challenging Questions for the Rationale of Non-Classical Programming Languages. In International Journal of Unconventional Computing, IJUC, 2(4):337-347, 2006.(preprint version: )
  Key-words: Unconventional programming languages, bio-inspired, DNA, chemical or quantum models.
  [Abstract]

• Jean-Pierre Banâtre, Pascal Fradet and Yann Radenac. Towards Grid Chemical Coordination (short paper). In Proc. of the 2006 ACM Symposium on Applied Computing, SAC'06, pages 445-446.
  Key-words: Chemical programming, coordination, grid programming.
  [Abstract]

• Jean-Pierre Banâtre, Pascal Fradet and Yann Radenac. Principles of Chemical Programming. In Proc. of the 5th International Workshop on Rule-Based Programming, RULE'04, volume 124(1) of ENTCS, pages 133--147, June 2005. Elsevier.
  Key-words: Chemical programming, higher-order conditional multiset rewriting, chemical metaphor, formal calculi.
  [Abstract]
  
  • Previous version: Higher-order chemistry. In Pre-Proceedings of the Workshop on Membrane Computing, WMC'03, july 2003. [Abstract]

• Pascal Fradet and Stéphane Hong Tuan Ha. Network Fusion. In Proc. of Asian Symposium on Programming Languages and Systems, APLAS'04, pages 21-40, november 2004. Springer-Verlag, LNCS, Vol. 3302.
  Key-words: Aspect-oriented programming, components, Kahn process networks, fusion, invasive composition, scheduling, synchronisation.
  [Abstract]

• Rémi Douence, Pascal Fradet and Mario Südholt. Trace-Based Aspects. In Aspect-Oriented Software Development, Mehmet Aksit, Siobhán Clarke, Tzilla Elrad, and Robert Filman, editors, pages 201-217. Addison-Wesley, 2004.
  Key-words: Aspect-oriented programming, execution traces, interactions, security.
  [Abstract]

• Rémi Douence, Pascal Fradet and Mario Südholt. Composition, reuse and interaction analysis of stateful aspects. In Proc.of the 3rd International Conference on Aspect-Oriented Software Development, AOSD'04, pages 141-150, March 2004. ACM Press.
  Key-words: Aspect-oriented programming, formal model, static analysis, aspect interactions, aspect composition, reuse of aspects.
  [Abstract]

• Rémi Douence, Pascal Fradet and Mario Südholt. A framework for the detection and resolution of aspect interactions. In Proc. of Conference on Generative Programming and Component Engineering, GPCE'02, 2002. Springer-Verlag, LNCS, Vol. 2487.
  Key-words: Aspect-oriented programming, formal model, static analysis, aspect interactions, aspect composition.
  [Abstract]
  
  • Research report version: INRIA Research Report nº 4435, Avril 2002.

• Jean-Pierre Banâtre, Pascal Fradet, and Daniel Le Métayer. Gamma and the chemical reaction model: fifteen years after. In Multiset Processing. Springer-Verlag, LNCS, Vol. 2235, 2001.
  Key-words: Chemical programming, survey, applications.
  [Abstract]

• Pascal Fradet. Approches langages pour la conception et la mise en oeuvre de programmes. Document d'habilitation à diriger les recherches. Université de Rennes I, 139 pages, novembre 2000.
  Mots clés : Langages  (fonctionnels, impératifs, dédiés, d'aspects), compilation, transformation, typage, analyse.
  [Abstract]

• Thomas Colcombet and Pascal Fradet. Enforcing Trace Properties by Program Transformation. In Proc. of  Principles of Programming Languages, POPL'00, ACM Press, pp. 54-66, Boston, January 2000.
  Key-words: Aspect-oriented programming, security policies, program transformation, static analysis, dynamic enforcement.
  [Abstract]

• Pascal Fradet and Julien Mallet. Compilation of a Specialized Functional Language for Massively Parallel Computers. In Journal of Functional Programming, JFP, 10(6), pp. 561-605, 2000. [JFP online]
  Key-words: Skeletons, polytopes, data parallelism, cost analysis, program transformation.
  [Abstract]
  

• Research report version: INRIA Research Report nº 3894, March 2000.

• Pascal Fradet, Valérie Issarny and Siegfried Rouvrais. Analyzing non-functional properties of mobile agents. In Proc. of Fundamental Approaches to Software Engineering, FASE'00, LNCS, March 2000.
  Key-words: Mobile agents, RPC, performance, security.
  [Abstract]

• Pascal Fradet, Daniel Le Métayer and Michaël Périn. Consistency checking for multiple view software architectures. In Proc. of the Joint European Software Engineering Conference and Symp. on Foundations of Software Engineering, ESEC/FSE'99,  Software Engineering Notes 24 (6) or LNCS Vol 1687 pp. 410-428, 1999.
  Key-words: Software architecture, multiple views, consistency, UML diagrams.
  [Abstract]

• Pascal Fradet and Mario Südholt. An aspect language for robust programming. In Int. Workshop on Aspect-Oriented Programming, ECOOP, June 1999.
  Key-words: Aspect-oriented programming, robustness, exceptions, program transformation, program analysis.
  [Abstract]

• Rémi Douence and Pascal Fradet. A systematic study of functional language implementations. In ACM Transactions on Programming Languages and Systems, TOPLAS, 20(2), pp. 344-387, 1998. [ACM library version]
  Key-words: Compilation, optimizations, program transformation, abstract machines, lambda-calculus, combinators.
  [Abstract]

• Previous short version: Towards a Taxonomy of Functional Language Implementations. In Proc. of 7th Int. Symp. on Programming Languages: Implementations, Logics and Programs, PLILP'95,  LNCS Vol. 982, pp.34-45, Utrecht, the Netherlands, 1995.
• Previous French version: Décrire et comparer les implantations de langages fonctionnels. In Journées francophones des langages applicatifs, JFLA'96, Collection INRIA Didactique, pp.183-203, Val-Morin, Québec, Canada, 1996.
• Previous extended versions: A Taxonomy of Functional Language Implementations
• Part I : Call-by-Value, INRIA Research Report nº 2783, 1995. 
• Part II : Call-by-Name, Call-by-Need and Graph Reduction, INRIA Research Report No 3050, 1996. 

• Pascal Fradet and Daniel Le Métayer. Structured Gamma. In Science of Computer Programming, SCP, 31(2-3), pp. 263-289, 1998. (Preliminary version: ) [Elsevier  library version]
  Key-words: Multiset rewriting, graph types, type checking, refinement.
  [Abstract]


• Research report version: Irisa Research Report nº 989, 1996.
• Previous short version: Type Checking for a Multiset Rewriting Language. In Proc. the LOMAPS workshop on Analysis and Verification of Multiple-agent Languages, LOMAPS'96, LNCS, Vol. 1192, pp. 126­140, 1996.

• Pascal Fradet and Mario Südholt, Towards a Generic Framework for Aspect-Oriented Programming. In Third AOP Workshop, ECOOP'98 Workshop Reader, LNCS, Vol. 1543, pp. 394-397, July 1998.
  Key-words: Aspect-oriented programming, program transformation, program analysis.
  [Abstract]


• Extended version: AOP: towards a generic framework using program transformation and analysis. (6 pages)

• Pascal Fradet and Daniel Le Métayer, Shape Types In Proc. of Principles of Programming Languages, POPL'97, ACM Press, pp. 27-39, Paris, January 1997.
  Key-words: Imperative programming, pointer data structures, pointer manipulation, graph grammars, type checking, program robustness, C.
  
[Abstract]

• Ronan Gaugne, Pascal Fradet and Daniel Le Métayer, Static Detection of Pointer Errors: an Axiomatisation and a Checking Algorithm. In Proc. of European Symposium on Programming, ESOP'96, LNCS, 1996.
  Key-words: Imperative programming, debugging tool, alias analysis, Hoare's logic.
  [Abstract]

• Research report version: An inference algorithm for the static verification of pointer manipulation, Irisa Research Report nº 980, 1996.

• Pascal Fradet, Collecting More Garbage. In Proc. of ACM Conf. on Lisp and Functional Programming, LISP'94, ACM Press, pp. 24-33, Orlando, FL, USA, June 1994.
  Key-words: Functional programming, garbage collection, space leaks, typing, parametricity.
  [Abstract]

• Pascal Fradet, Compilation of Head and Strong Reduction. In Proc. of the 5th European Symposium on Programming, ESOP'94, LNCS Vol 788, pp. 211-224, Edinburgh, UK, April 1994.   
  Key-words: Functional programming, lambda-calculus, continuations, strong reduction, head reduction, compilation.
  [Abstract]

• Research report (extended version): INRIA Research Report nº 2132.

• Pascal Fradet, Syntactic Detection of Single-Threading Using Continuations. In Proc. of the 5th ACM Conference on Functional Programming Languages and Computer Architecture, FPCA'91, LNCS VOL. 523, pp. 241-258, Cambridge, MA, USA, August 1991. 
  Key-words: Functional programming, globalization, single-threading, in-place update, CPS conversion.
  [Abstract]

• Pascal Fradet and Daniel Le Métayer. Compilation of functional languages by program transformation. In ACM Transactions on Programming Languages and Systems, TOPLAS, 13(1), pp. 21-51, 1991. [ACM library version]
  Key-words: Functional programming, compilation, continuations, program transformation, lambda-calculus, combinators.
  [Abstract]
  
  

These documents are provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors and by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.