Polite Combination of Algebraic Datatypes
Abstract Algebraic datatypes, and among them lists and trees, have attracted a lot of interest in automated reasoning and Satisfiability Modulo Theories (SMT). Since its latest stable version, the SMT-LIB standard defines a theory of algebraic datatypes, which is currently supported by several mains...
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Springer Netherlands,
2022-07-11T14:31:23Z.
|
| Subjects: | |
| Online Access: | Get fulltext |