The Choice Construct in the Soufflé Language

DOI10.1007/978-3-030-89051-3_10zbMath1520.68019MaRDI QIDQ6488150

Unnamed Author, Unnamed Author, XiaoWen Hu, Xi Wu, David Zhao, Bernhard Scholz

Publication date: 29 March 2023

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• A strong-connectivity algorithm and its applications in data flow analysis
• Programming with non-determinism in deductive databases
• A lattice-theoretical fixpoint theorem and its applications
• Datalog and Logic Databases
• Characterizations of Reducible Flow Graphs
• A Simple Algorithm for Global Data Flow Analysis Problems
• Greedy algorithms in Datalog
• Semantics and expressive power of nondeterministic constructs in deductive databases

This page was built for publication: The Choice Construct in the Soufflé Language