scientific article; zbMATH DE number 3825149
From MaRDI portal
Publication:3670542
zbMATH Open0521.68024MaRDI QIDQ3670542FDOQ3670542
Authors: Harald Ganzinger 
Publication date: 1983
Title of this publication is not available (Why is that?)
abstract data type theoryKnuth's attribute grammarscontrol constructstype conceptbinding of identifiers
Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3670542)
