scientific article; zbMATH DE number 176725

MaRDI QIDQ4036554zbMATH OpenFDO

Authors Val Breazu-Tannen, Ramesh Subrahmanyam

Publication date 18 May 1993

zbMATH Keywords

setslistsbagsback-and-forth translationsdeterministic and terminating evaluatorlogic for reasoning about the definedness of termsprogramming with primitive recursion over non-free datatypesrecursion free programsset-theoretic denotational semantics with partial functions

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Publication:3028319
• Logic Programs for Primitive Recursive Sets
• scientific article; zbMATH DE number 1140684
• Calculability and logic programs
• Logical foundations for programming semantics

Cited in

(16)

• Principles of programming with complex objects and collection types
• An algebra for pomsets.
• Query languages for bags and aggregate functions
• On the theory of bags and lists
• Relational programming laws in the tree, list, bag, set hierarchy
• A query language for NC
• An analysis of the Core-ML language: Expressive power and type reconstruction
• Push versus pull-based loop fusion in query engines
• Models of approximation in databases
• Domain-independent queries on databases with external functions
• Bag equivalence via a proof-relevant membership relation
• scientific article; zbMATH DE number 2090024 (Why is no real title available?)
• scientific article; zbMATH DE number 3845031 (Why is no real title available?)
• A query language for NC (extended abstract)
• Verifiable properties of database transactions
• A generic algebra for data collections based on constructive logic

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