1. J. Mallet. Compilation d'un langage spécialisé pour machine massivement parallèle. PhD thesis, Université de Rennes I, Ifsic, Irisa, 1998. [WWW ] Keyword(s): parallelism, compilation, specialized language, program skeleton, data distribution, program transformation, cost analysis. [Abstract] [bibtex-entry]

1. F. Besson, T. Jensen, D. Le Métayer, and T. Thorn. Model ckecking security properties of control flow graphs. Journal of Computer Security, 9:217--250, 2001. [WWW ] [Abstract] [bibtex-entry]



2. M. Ducassé. Opium: An extendable trace analyser for Prolog. The Journal of Logic programming, 1999. Note: Special issue on Synthesis, Transformation and Analysis of Logic Programs, A. Bossi and Y. Deville (eds), Also Rapport de recherche INRIA RR-3257 and Publication Interne IRISA PI-1127. [WWW ] Keyword(s): Software Engineering, Automated Debugging, Trace Query Language, Program Execution Analysis, Abstract Views of Program Executions, Prolog. [Abstract] [bibtex-entry]



3. R. Douence and P. Fradet. A systematic study of functional language implementations. ACM Transactions on Programming Languages and Systems, 20(2):344--387, 1998. [WWW ] [Abstract] [bibtex-entry]



4. S. Coupet-Grimal and O. Ridoux. On the use of Advanced Logic Programming Languages in Computational Linguistics. J. Logic Programming, 24(1&2):121--159, 1995. [WWW ] Keyword(s): Logic programming, computational linguistics, LambdaProlog, Prolog II, lambda-terms, rational terms.. [Abstract] [bibtex-entry]



5. P. Fradet and D. Le Métayer. Compilation of functional languages by program transformation. ACM Transactions on Programming Languages and Systems, 13(1):21--51, 1991. [WWW ] [Abstract] [bibtex-entry]

1. A. Gotlieb, T. Denmat, and B. Botella. Goal-oriented test data generation for programs with pointer variables. In 29th IEEE Annual International Computer Software and Applications Conference (COMPSAC'05), Edinburh, Scotland, pages 449-454, July 2005. Note: 6 pages. Keyword(s): Goal-oriented test data generation, Constraint Logic Programming, Static Single Assignment form, pointer variables. [Abstract] [bibtex-entry]



2. L. Langevine, M. Ducassé, and P. Deransart. A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation. In C. Palamidessi, editor, Proceedings of the 19th Int. Conf. in Logic Programming, December 2003. Springer-Verlag, Lecture Notes in Computer Science. [bibtex-entry]



3. P. Fradet, V. Issarny, and S. Rouvrais. Analyzing non-functional properties of mobile agents. In Proc. of Fundamental Approaches to Software Engineering, FASE'00, Lecture Notes in Computer Science, march 2000. Springer-Verlag. [WWW ] Keyword(s): Mobile agents, RPC, performance, security. [Abstract] [bibtex-entry]



4. P. Fradet and M. Südholt. An aspect language for robust programming. In Workshop on Aspect-Oriented Programming, ECOOP 1999, juillet 1999. [WWW ] Keyword(s): aspect-oriented programming, robustness, exceptions, program transformation, program analysis. [Abstract] [bibtex-entry]



5. A. A. Holzbacher, M. Périn, and M. Südholt. Modeling railway control systems using graph grammars: a case study. In 2nd International Conference on COORDINATION, LNCS 1282, September 1997. Springer Verlag. Note: Long version published as technical report, INRIA, no. 3210: see ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-3210.ps.gz. [WWW ] Keyword(s): software architecture, graph grammar, software evolution. [Abstract] [bibtex-entry]



6. P. Pepper and M. Südholt. Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm. In Proc. of the 30rd Hawaii International Conference on System Sciences, January 1997. IEEE. [WWW ] Keyword(s): functional, parallel programming, skeleton, data distribution algebra, partition algorithm. [Abstract] [bibtex-entry]



7. M. Südholt, C. Piepenbrock, K. Obermayer, and P. Pepper. Solving Large Systems of Differential Equations using Covers and Skeletons. In 50th Working Conference on Algorithmic Languages and Calculi, February 1997. Chapman & Hall. [WWW ] Keyword(s): functional, parallel programming, numerical algorithm, program transformation, skeleton, data distribution algebra. [Abstract] [bibtex-entry]



8. J.-P. Banâtre and D. Le Métayer. Gamma and the chemical reaction model: ten years after. In Coordination programming: mechanisms, models and semantics, IC Press, 1996. World Scientific Publishing. [WWW ] [Abstract] [bibtex-entry]



9. M. Ducassé and J. Noyé. Tracing Prolog without a tracer. In N. Fuchs and U. Geske, editors, Proceedings of the poster session at JICSLP'96, pages 223-232, September 1996. GMD- Forschungszentrum Informationstechnik GMBH, GMD-STUDIEN Nr.296, ISBN3-88457-296-2. Note: One page abstract also appears in Proc. of the JICSLP'96, MIT Press, ISBN 0-262-63173-3. [Abstract] [bibtex-entry]



10. O. Ridoux. Engineering Transformations of Attributed Grammars in $\lambda$Prolog. In M. Maher, editor, Joint Int. Conf. and Symp. Logic Programming, pages 244--258, 1996. MIT Press. [WWW ] Keyword(s): Syntax-directed translation, grammar transformations, logic grammars, DCG, LambdaProlog.. [Abstract] [bibtex-entry]



11. R. Douence and P. Fradet. Towards a Taxonomy of Functional Language Implementations. In Proc. of 7th Int. Symp. on Programming Languages: Implementations, Logics and Programs, volume 982 of LNCS, Utrecht, the Netherlands, pages 34-45, 1995. Springer-Verlag. [WWW ] Keyword(s): Compilation, optimizations, program transformation, lambda-calculus, combinators.. [Abstract] [bibtex-entry]



12. P. Brisset and O. Ridoux. The Architecture of an Implementation of $\lambda$Prolog: Prolog/Mali. In ILPS'94 Workshop on Implementation Techniques for Logic Programming Languages, 1994. Note: Extended version of \citebo92b. [WWW ] Keyword(s): See \citebo92b. [Abstract] [bibtex-entry]



13. S. Le Huitouze, P. Louvet, and O. Ridoux. Logic Grammars and $\lambda$Prolog. In D.S. Warren, editor, 10th Int. Conf. Logic Programming, pages 64--79, 1993. MIT Press. [WWW ] Keyword(s): LambdaProlog, logic grammars, scope, context handling in syntactic analysis.. [Abstract] [bibtex-entry]



14. Y. Bekkers, O. Ridoux, and L. Ungaro. Dynamic Memory Management for Sequential Logic Programming Languages. In Y. Bekkers and J. Cohen, editors, Int. Worshop on Memory Management, volume 637 of LNCS, pages 82--102, 1992. Springer-Verlag. [WWW ] Keyword(s): Memory management, logic programming, garbage collection, usefulness logic.. [Abstract] [bibtex-entry]



15. P. Brisset and O. Ridoux. The Architecture of an Implementation of $\lambda$Prolog: Prolog/Mali. In Workshop on $\lambda$Prolog, Philadelphia, 1992. [WWW ] Keyword(s): LambdaProlog, implementation, compilation, memory management.. [Abstract] [bibtex-entry]



16. M. Ducassé. A general trace query mechanism based on Prolog. In M. Bruynooghe and M. Wirsing, editors, International Symposium on Programming Language Implementation and Logic Programming, volume 631 of Lecture Notes in Computer Science, pages 400-414, August 1992. Springer-Verlag. [WWW ] [Abstract] [bibtex-entry]



17. P. Brisset and O. Ridoux. Naïve Reverse Can Be Linear. In K. Furukawa, editor, 8th Int. Conf. Logic Programming, pages 857--870, 1991. MIT Press. [WWW ] Keyword(s): LambdaProlog, implementation, function-lists, higher-order unification.. [Abstract] [bibtex-entry]

1. P. Fradet and J. Mallet. Compilation of a Specialized Functional Language for Massively Parallel Computers. Technical report 3894, INRIA, march 2000. [WWW ] Keyword(s): Skeletons, polytopes, data parallelism, cost analysis, program transformation. [Abstract] [bibtex-entry]



2. T. Jensen, D. Le Métayer, and T. Thorn. Verification of control flow based security policies. Technical report 1210, IRISA, 1998. [WWW ] Keyword(s): security, verification, finite-state system, control flow, object orientation. [Abstract] [bibtex-entry]



3. J. Mallet. Compilation of a skeleton-based parallel language through symbolic cost analysis and automatic distribution. Technical report 3436, INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le chesnay Cedex FRANCE, Mai 1998. [WWW ] Keyword(s): skeleton-based language, parallelism, cost analysis, automatic data distribution. [Abstract] [bibtex-entry]



4. R. Douence and P. Fradet. A taxonomy of functional language implementations. Part I: Call-by-Value. Technical report 2783, INRIA, Jan. 1996. [WWW ] Keyword(s): Compilation, optimizations, program transformation, lambda-calculus, combinators.. [Abstract] [bibtex-entry]



5. R. Douence and P. Fradet. A taxonomy of functional language implementations. Part II: Call-by-Name, Call-by-Need and Graph Reduction.. Technical report 3050, INRIA, Nov. 1996. [WWW ] Keyword(s): Compilation, optimizations, program transformation, lambda-calculus, combinators.. [Abstract] [bibtex-entry]



6. P. Brisset and O. Ridoux. The Compilation of $\lambda$Prolog and its execution with MALI. Publication Interne 687, IRISA, 1992. [WWW ] Keyword(s): LambdaProlog, implementation, compilation, memory management.. [Abstract] [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html