scientific article; zbMATH DE number 3926286

zbMATH Open0578.68080MaRDI QIDQ3700872FDOQ3700872

Authors:

Publication date: 1985

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

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

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)

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 \(\varepsilon\)-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)