Weakest Precondition for General Recursive Programs Formalized in Coq

Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

2 Citations (Scopus)

Original language	English
Title of host publication	15^th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2002)
Place of Publication	Hampton, Virginia, USA
Publisher	Springer-Verlag Berlin Heidelberg
Pages	332-348
Number of pages	17
Publication status	Published - 2002

Cite this

@inbook{4615e0c23d70456bbbb86c5c4ee06053,

title = "Weakest Precondition for General Recursive Programs Formalized in Coq",

author = "Xingyuan Zhang and Malcolm Munro and Mark Harman and Lin Hu",

note = "LNCS 2410",

year = "2002",

language = "English",

pages = "332--348",

booktitle = "15th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2002)",

publisher = "Springer-Verlag Berlin Heidelberg",

}

Weakest Precondition for General Recursive Programs Formalized in Coq. / Zhang, Xingyuan; Munro, Malcolm; Harman, Mark et al.
15^th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2002). Hampton, Virginia, USA: Springer-Verlag Berlin Heidelberg, 2002. p. 332-348.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

TY - CHAP

T1 - Weakest Precondition for General Recursive Programs Formalized in Coq

AU - Zhang, Xingyuan

AU - Munro, Malcolm

AU - Harman, Mark

AU - Hu, Lin

N1 - LNCS 2410

PY - 2002

Y1 - 2002

M3 - Conference paper

SP - 332

EP - 348

BT - 15th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2002)

PB - Springer-Verlag Berlin Heidelberg

CY - Hampton, Virginia, USA

ER -