Formal Islands, 2006. ,
DOI : 10.1007/11784180_7
URL : https://hal.archives-ouvertes.fr/inria-00001146
Composing security policies with polymer, PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, pp.305-314, 2005. ,
Formal methods: state of the art and future directions, ACM Computing Surveys, vol.28, issue.4, pp.626-643, 1996. ,
DOI : 10.1145/242223.242257
URL : https://hal.archives-ouvertes.fr/hal-00444076
Termination and Confluence Properties of Structured Rewrite Systems, 1996. ,
Implementing deep inference in TOM, Structures and Deduction, pp.158-172, 2005. ,
Anchoring Modularity in HTML, María Alpuente WWV, volume DSIC-II/03/05 Departamento de Sistemas Informaticos y Computacion, pp.139-151, 2005. ,
DOI : 10.1016/j.entcs.2005.12.051
URL : https://hal.archives-ouvertes.fr/inria-00000750
Formal validation of pattern matching code, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.187-197, 2005. ,
DOI : 10.1145/1069774.1069792
URL : https://hal.archives-ouvertes.fr/inria-00000701
Understanding SQL and Java Together: A Guide to SQLJ, JDBC, and Related Technologies, 2000. ,
A sufficient condition for the termination of the direct sum of term rewriting systems, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, pp.396-401, 1989. ,
DOI : 10.1109/LICS.1989.39194
A Pattern Matching Compiler for Multiple Target Languages, 12th Conference on Compiler Construction, pp.61-76, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00099427
A Pattern Matching Compiler for Multiple Target Languages, 12th Conference on Compiler Construction, pp.61-76, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00099427
On termination of the direct sum of term-rewriting systems, Information Processing Letters, vol.26, issue.2, pp.65-70, 1987. ,
DOI : 10.1016/0020-0190(87)90039-1
URL : https://hal.archives-ouvertes.fr/inria-00075874
Notable design patterns for domain-specific languages, Journal of Systems and Software, vol.56, issue.1, pp.91-99, 2001. ,
DOI : 10.1016/S0164-1212(00)00089-3
On the Church-Rosser property for the direct sum of term rewriting systems, Journal of the ACM, vol.34, issue.1, pp.128-143, 1987. ,
DOI : 10.1145/7531.7534
Building program optimizers with rewriting strategies, Proceedings of the third ACM SIGPLAN International Conference on Functional Programming, pp.13-26, 1998. ,