scientific article; zbMATH DE number 1117895
From MaRDI portal
Publication:4376792
Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Computing methodologies for text processing; mathematical typography (68U15) Parallel algorithms in computer science (68W10)
Recommendations
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 Q4376792)