Josep Silva

Available identifiers

zbMath Open silva.josepWikidataQ49837093 ScholiaQ49837093MaRDI QIDQ418183

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
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

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: Josep Silva