%0 Journal Article %1 hoare_73_axiomatic %A Hoare, C. A. R. %A Wirth, N. %D 1973 %J Acta Informatica %K 1973 %N 4 %P 335--355 %R 10.1007/BF00289504 %T An axiomatic definition of the programming language PASCAL %U http://dx.doi.org/10.1007/BF00289504 %V 2 %X The axiomatic definition method proposed in reference 5 is extended and applied to define the meaning of the programming language PASCAL 1. The whole language is covered with the exception of real arithmetic and go to statements.

@article{hoare_73_axiomatic, abstract = {The axiomatic definition method proposed in reference [5] is extended and applied to define the meaning of the programming language PASCAL [1]. The whole language is covered with the exception of real arithmetic and go to statements.}, added-at = {2009-02-12T00:14:51.000+0100}, author = {Hoare, C. A. R. and Wirth, N.}, biburl = {https://www.bibsonomy.org/bibtex/261d2ca4727a3058b3e6c1bb86de36e07/leonardo}, citeulike-article-id = {3169813}, doi = {10.1007/BF00289504}, interhash = {c7a69f3676bb1266c816834558451ce8}, intrahash = {61d2ca4727a3058b3e6c1bb86de36e07}, journal = {Acta Informatica}, keywords = {1973}, month = {December}, number = 4, pages = {335--355}, posted-at = {2008-08-28 15:44:09}, priority = {2}, timestamp = {2009-02-12T00:14:51.000+0100}, title = {An axiomatic definition of the programming language PASCAL}, url = {http://dx.doi.org/10.1007/BF00289504}, volume = 2, year = 1973 }