Journal article icon

Journal article

Consistent and Complementary Formal Theories of the Semantics of Programming Languages

Actions


Authors


C.A.R. Hoare More by this author
P.E. Lauer More by this author
Journal:
Acta Informatica
Volume:
3
Issue:
2
Pages:
135-153
Publication date:
1974
URN:
uuid:cc2a21cd-c83e-48db-8229-92ed2f43f6f3
Local pid:
cs:8228

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP