|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Joachim Niehren, David Sabel (eds.) |
Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England, 8th July 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Nishida 0001, Yuya Maeda |
On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England, 8th July 2018., pp. 68-87, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Horatiu Cirstea, David Sabel (eds.) |
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Yoshiaki Kanazawa, Naoki Nishida 0001 |
On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England, 8th July 2018., pp. 34-52, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrei-Sebastian Buruiana, Stefan Ciobaca |
Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England, 8th July 2018., pp. 1-16, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David Sabel |
Automating the Diagram Method to Prove Correctness of Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England, 8th July 2018., pp. 17-33, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, Nils Dallmeyer |
Optimizing Space of Parallel Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England, 8th July 2018., pp. 53-67, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tomohiro Sasano, Naoki Nishida 0001, Masahiko Sakai, Tomoya Ueyama |
Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017., pp. 82-97, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shinnosuke Mizutani, Naoki Nishida 0001 |
Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017., pp. 35-51, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Liyi Li 0002, Elsa L. Gunter |
A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017., pp. 20-34, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nneka Chinelo Ene, Maribel Fernández, Bruno Pinaud |
Attributed Hierarchical Port Graphs and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017., pp. 2-19, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Koko Muroya, Dan R. Ghica |
Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017., pp. 52-66, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yutaro Nagae, Masahiko Sakai |
Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017., pp. 67-81, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, Nils Dallmeyer |
Space Improvements and Equivalences in a Functional Core Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017., pp. 98-112, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Horatiu Cirstea, Santiago Escobar 0001 (eds.) |
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Karl Gmeiner |
Confluence of Conditional Term Rewrite Systems via Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016., pp. 32-45, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki |
An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016., pp. 46-61, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ryota Nakayama, Naoki Nishida 0001, Masahiko Sakai |
Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016., pp. 62-77, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli |
The Complexity of Abstract Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016., pp. 1-15, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ken-etsu Fujita |
On Upper Bounds on the Church-Rosser Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016., pp. 16-31, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nils Dallmeyer, Manfred Schmidt-Schauß |
An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@FSCD ![In: Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016., pp. 78-92, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|