Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "VPT/HCVS@ETAPS"( http://dblp.L3S.de/Venues/VPT/HCVS@ETAPS )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2020 (14)
Publication types (Num. hits)
inproceedings(13) proceedings(1)
Venues (Conferences, Journals, ...)
VPT/HCVS@ETAPS(14)
Authors
John P. Gallagher(2) Alain Finkel(1) Alberto Pettorossi(1) Alexis Grall(1) Bishoksan Kafle(1) C.-H. Luke Ong(1) Cynthia Kop(1) Dimitur Nikolaev Krustev(1) Dominique Méry(1) Emanuele De Angelis(1) Fabian Zaiser(1) Fabio Fioravanti(1) Geoff W. Hamilton(1) Horatiu Cirstea(1) Jakob Grue Simonsen(1) José F. Morales 0001(1) More (+10 of total 28)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García 0001, José F. Morales 0001 From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation. Search on Bibsonomy VPT/HCVS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Lorenzo Clemente On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars. Search on Bibsonomy VPT/HCVS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Robert Glück An Experiment Combining Specialization with Abstract Interpretation. Search on Bibsonomy VPT/HCVS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi A Historical Account of My Early Research Interests. Search on Bibsonomy VPT/HCVS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Neil D. Jones, Siddharth Bhaskar, Cynthia Kop, Jakob Grue Simonsen Cons-free Programs and Complexity Classes between LOGSPACE and PTIME. Search on Bibsonomy VPT/HCVS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Philipp Rümmer Competition Report: CHC-COMP-20. Search on Bibsonomy VPT/HCVS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Michael Leuschel Prolog for Verification, Analysis and Transformation Tools. Search on Bibsonomy VPT/HCVS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Fabian Zaiser, C.-H. Luke Ong The Extended Theory of Trees and Algebraic (Co)datatypes. Search on Bibsonomy VPT/HCVS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti Transformational Verification of Quicksort. Search on Bibsonomy VPT/HCVS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Dimitur Nikolaev Krustev Optimizing Program Size Using Multi-result Supercompilation. Search on Bibsonomy VPT/HCVS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Laurent Fribourg, Matthias Heizmann (eds.) Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020. Search on Bibsonomy VPT/HCVS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Geoff W. Hamilton Distilling Programs to Prove Termination. Search on Bibsonomy VPT/HCVS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Alain Finkel From Well Structured Transition Systems to Program Verification. Search on Bibsonomy VPT/HCVS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Horatiu Cirstea, Alexis Grall, Dominique Méry Generating Distributed Programs from Event-B Models. Search on Bibsonomy VPT/HCVS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license