Semantic subtyping with an SMT solver

DOI10.1145/1863543.1863560zbMath1323.68096OpenAlexW2097959001MaRDI QIDQ5176932

Cătălin Hriţcu, Andrew D. Gordon, David E. Langworthy, G. M. Bierman

Publication date: 5 March 2015

Published in: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

zbMATH Keywords

data processingtype systemssatisfiability modulo theoriessemantic subtyping

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Semantic subtyping with an SMT solver ⋮ Type-Based Access Control in Data-Centric Systems ⋮ Unnamed Item

This page was built for publication: Semantic subtyping with an SMT solver