scientific article; zbMATH DE number 2089401

MaRDI QIDQ3046764zbMATH OpenFDO

Authors Suad Alagić, Svetlana Kouznetsova

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2374/23740585.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1696907
• Behavioral subtyping relations for active objects
• On problems in polymorphic object-oriented languages with self types and matching
• Behavioural subtyping using invariants and constraints
• scientific article; zbMATH DE number 4115919

Cited in

(2)

• Slicing techniques for verification re-use
• Lazy behavioral subtyping

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