Type inference for datalog with complex type hierarchies

DOI10.1145/1706299.1706317zbMath1312.68036OpenAlexW2103838931MaRDI QIDQ5255069

Oege de Moor, Max Schäfer

Publication date: 11 June 2015

Published in: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1706299.1706317

zbMATH Keywords

type systemDatalogtype inference

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Semantic query optimization in the presence of types

Uses Software

• Datalog

This page was built for publication: Type inference for datalog with complex type hierarchies