Laboratory activities for studying the formal semantics of programming languages

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kurtz, Barry L.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Social and professional topics > Professional topics > Computing education > Computing education programs > Computer science education Software and its engineering > Software notations and tools > General programming languages > Language types Theory of computation > Logic > Constraint and logic programming Theory of computation > Semantics and reasoning > Program reasoning > Parsing Theory of computation > Semantics and reasoning > Program semantics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!