|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 4 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
Static slicing of explicitly synchronized languages.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Silva, Salvador Tamarit, César Tomás |
System Dependence Graphs in Sequential Erlang. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Manuel Almendros-Jiménez, Josep Silva, Salvador Tamarit |
XQuery optimization based on program slicing. |
CIKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
An algorithm to generate the context-sensitive synchronized control flow graph. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
CSCFG, CSP |
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
Translating CSP Specifications to Equivalent Petri Nets. |
PDPTA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
A Tracking Semantics for CSP. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
Graph Generation to Statically Represent CSP Processes. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Salvador Tamarit, Germán Vidal |
Improving Size-Change Analysis in Offline Partial Evaluation |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
SOC: a slicer for CSP specifications. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
software engineering, program slicing |
| 1 | Michael Leuschel, Salvador Tamarit, Germán Vidal |
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. |
WFLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal |
Dynamic Slicing Techniques for Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal |
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
The MEB and CEB Static Analysis for CSP Specifications. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
Concurrent Programming, CSP, Program Slicing |
| 1 | Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal |
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")