scientific article; zbMATH DE number 3798995

MaRDI QIDQ4743717zbMATH OpenFDO

Authors Wieslawa M. Bartol, Antoni Kreczmar, Andrzej I. Litwiniuk, Hanna Oktaba

Publication date 1983

zbMATH Keywords

block structuredclassesmethods of implementationprogramming languagesSimula 67

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions

Describes a project that uses

Uses Software

• Simula 67

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