scientific article; zbMATH DE number 6315451

zbMATH Open1307.68026MaRDI QIDQ5167100

Tibor Gregorics

Publication date: 9 July 2014

Title of this publication is not available (Why is that?)

zbMATH Keywords

enumeratorobject-oriented programmingprogramming theoremanalogous programming

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)

Related Items (1)

Levels of abstraction and the Turing test

Recommendations

• Calculus of equivalences of abstract programs 👍 👎
• A generalized mathematical theory of structured programming 👍 👎
• Abstraction in algorithmic logic 👍 👎
• Proofs, Programs and Abstract Complexity 👍 👎
• Proof Abstraction for Imperative Languages 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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