|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Isabella Mastroeni, Vincenzo Arceri |
Improving Dynamic Code Analysis by Code Abstraction.  |
VPT@ETAPS  |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev |
An Empirical Study of Partial Deduction for miniKanren. |
VPT@ETAPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Bendix Mikkelsen, Robert Glück, Maja H. Kirkeby |
An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion. |
VPT@ETAPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Lisitsa 0001, Andrei P. Nemytykh (eds.) |
Proceedings of the 9th International Workshop on Verification and Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th and 28th of March 2021. |
VPT@ETAPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonina Nepeivoda |
Program Specialization as a Tool for Solving Word Equations. |
VPT@ETAPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Moa Johansson, Nicholas Smallbone |
Conjectures, Tests and Proofs: An Overview of Theory Exploration. |
VPT@ETAPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei P. Lisitsa, Andrei P. Nemytykh |
Verification of Programs via Intermediate Interpretation. |
VPT@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff W. Hamilton |
Generating Loop Invariants for Program Verification by Transformation. |
VPT@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gyula Sallai, Ákos Hajdu, Tamás Tóth, Zoltán Micskei |
Towards Evaluating Size Reduction Techniques for Software Model Checking. |
VPT@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Lisitsa 0001, Andrei P. Nemytykh, Maurizio Proietti (eds.) |
Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017. |
VPT@ETAPS |
2017 |
DBLP BibTeX RDF |
|
| 1 | Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov |
From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation. |
VPT@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dániel Horpácsi, Judit Köszegi, Zoltán Horváth |
Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study. |
VPT@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Nys, Danny De Schreye |
Transforming Coroutining Logic Programs into Equivalent CHR Programs. |
VPT@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gergö Barany |
Hybrid Information Flow Analysis for Programs with Arrays. |
VPT@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dániel Horpácsi, Judit Köszegi, Simon J. Thompson |
Towards Trustworthy Refactoring in Erlang. |
VPT@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bishoksan Kafle, John P. Gallagher |
Interpolant tree automata and their application in Horn clause verification. |
VPT@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesh Kannan, Geoff W. Hamilton |
Program Transformation to Identify List-Based Parallel Skeletons. |
VPT@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Cohen |
Renaming Global Variables in C Mechanically Proved Correct. |
VPT@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir M. Ben-Amram, Aviad Pineles |
Flowchart Programs, Regular Expressions, and Decidability of Polynomial Growth-Rate. |
VPT@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonina Nepeivoda |
Turchin's Relation for Call-by-Name Computations: A Formal Approach. |
VPT@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff W. Hamilton |
Generating Counterexamples for Model Checking by Transformation. |
VPT@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff W. Hamilton, Alexei Lisitsa 0001, Andrei P. Nemytykh (eds.) |
Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016. |
VPT@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Lisitsa 0001, Andrei P. Nemytykh, Alberto Pettorossi (eds.) |
Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015. |
VPT@ETAPS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff W. Hamilton |
Verifying Temporal Properties of Reactive Systems by Transformation. |
VPT@ETAPS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei P. Lisitsa, Andrei P. Nemytykh |
Finite Countermodel Based Verification for Program Transformation (A Case Study). |
VPT@ETAPS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lester 0001 |
Control Flow Analysis for SF Combinator Calculus. |
VPT@ETAPS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bishoksan Kafle, John P. Gallagher, Pierre Ganty |
Decomposition by tree dimension in Horn clause verification. |
VPT@ETAPS |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license