Salvador Tamarit's Papers
HOME > Salvador Tamarit's Papers
-
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
A tracking semantics for CSP
Proceedings of the 10th International Conference on Mathematics of Program Construction (MPC 2010).
© Springer-Verlag
Available: PDF preprint
-
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
An Algorithm to Generate the Context-sensitive
Synchronized Control Flow Graph
Proceedings of the 2010 ACM 25th Symposium On Applied Computing (SAC 2010).
© ACM Press
Available: PDF preprint
-
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
A Semantics to Generate the Context-sensitive Synchronized Control-Flow Graph
Proceedings of the 20th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2010).
© Springer-Verlag
Available: PDF preprint
-
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
An Algorithm to Detect Synchronized Events of CSP Specifications
Proceedings of the XVII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2009). pp. 261-272, 2009.
Available: PDF preprint
-
-
-
Gustavo Arroyo,
J. Guadalupe Ramos,
Salvador Tamarit,
Germán Vidal
A Transformational Approach to Polyvariant BTA of
Higher-Order Functional Programs
Logic-Based Program Synthesis and Transformation (revised and selected papers from LOPSTR 2008).
Springer LNCS 5438, pp. 40-54, 2009.
Extended and revised version of this abstract.
© Springer-Verlag
Available:
Abstract
/
PDF
/
BibTeX entry
-
Michael Leuschel,
Salvador Tamarit, and Germán Vidal
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation
Proc. of the 18th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2009). To appear in Springer LNCS, 2009.
© Springer-Verlag
Available:
Abstract
/
PDF
/
BibTeX entry
-
-
Gustavo Arroyo,
J. Guadalupe Ramos,
Salvador Tamarit,
Germán Vidal
A Transformational Approach to Polyvariant BTA of
Higher-Order Functional Programs
Proc. of the 18th Int'l Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008), pp. 121-130. 2008.
Available:
Abstract
/
PDF
/
BibTeX entry
-
Marisa Llorens,
Javier Oliver,
Josep Silva,
Salvador Tamarit,
Germán Vidal
Dynamic Slicing Techniques for Petri Nets
Second Workshop on Reachability Problems (RP 2008).
To appear in Electronic Notes in Theoretical Computer
Science 223:153-165, 2008.
© Elsevier
Available:
Abstract
/
PDF preprint /
Online article /
BibTeX entry
-
Sebastian Fischer,
Josep Silva,
Salvador Tamarit,
Germán Vidal
Preserving Sharing in the Partial Evaluation of
Lazy Functional Programs
Logic-Based Program Synthesis and Transformation (revised and selected papers from LOPSTR 2007).
Springer LNCS 4915, pp. 74-89, 2008.
Extended and revised version of this abstract.
© Springer-Verlag
Available:
Abstract
/
PDF preprint /
BibTeX entry
-
Michael Leuschel,
Salvador Tamarit, and Germán Vidal
Improving Size-Change Analysis in Offline Partial
Evaluation
Proc. of the 18th Int'l Workshop on Logic-Based Methods in
Programming Environments (WLPE 2008), pp. 44-51. 2008.
Available:
Abstract
/
PDF
/
BibTeX entry
-
Sebastian Fischer,
Josep Silva,
Salvador Tamarit,
Germán Vidal
Preserving Sharing in the Partial Evaluation of
Lazy Functional Programs
International Symposium on Logic-Based Program Synthesis and
Transformation
(LOPSTR 2007)
, 2007
Available:
Abstract
/
PDF preprint /
BibTeX entry
-
Sebastian Fischer,
Josep Silva,
Salvador Tamarit,
Germán Vidal
Towards a Safe Partial Evaluation of
Lazy Functional Logic Programs
16th Int'l Workshop on Functional and (Constraint) Logic Programming
(WFLP 2007), 2007.
Available:
Abstract
/
PDF /
BibTeX entry
-
Gustavo Arroyo,
J. Guadalupe Ramos,
Salvador Tamarit,
Germán Vidal
Offline Narrowing-Driven Specialization in
Practice
II CONGRESO ESPAÑOL DE INFORMÁTICA (CEDI
2007),
ACTAS de las VII Jornadas sobre Programación y Lenguajes (PROLE’07)
pp.137-146.
Available:
Abstract /
PDF
Last update
stamarit@dsic.upv.es