scientific article; zbMATH DE number 578226

MaRDI QIDQ4293532zbMATH OpenFDO

Authors Jeffrey D. Ullman

Publication date 29 May 1994

zbMATH Keywords

Meta-Language

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Cited in

(11)

• Modelling and analysis of distributed program execution in BETA using coloured Petri nets
• The Soccer-Fun project
• scientific article; zbMATH DE number 2090729 (Why is no real title available?)
• Enhancing dependency pair method using strong computability in simply-typed term rewriting
• scientific article; zbMATH DE number 958048 (Why is no real title available?)
• ML
• Formal compiler construction in a logical framework
• Software modeling and analysis using a hierarchical object-oriented Petri net
• Should ML be object-oriented?
• scientific article; zbMATH DE number 49256 (Why is no real title available?)
• Polymorphic type inference for the relational algebra

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