Proceedings of the 3rd workshop on Programming languages meets program verification - PLPV '09
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605583303

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Challenge proposal

Proceedings of the 3rd workshop on Programming languages meets program verification - PLPV '09 ◽

10.1145/1481848.1481859 ◽

2008 ◽

Cited By ~ 8

Author(s):

Max Schäfer ◽

Torbjörn Ekman ◽

Oege de Moor

Download Full-text

Positively dependent types

Proceedings of the 3rd workshop on Programming languages meets program verification - PLPV '09 ◽

10.1145/1481848.1481851 ◽

2008 ◽

Cited By ~ 4

Author(s):

Daniel R. Licata ◽

Robert Harper

Keyword(s):

Dependent Types

Download Full-text

Language-agnostic specification and verification

Proceedings of the 3rd workshop on Programming languages meets program verification - PLPV '09 ◽

10.1145/1481848.1481849 ◽

2008 ◽

Author(s):

Manuel A. Fähndrich

Keyword(s):

Specification And Verification

Download Full-text

Refinement types and computational duality

Proceedings of the 3rd workshop on Programming languages meets program verification - PLPV '09 ◽

10.1145/1481848.1481852 ◽

2008 ◽

Cited By ~ 2

Author(s):

Noam Zeilberger

Keyword(s):

Refinement Types

Download Full-text

Verified programming in Guru

Proceedings of the 3rd workshop on Programming languages meets program verification - PLPV '09 ◽

10.1145/1481848.1481856 ◽

2008 ◽

Cited By ~ 13

Author(s):

Aaron Stump ◽

Morgan Deters ◽

Adam Petcher ◽

Todd Schiller ◽

Timothy Simpson

Download Full-text

Embedding a logical theory of constructions in Agda

Proceedings of the 3rd workshop on Programming languages meets program verification - PLPV '09 ◽

10.1145/1481848.1481857 ◽

2008 ◽

Cited By ~ 3

Author(s):

Ana Bove ◽

Peter Dybjer ◽

Andrés Sicard-Ramírez

Keyword(s):

Logical Theory

Download Full-text

Compositional reasoning and decidable checking for dependent contract types

Proceedings of the 3rd workshop on Programming languages meets program verification - PLPV '09 ◽

10.1145/1481848.1481853 ◽

2008 ◽

Cited By ~ 9

Author(s):

Kenneth Knowles ◽

Cormac Flanagan

Keyword(s):

Compositional Reasoning

Download Full-text

Type invariants for Haskell

Proceedings of the 3rd workshop on Programming languages meets program verification - PLPV '09 ◽

10.1145/1481848.1481855 ◽

2008 ◽

Cited By ~ 1

Author(s):

Tom Schrijvers ◽

Louis-Julien Guillemette ◽

Stefan Monnier

Download Full-text

Pragmatic equivalence and safety checking in Cryptol

Proceedings of the 3rd workshop on Programming languages meets program verification - PLPV '09 ◽

10.1145/1481848.1481860 ◽

2008 ◽

Cited By ~ 6

Author(s):

Levent Erkök ◽

John Matthews

Keyword(s):

Pragmatic Equivalence

Download Full-text

Proceedings of the 3rd workshop on Programming languages meets program verification - PLPV '09Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Challenge proposal

Positively dependent types

Language-agnostic specification and verification

Refinement types and computational duality

Verified programming in Guru

Embedding a logical theory of constructions in Agda

Compositional reasoning and decidable checking for dependent contract types

Type invariants for Haskell

Pragmatic equivalence and safety checking in Cryptol

Proceedings of the 3rd workshop on Programming languages meets program verification - PLPV '09
Latest Publications