Publications

Proof-Carrying Code in a Session-Typed Process Calculus

AuthID
P-008-16X

Author(s)

Pfenning, F

Caires, L

Toninho, B

Editor(s)

Jean-Pierre Jouannaud; Zhong Shao

Document Type

Proceedings Paper

Year published

2011

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7086 LNCS, Pages: 21-36

Conference

1St International Conference on Certified Programs and Proofs, Cpp 2011, Date: 7 December 2011 through 9 December 2011, Location: Kenting, Sponsors: Academia Sinica;National Taiwan University;Tsinghua Univ. (Inst. Adv. Study Softw. Chair);National Science Council

Indexing