✦ LIBER ✦

Denotational semantics of ANSI C

✍ Scribed by Nikolaos S. Papaspyrou

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A denotational semantics for Handel-C

✍ Andrew Butterfield 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 253 KB

Extending CSP: denotational semantics

✍ Lawrence, A.E. 📂 Article 📅 2003 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 1016 KB

Denotational semantics of hybrid automat

✍ Abbas Edalat; Dirk Pattinson 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 321 KB

Denotational semantics of object specifi

✍ Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 450 KB

The denotational semantics of sequential

✍ Michael J.C. Gordon 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 334 KB

Denotational semantics of communicating

✍ Manfred Broy 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 349 KB