default search action

combined dblp search
author search
venue search
publication search

ask others

4th VPT@ETAPS 2016: Eindhoven, The Netherlands

> Home > Conferences and Workshops > VPT
> 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/HamiltonLN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HamiltonLN16
Geoff W. Hamilton, Alexei Lisitsa, Andrei P. Nemytykh:
Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016. EPTCS 216, 2016
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Barany16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Barany16
Gergö Barany:
Hybrid Information Flow Analysis for Programs with Arrays. 5-23
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Ben-AmramP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Ben-AmramP14
Amir M. Ben-Amram, Aviad Pineles:
Flowchart Programs, Regular Expressions, and Decidability of Polynomial Growth-Rate. 24-49
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Cohen16c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Cohen16c
Julien Cohen:
Renaming Global Variables in C Mechanically Proved Correct. 50-64
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Hamilton16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Hamilton16
Geoff W. Hamilton:
Generating Counterexamples for Model Checking by Transformation. 65-82
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HorpacsiKT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HorpacsiKT16
Dániel Horpácsi, Judit Köszegi, Simon J. Thompson:
Towards Trustworthy Refactoring in Erlang. 83-103
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KafleG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KafleG16
Bishoksan Kafle, John P. Gallagher:
Interpolant tree automata and their application in Horn clause verification. 104-117
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KannanH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KannanH16
Venkatesh Kannan, Geoff W. Hamilton:
Program Transformation to Identify List-Based Parallel Skeletons. 118-136
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Nepeivoda16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Nepeivoda16
Antonina Nepeivoda:
Turchin's Relation for Call-by-Name Computations: A Formal Approach. 137-159

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.