|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the 9th International Workshop on Verification and Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th and 28th of March 2021., pp. 17-32, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev |
An Empirical Study of Partial Deduction for miniKanren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the 9th International Workshop on Verification and Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th and 28th of March 2021., pp. 73-94, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the 9th International Workshop on Verification and Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th and 28th of March 2021., pp. 33-41, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antonina Nepeivoda |
Program Specialization as a Tool for Solving Word Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the 9th International Workshop on Verification and Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th and 28th of March 2021., pp. 42-72, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Moa Johansson, Nicholas Smallbone |
Conjectures, Tests and Proofs: An Overview of Theory Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the 9th International Workshop on Verification and Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th and 28th of March 2021., pp. 1-16, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexei P. Lisitsa, Andrei P. Nemytykh |
Verification of Programs via Intermediate Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 54-74, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Geoff W. Hamilton |
Generating Loop Invariants for Program Verification by Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 36-53, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 75-91, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov |
From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 109-123, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 92-108, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Nys, Danny De Schreye |
Transforming Coroutining Logic Programs into Equivalent CHR Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 9-35, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gergö Barany |
Hybrid Information Flow Analysis for Programs with Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016., pp. 5-23, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dániel Horpácsi, Judit Köszegi, Simon J. Thompson |
Towards Trustworthy Refactoring in Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016., pp. 83-103, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bishoksan Kafle, John P. Gallagher |
Interpolant tree automata and their application in Horn clause verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016., pp. 104-117, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesh Kannan, Geoff W. Hamilton |
Program Transformation to Identify List-Based Parallel Skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016., pp. 118-136, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Julien Cohen |
Renaming Global Variables in C Mechanically Proved Correct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016., pp. 50-64, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amir M. Ben-Amram, Aviad Pineles |
Flowchart Programs, Regular Expressions, and Decidability of Polynomial Growth-Rate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016., pp. 24-49, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Antonina Nepeivoda |
Turchin's Relation for Call-by-Name Computations: A Formal Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016., pp. 137-159, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Geoff W. Hamilton |
Generating Counterexamples for Model Checking by Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016., pp. 65-82, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Geoff W. Hamilton |
Verifying Temporal Properties of Reactive Systems by Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015., pp. 33-49, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexei P. Lisitsa, Andrei P. Nemytykh |
Finite Countermodel Based Verification for Program Transformation (A Case Study). ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015., pp. 15-32, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lester 0001 |
Control Flow Analysis for SF Combinator Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015., pp. 51-67, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bishoksan Kafle, John P. Gallagher, Pierre Ganty |
Decomposition by tree dimension in Horn clause verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015., pp. 1-14, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|