scientific article; zbMATH DE number 176725

zbMATH Open0769.68080MaRDI QIDQ4036554FDOQ4036554

Authors: Val Breazu-Tannen, Ramesh Subrahmanyam 

Publication date: 18 May 1993

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

Recommendations

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

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)

Cited In (16)

• A generic algebra for data collections based on constructive logic
• An analysis of the Core-ML language: Expressive power and type reconstruction
• Verifiable properties of database transactions
• Query languages for bags and aggregate functions
• Title not available (Why is that?)
• Relational programming laws in the tree, list, bag, set hierarchy
• On the theory of bags and lists
• Domain-independent queries on databases with external functions
• An algebra for pomsets.
• Principles of programming with complex objects and collection types
• A query language for NC (extended abstract)
• Push versus pull-based loop fusion in query engines
• A query language for NC
• Models of approximation in databases
• Bag equivalence via a proof-relevant membership relation
• 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 Q4036554)