Slonneger. Formal syntax and semantics of programming languages [Електронний ресурс] : a laboratory based approach / Slonneger , Kenneth ; Kenneth Slonneger, Barry L. Kurtz. – Reading : Addison-Wesley Publishing Company, Inc., 1995. – 654 p. : іл. – ISBN 0-201-65697-3
- Електронна версія (pdf / 1,7 Mb)
Статистика використання: Завантажень: 0
Анотація:
This text developed out of our experiences teaching courses covering the
formal semantics of programming languages. Independently we both developed
laboratory exercises implementing small programming languages in
Prolog following denotational definitions. Prolog proved to be an excellent
tool for illustrating the formal semantics of programming languages. We
found that these laboratory exercises were highly successful in motivating
students since the hands-on experience helped demystify the study of formal
semantics. At a professional meeting we became aware of each other’s
experiences with a laboratory approach to semantics, and this book evolved
from that conference.
-// 1.Programming languages (Electronic computers)--Syntax.
2.Programming languages (Electronic computers)--Semantics. //-
formal semantics of programming languages. Independently we both developed
laboratory exercises implementing small programming languages in
Prolog following denotational definitions. Prolog proved to be an excellent
tool for illustrating the formal semantics of programming languages. We
found that these laboratory exercises were highly successful in motivating
students since the hands-on experience helped demystify the study of formal
semantics. At a professional meeting we became aware of each other’s
experiences with a laboratory approach to semantics, and this book evolved
from that conference.
-// 1.Programming languages (Electronic computers)--Syntax.
2.Programming languages (Electronic computers)--Semantics. //-