The following pages link to Josep Silva (Q418183):
Displaying 25 items.
- Static slicing of explicitly synchronized languages (Q418185) (← links)
- Ensuring the quasi-termination of needed narrowing computations (Q845935) (← links)
- (Q1633348) (redirect page) (← links)
- Tracking CSP computations (Q1633350) (← links)
- Algorithmic debugging generalized (Q1647965) (← links)
- ReverCSP: time-travelling in CSP computations (Q2039907) (← links)
- Dynamic slicing of lazy functional programs based on redex trails (Q2271904) (← links)
- Using the words/leafs ratio in the DOM tree for content extraction (Q2436512) (← links)
- Proceedings of the 10th Spanish conference on programming and languages (PROLE 2010), Valencia, Spain, September 8--10, 2010 (Q2637335) (← links)
- Enhancing Declarative Debugging with Loop Expansion and Tree Compression (Q2848898) (← links)
- Static slicing of rewrite systems (Q2873792) (← links)
- A vocabulary of program slicing-based techniques (Q2875081) (← links)
- Fast narrowing-driven partial evaluation for inductively sequential programs (Q2936786) (← links)
- Graph Generation to Statically Represent CSP Processes (Q3003484) (← links)
- Forward slicing of functional logic programs by partial evaluation (Q3430670) (← links)
- A Tracking Semantics for CSP (Q3575275) (← links)
- Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs (Q3591075) (← links)
- The MEB and CEB Static Analysis for CSP Specifications (Q3617433) (← links)
- Dynamic Slicing Techniques for Petri Nets (Q4982092) (← links)
- A Program Slicing Based Method to Filter XML/DTD Documents (Q5448819) (← links)
- Run-Time Profiling of Functional Logic Programs (Q5458802) (← links)
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (Q5504594) (← links)
- A Generalized Model for Algorithmic Debugging (Q5743598) (← links)
- Maximal and Minimal Dynamic Petri Net Slicing (Q6094513) (← links)
- The expression dependence graph (Q6643470) (← links)
