Algebraic semantics of the modeling language AML

zbMATH Open0969.68105MaRDI QIDQ2719647

Baowen Xu, Guilan Dai

Publication date: 25 June 2001

Published in: Journal of Wuhan University. Natural Science Edition (Search for Journal in Brave)

zbMATH Keywords

AMLAdaobject-oriented modeling language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items (2)

Title not available (Why is that?) ⋮ A Structure-Exploiting Tool in Algebraic Modeling Languages

Uses Software

• Title not available (Why is that?)

This page was built for publication: Algebraic semantics of the modeling language AML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2719647)