124 search results - page 1 / 25 » Relational analysis of algebraic datatypes |
SIGSOFT
2005
ACM
14 years 5 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
TAP
2010
Springer
13 years 10 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...
SAS
1993
Springer
13 years 9 months ago
1993
Springer
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
ICDE
2006
IEEE
14 years 6 months ago
2006
IEEE
To effectively support today's global economy, database systems need to manage data in multiple languages simultaneously. While current database systems do support the storag...
TACAS
1999
Springer
13 years 9 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...