Paper: Hoare Logic for Lambda-Terms as Basis of Hoare Logic for Imperative Languages (at LICS 1987)
Authors: Andreas GoerdtAbstract
No Abstract Available
BibTeX
@InProceedings{Goerdt-HoareLogicforLambda, author = {Andreas Goerdt}, title = {Hoare Logic for Lambda-Terms as Basis of Hoare Logic for Imperative Languages}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {293--299 }, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }