default search action

combined dblp search
author search
venue search
publication search

ask others

2nd VPT@CAV 2014: Vienna, Austria

> Home > Conferences and Workshops > VPT
> Home > Conferences and Workshops > CAV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ easychair.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cav/2014vpt
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2014vpt
Alexei Lisitsa, Andrei P. Nemytykh:
VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014. EPiC Series in Computing 28, EasyChair 2014
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/Leuschel14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Leuschel14
Michael Leuschel:
Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools. 1
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GleissenthallRB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GleissenthallRB14
Klaus von Gleissenthall, Andrey Rybalchenko, Santiago Zanella Béguelin:
Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk). 2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AngelisFPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AngelisFPP14
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. 3-18
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FruminL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FruminL14
Daniil Frumin, Irina A. Lomazova:
Branching Processes of Conservative Nested Petri Nets. 19-35
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/HamiltonS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HamiltonS14
Geoff W. Hamilton, Morten Heine Sørensen:
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem. 36-51
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LisitsaN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LisitsaN14
Alexei Lisitsa, Andrei P. Nemytykh:
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? 52-65
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/Nemytykh14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Nemytykh14
Andrei P. Nemytykh:
On Unfolding for Programs Using Strings as a Data Type. 66-83
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/Nepeivoda14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Nepeivoda14
Antonina Nepeivoda:
Verification of Multi-Party Ping-Pong Protocols via Program Transformation. 84-98
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/Sewell14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Sewell14
Thomas Sewell:
Formal Replay of Translation Validation for Highly Optimised C. 99-111

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.