scientific article; zbMATH DE number 4164121

MaRDI QIDQ3490927zbMATH OpenFDO

Authors Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis

Publication date 1989

zbMATH Keywords

programming language OBJ

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Programming with equalities, subsorts, overloading, and parametrization in OBJ
• scientific article; zbMATH DE number 4074445
• scientific article; zbMATH DE number 3976295
• scientific article; zbMATH DE number 1231658
• scientific article; zbMATH DE number 4090765

Cited in

(6)

• Parameterized Programming
• scientific article; zbMATH DE number 3976295 (Why is no real title available?)
• scientific article; zbMATH DE number 4090765 (Why is no real title available?)
• Programming with equalities, subsorts, overloading, and parametrization in OBJ
• Dynamic overloading with copy semantics in object-oriented languages: a formal account
• Incremental proofs of termination, confluence and sufficient completeness of OBJ specifications

Describes a project that uses

Uses Software

• LISP

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