Amanote Research
Register
Sign In
Automatic Reordering for Dataflow Safety of Datalog
doi 10.1145/3236950.3236954
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2018
Authors
Mistral Contrastin
Dominic Orchard
Andrew Rice
Publisher
ACM Press
Related search
A Framework for Testing Safety and Effective Computability of Extended Datalog
An Operational Semantics for Network Datalog
Monotonicity Types for Distributed Dataflow
On Abstraction Refinement for Program Analyses in Datalog
Arduino-Based Automatic Safety Vehicle Control
Top-Down Beats Bottom-Up for Constraint Extensions of Datalog
Fuzzy Datalog With Background Knowledge
Teaching Mathematics and Computer Science
Use of Automatic Identification System Data for Estimation of Marine Traffic Safety
Vestnik Gosudarstvennogo universiteta morskogo i rechnogo flota imeni admirala S. O. Makarova
Evaluation of Dataflow Programming Models for Electronic Structure Theory
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
