scientific article; zbMATH DE number 3926271

MaRDI QIDQ3700859zbMATH OpenFDO

Authors Zoltán Ésik

Publication date 1984

zbMATH Keywords

context sensitive languagesURM programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 3845080
• A kernel language for programmed rewriting of (hyper)graphs
• scientific article; zbMATH DE number 3880077
• Structured algebraic specifications: A kernel language
• Kernel-LEAF: A logic plus functional language
• Kernels of sub-classes of context-free languages
• Towards verification of C programs: Axiomatic semantics of the C-kernel language
• Kleene modules and linear languages
• Operational semantics of a kernel of the language ELECTRE

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 Q3700859)