Generating collection transformations from proofs
<p>Nested relations, built up from atomic types via product and set types, form a rich data model. Over the last decades the nested relational calculus, NRC, has emerged as a standard language for defining transformations on nested collections. NRC is a strongly-typed functional language which...
Main Authors: | Benedikt, M, Pradic, P |
---|---|
Format: | Journal article |
Language: | English |
Published: |
Association for Computing Machinery
2021
|
Similar Items
-
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
by: Benedikt, M, et al.
Published: (2024) -
Generating plans from proofs
by: Benedikt, M, et al.
Published: (2016) -
Synthesizing nested relational queries from implicit specifications
by: Benedikt, MA, et al.
Published: (2023) -
TraNCE: transforming nested collections efficiently
by: Smith, JM, et al.
Published: (2021) -
Model and Proof Generation for Heap−Manipulating Programs
by: Brain, M, et al.
Published: (2014)