Axiomatic semantics for compiler verification

2016 ◽  
Author(s):  
Steven Schäfer ◽  
Sigurd Schneider ◽  
Gert Smolka
Keyword(s):  
Compiler Verification ◽  
Axiomatic Semantics

Nilsen, Don L. F. and Alleen Pace Nilsen. Language Play: An Introduction to Linguistics. Rowley, Mass.: Newbury House, 1978; Akmajian, Adrian, Richard A. Demers and Robert M. Harnish. Linguistics: An Introduction to Language and Communication. Cambridge, Mass.: M.I.T. Press, 1979; Binnick, Robert I. Modern Mongolian: A Transformational Syntax. Toronto: University of Toronto Press, 1979; Mulder, Jan W. F. and Sandor G. J. Hervey. The Strategy of Linguistics. Edinburgh: Scottish Academic Press, 1980; Hervey, Sandor G. J. Axiomatic Semantics: A Theory of Linguistic Semantics. Edinburgh: Scottish Academic Press, 1980Nilsen, Don L. F. and Alleen Pace Nilsen. Language Play: An Introduction to Linguistics. Rowley, Mass.: Newbury House, 1978. Pp. xii, 249.Akmajian, Adrian, Richard A. Demers and Robert M. Harnish. Linguistics: An Introduction to Language and Communication. Cambridge, Mass.: M.I.T. Press, 1979. Pp. xvii, 357. $11.95.Binnick, Robert I. Modern Mongolian: A Transformational Syntax. Toronto: University of Toronto Press, 1979. Pp. xix, 133.Mulder, Jan W. F. and Sandor G. J. Hervey. The Strategy of Linguistics. Edinburgh: Scottish Academic Press, 1980. Pp. v, 236. $17.50.Hervey, Sandor G. J. Axiomatic Semantics: A Theory of Linguistic Semantics. Edinburgh: Scottish Academic Press, 1980. Pp. xxvii, 313. $20.00.

1982 ◽  
Vol 38 (2) ◽  
pp. 380-381
Author(s):  
Marcel Danesi
Keyword(s):  
Academic Press ◽  
Language Play ◽  
University Of Toronto ◽  
Axiomatic Semantics ◽  
Language And Communication

Axiomatic semantics for “escape” statements

1991 ◽  
Vol 39 (1) ◽  
pp. 27-33 ◽  
Author(s):  
Ronald A. Olsson ◽  
Daniel T. Huang
Keyword(s):  
Axiomatic Semantics

scholarly journals The axiomatic semantics of programs based on Hoare's logic

1984 ◽  
Vol 21 (3) ◽  
pp. 293-320 ◽  
Author(s):  
J. A. Bergstra ◽  
J. V. Tucker
Keyword(s):  
Axiomatic Semantics

An axiomatic semantics for iocos_ conformance relation

2018 ◽  
Vol 100 ◽  
pp. 152-184 ◽  
Author(s):  
Carlos Gregorio-Rodríguez ◽  
Luis Llana ◽  
Rafael Martínez
Keyword(s):  
Axiomatic Semantics
Sign in / Sign up

Export Citation Format

Share Document