Josep Silva

Available identifiers

zbMath Open silva.josepWikidataQ49837093 ScholiaQ49837093MaRDI QIDQ418183

List of research outcomes

Publication	Date of Publication	Type
The expression dependence graph	2024-11-26	Paper
Maximal and Minimal Dynamic Petri Net Slicing	2023-09-14	Paper
ReverCSP: time-travelling in CSP computations	2021-07-05	Paper
Tracking CSP computations	2018-12-19	Paper
Algorithmic debugging generalized	2018-06-27	Paper
A Generalized Model for Algorithmic Debugging	2016-02-05	Paper
Dynamic Slicing Techniques for Petri Nets	2015-03-23	Paper
Fast narrowing-driven partial evaluation for inductively sequential programs	2015-01-06	Paper
A vocabulary of program slicing-based techniques	2014-08-13	Paper
Using the words/leafs ratio in the DOM tree for content extraction	2014-02-25	Paper
Proceedings of the 10th Spanish conference on programming and languages (PROLE 2010), Valencia, Spain, September 8--10, 2010	2014-02-11	Paper
Static slicing of rewrite systems	2014-01-24	Paper
Enhancing Declarative Debugging with Loop Expansion and Tree Compression	2013-09-13	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
Ensuring the quasi-termination of needed narrowing computations	2010-01-29	Paper
Dynamic slicing of lazy functional programs based on redex trails	2009-08-04	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
Run-Time Profiling of Functional Logic Programs	2008-04-24	Paper
A Program Slicing Based Method to Filter XML/DTD Documents	2008-03-07	Paper
Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs	2007-09-10	Paper
Forward slicing of functional logic programs by partial evaluation	2007-03-23	Paper

Research outcomes over time

This page was built for person: Josep Silva