Publication:3216111
From MaRDI portal
zbMath0553.68005MaRDI QIDQ3216111
Publication date: 1984
programming environments; context analysis; formal specification methods of programming languages; operator-operands compatability; program fragments
68Q60: Specification and verification (program logics, model checking, etc.)
68N99: Theory of software