Generic facilities in object-oriented ASMs

DOI10.1007/3-540-44518-8_7MaRDI QIDQ2753704zbMATH OpenFDO

Authors Alexandre V. Zamulin

Publication date 11 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44518-8_7

zbMATH Keywords

generic object typesgeneric specificationsobject categories

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A language for generic programming in the large
• scientific article; zbMATH DE number 1534582
• Recursive and dynamic structures in generic programming
• Generic programming. IFIP TC2/WG2.1. Working conference on generic programming, July 11--12, 2002, Dagstuhl, Germany
• Xasm -- an extensible, component-based abstract state machines language

Cited in

(4)

• Amalgamating sessions and methods in object-oriented languages with generics
• On Some Problems in the Design of Plane Skeletal Structures
• Generic Components for Static Operations at Object Level
• The Algebraic Geometry of Motions of Bar-and-Body Frameworks

This page was built for publication: Generic facilities in object-oriented ASMs

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