|
|
|
|
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.  |
WPTE@FSCD  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Nishida 0001, Yuya Maeda |
On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions. |
WPTE@FSCD |
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. |
WPTE@FSCD |
2018 |
DBLP BibTeX RDF |
|
| 1 | Yoshiaki Kanazawa, Naoki Nishida 0001 |
On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems. |
WPTE@FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei-Sebastian Buruiana, Stefan Ciobaca |
Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics. |
WPTE@FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sabel |
Automating the Diagram Method to Prove Correctness of Program Transformations. |
WPTE@FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Schmidt-Schauß, Nils Dallmeyer |
Optimizing Space of Parallel Processes. |
WPTE@FSCD |
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. |
WPTE@FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinnosuke Mizutani, Naoki Nishida 0001 |
Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction. |
WPTE@FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Liyi Li 0002, Elsa L. Gunter |
A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras. |
WPTE@FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nneka Chinelo Ene, Maribel Fernández, Bruno Pinaud |
Attributed Hierarchical Port Graphs and Applications. |
WPTE@FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Koko Muroya, Dan R. Ghica |
Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting. |
WPTE@FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yutaro Nagae, Masahiko Sakai |
Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems. |
WPTE@FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Schmidt-Schauß, Nils Dallmeyer |
Space Improvements and Equivalences in a Functional Core Language. |
WPTE@FSCD |
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. |
WPTE@FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Gmeiner |
Confluence of Conditional Term Rewrite Systems via Transformations. |
WPTE@FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki |
An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems. |
WPTE@FSCD |
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. |
WPTE@FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli |
The Complexity of Abstract Machines. |
WPTE@FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken-etsu Fujita |
On Upper Bounds on the Church-Rosser Theorem. |
WPTE@FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Dallmeyer, Manfred Schmidt-Schauß |
An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages. |
WPTE@FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license