An introduction to data representation synthesis
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is declarative and results in provably correct code. In our approach, abstract data types are specified using relational algebra and functional dependencies. We describe a language of decompos...
| Váldodahkkit: | , , , , |
|---|---|
| Eará dahkkit: | |
| Materiálatiipa: | Artihkal |
| Giella: | English |
| Almmustuhtton: |
Association for Computing Machinery (ACM)
2020
|
| Fáttát: | |
| Liŋkkat: | https://hdl.handle.net/1721.1/124647 |