✦ LIBER ✦

A comparative study of two formal semantics of the SIGNAL language

✍ Scribed by Yang, Zhibin; Bodeveix, Jean-Paul; Filali, Mamoun

Book ID: 121619456
Publisher: Springer-Verlag
Year: 2013
Tongue: English
Weight: 788 KB
Volume: 7
Category: Article
ISSN: 2095-2228
DOI: 10.1007/s11704-013-3908-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Consistent and complementary formal theo

Consistent and complementary formal theories of the semantics of programming languages

✍ C. A. R. Hoare; P. E. Lauer 📂 Article 📅 1974 🏛 Springer-Verlag 🌐 English ⚖ 907 KB

Formal Syntax and Semantics of Programmi

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

✍ Kenneth Slonneger, Barry L. Kurtz 📂 Library 📅 1994 🏛 Addison Wesley Longman 🌐 English ⚖ 2 MB

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach presents a panorama of techniques in formal syntax, operational semantics and formal semantics. Using a teaching/learning perspective rather than a research-oriented approach, an understanding of the meta-languages is

Formal semantics of an industrially appl

Formal semantics of an industrially applicable variant of the Specification and Description Language

✍ Grealish, C. 📂 Article 📅 2001 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 731 KB

A Comparative Study of Two First-Grade L

A Comparative Study of Two First-Grade Language Arts Programs

✍ William M. Kendrick and Clayton L. Bennett 📂 Article 📅 1966 🏛 International Reading Association 🌐 English ⚖ 777 KB

Towards Verification of C Programs. C-Li

Towards Verification of C Programs. C-Light Language and Its Formal Semantics

✍ V. A. Nepomniaschy; I. S. Anureev; I. N. Mikhailov; A. V. Promskii 📂 Article 📅 2002 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 93 KB

Formalization of Evidence: A Comparative

Formalization of Evidence: A Comparative Study

✍ Wang, Pei 📂 Article 📅 2009 🏛 De Gruyter Open Sp. z o.o. ⚖ 336 KB