scientific article; zbMATH DE number 3798995

zbMath0506.68018MaRDI QIDQ4743717

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

Publication date: 1983

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

programming languagesclassesblock structuredmethods of implementationSimula 67

Mathematics Subject Classification ID

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

Related Items (1)

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

Uses Software

• Simula 67

This page was built for publication: