Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

8th VPT / 7th HCVS@ETAPS 2020

> Home > Conferences and Workshops > VPT
> Home > Conferences and Workshops > HCVS
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-02483
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02483
Laurent Fribourg, Matthias Heizmann:
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. EPTCS 320, 2020

VPT'20

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-02927
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02927
Alberto Pettorossi:
A Historical Account of My Early Research Interests. 1-28
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-04667
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-04667
Lorenzo Clemente:
On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars. 29-43
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-02929
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02929
Alain Finkel:
From Well Structured Transition Systems to Program Verification. 44-49
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-02931
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02931
John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales:
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation. 50-64
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-02932
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02932
Neil D. Jones, Siddharth Bhaskar, Cynthia Kop, Jakob Grue Simonsen:
Cons-free Programs and Complexity Classes between LOGSPACE and PTIME. 65-79
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-02933
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02933
Michael Leuschel:
Prolog for Verification, Analysis and Transformation Tools. 80-94
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-02934
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02934
Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti:
Transformational Verification of Quicksort. 95-109
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-02935
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02935
Horatiu Cirstea, Alexis Grall, Dominique Méry:
Generating Distributed Programs from Event-B Models. 110-124
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-04669
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-04669
Dimitur Nikolaev Krustev:
Optimizing Program Size Using Multi-result Supercompilation. 125-139
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-02936
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02936
Geoff W. Hamilton:
Distilling Programs to Prove Termination. 140-154
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-02937
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02937
John P. Gallagher, Robert Glück:
An Experiment Combining Specialization with Abstract Interpretation. 155-158

HCSV'20

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2005-06659
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-06659
Fabian Zaiser, C.-H. Luke Ong:
The Extended Theory of Trees and Algebraic (Co)datatypes. 167-196
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-02939
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02939
Philipp Rümmer:
Competition Report: CHC-COMP-20. 197-219

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.