Proceedings of the 7th workshop on Programming languages meets program verification - PLPV '13
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450318600

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modular type-safety proofs in Agda

Proceedings of the 7th workshop on Programming languages meets program verification - PLPV '13 ◽

10.1145/2428116.2428120 ◽

2013 ◽

Cited By ~ 6

Author(s):

Christopher Schwaab ◽

Jeremy G. Siek

Keyword(s):

Type Safety

Download Full-text

A static cost analysis for a higher-order language

Proceedings of the 7th workshop on Programming languages meets program verification - PLPV '13 ◽

10.1145/2428116.2428123 ◽

2013 ◽

Cited By ~ 17

Author(s):

Norman Danner ◽

Jennifer Paykin ◽

James S. Royer

Keyword(s):

Cost Analysis ◽

Higher Order ◽

Order Language

Download Full-text

Temporal logic with "Until", functional reactive programming with processes, and concrete process categories

Proceedings of the 7th workshop on Programming languages meets program verification - PLPV '13 ◽

10.1145/2428116.2428128 ◽

2013 ◽

Cited By ~ 12

Author(s):

Wolfgang Jeltsch

Keyword(s):

Temporal Logic ◽

Functional Reactive Programming ◽

Reactive Programming

Download Full-text

Towards formal verification of TLS network packet processing written in C

Proceedings of the 7th workshop on Programming languages meets program verification - PLPV '13 ◽

10.1145/2428116.2428124 ◽

2013 ◽

Cited By ~ 5

Author(s):

Reynald Affeldt ◽

Nicolas Marti

Keyword(s):

Formal Verification ◽

Packet Processing

Download Full-text

Compiling contextual objects

Proceedings of the 7th workshop on Programming languages meets program verification - PLPV '13 ◽

10.1145/2428116.2428121 ◽

2013 ◽

Cited By ~ 2

Author(s):

Francisco Ferreira ◽

Stefan Monnier ◽

Brigitte Pientka

Download Full-text

Causality for free!

Proceedings of the 7th workshop on Programming languages meets program verification - PLPV '13 ◽

10.1145/2428116.2428127 ◽

2013 ◽

Cited By ~ 9

Author(s):

Alan Jeffrey

Download Full-text

Automated analysis of rule-based access control policies

Proceedings of the 7th workshop on Programming languages meets program verification - PLPV '13 ◽

10.1145/2428116.2428125 ◽

2013 ◽

Cited By ~ 2

Author(s):

Clara Bertolissi ◽

Worachet Uttha

Keyword(s):

Access Control ◽

Automated Analysis ◽

Control Policies ◽

Rule Based ◽

Access Control Policies

Download Full-text

Idris

Proceedings of the 7th workshop on Programming languages meets program verification - PLPV '13 ◽

10.1145/2428116.2428118 ◽

2013 ◽

Cited By ~ 8

Author(s):

Edwin C. Brady

Download Full-text

Proceedings of the 7th workshop on Programming languages meets program verification - PLPV '13Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Modular type-safety proofs in Agda

A static cost analysis for a higher-order language

Temporal logic with "Until", functional reactive programming with processes, and concrete process categories

Towards formal verification of TLS network packet processing written in C

Compiling contextual objects

Causality for free!

Automated analysis of rule-based access control policies

Idris

Proceedings of the 7th workshop on Programming languages meets program verification - PLPV '13
Latest Publications