scientific article; zbMATH DE number 578226

zbMATH Open0821.68025MaRDI QIDQ4293532FDOQ4293532

Authors: Jeffrey D. Ullman 

Publication date: 29 May 1994

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 578225
• scientific article; zbMATH DE number 49256
• scientific article; zbMATH DE number 400801

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)

• Should ML be object-oriented?
• Enhancing dependency pair method using strong computability in simply-typed term rewriting
• Title not available (Why is that?)
• Formal compiler construction in a logical framework
• Title not available (Why is that?)
• Software modeling and analysis using a hierarchical object-oriented Petri net
• Polymorphic type inference for the relational algebra
• Title not available (Why is that?)
• ML
• Modelling and analysis of distributed program execution in BETA using coloured Petri nets
• The Soccer-Fun project

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)