Back to Results
First PageMeta Content
Metalogic / Universal algebra / Formal languages / Structure / Interpretation / Parity of a permutation / Substructure / Hoare logic / Goto / Mathematics / Model theory / Mathematical logic


SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology
Add to Reading List

Document Date: 2005-11-01 12:39:40

Open Document

File Size: 269,30 KB

Share Result on Facebook

City

Tallinn / /

Currency

SOS / /

/

Facility

Store =df Var / Institute of Cybernetics / Tallinn University of Technology Akadeemia / /

IndustryTerm

software / /

Organization

Estonian Science Foundation / Tallinn University of Technology Akadeemia / Institute of Cybernetics / European Union / /

Position

loop guard / guard / /

Technology

dom / /

URL

www.elsevier.nl/locate/entcs / /

SocialTag