Salvador Tamarit

Available identifiers

zbMath Open tamarit.salvadorMaRDI QIDQ418184

List of research outcomes

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
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs	2009-03-24	Paper
The MEB and CEB Static Analysis for CSP Specifications	2009-03-24	Paper
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs	2009-01-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Salvador Tamarit