scientific article

zbMath0769.68080MaRDI QIDQ4036554

Ramesh Subrahmanyam, Val Breazu-Tannen

Publication date: 18 May 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items

Query languages for bags and aggregate functions, A query language for NC, Push versus pull-based loop fusion in query engines, A generic algebra for data collections based on constructive logic, Models of approximation in databases, Domain-independent queries on databases with external functions, A query language for NC (extended abstract), An analysis of the Core-ML language: Expressive power and type reconstruction, Principles of programming with complex objects and collection types, Verifiable properties of database transactions, An algebra for pomsets.