Salvador Tamarit

Available identifiers

Publication	Date of Publication	Type
Maximal and Minimal Dynamic Petri Net Slicing	2023-09-14	Paper
ReverCSP: time-travelling in CSP computations	2021-07-05	Paper
A core Erlang semantics for declarative debugging	2019-10-17	Paper
Tracking CSP computations	2018-12-19	Paper
Declarative debugging of concurrent Erlang programs	2018-11-01	Paper
Dynamic Slicing Techniques for Petri Nets	2015-03-23	Paper
Using the words/leafs ratio in the DOM tree for content extraction	2014-02-25	Paper
Static slicing of explicitly synchronized languages	2012-05-24	Paper
Graph Generation to Statically Represent CSP Processes	2011-05-27	Paper
A Tracking Semantics for CSP	2010-07-26	Paper
Fast and accurate strong termination analysis with an application to partial evaluation	2010-04-27	Paper
The MEB and CEB Static Analysis for CSP Specifications	2009-03-24	Paper
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs	2009-03-24	Paper
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs	2009-01-22	Paper

This page was built for person: Salvador Tamarit