01068nam a2200301 i 450099100076441970753620020507173303.0950912s1981 de ||| | eng 3540108866b10754064-39ule_instLE01301975ExLDip.to Matematicaeng001.6425AMS 68N20Polak, Wolfgang534928Compiler specification and verification /Wolfgang PolakBerlin :Springer-Verlag,1981xiii, 269 p. :ill. ;25 cm."A revised version of my Ph.D. thesis" - pref.Bibliography: p. [146]-155CompilersComputer programs-verification.b1075406421-09-0628-06-02991000764419707536LE013 68N POL11 (1981)12013000035079le013-E0.00-l- 00000.i1084778928-06-02Compiler specification and verification911389UNISALENTOle01301-01-95ma -engde 01