scientific article; zbMATH DE number 3926286

MaRDI QIDQ3700872zbMATH OpenFDO

Authors

Publication date 1985

zbMATH Keywords

automatic top-down approach to program developmentattribute closure for relational databasesformal problem specifications

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of software (68N99)

Recommendations

• Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study
• A mechanized translation from higher-order logic to set theory
• Towards a computation system based on set theory
• Efficient automated reasoning about sets and multisets with cardinality constraints
• ON THE COMPUTING POWER OF PROGRAMS WITH SETS
• STMM: A set theory for mechanized mathematics
• A translational approach to constraint answer set solving
• Publication:3490940

Cited in

(3)

• Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study
• Translating relational queries into iterative programs
• A derived algorithm for evaluating -expressions over abstract sets

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