Datatypes with shared selectors

DOI10.1007/978-3-319-94205-6_39OpenAlexW2811385959MaRDI QIDQ1799121

Andrew Reynolds, Clark Barrett, Haniel Barbosa, Cesare Tinelli, Arjun Viswanathan

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94205-6_39

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (4)

Synthesising programs with non-trivial constants ⋮ Syntax-guided quantifier instantiation ⋮ Polite combination of algebraic datatypes ⋮ Politeness for the theory of algebraic datatypes

Uses Software

• Dafny
• Isabelle/HOL
• SMT-LIB
• z3
• Sledgehammer
• StarExec
• Leon
• CVC4

This page was built for publication: Datatypes with shared selectors