Sequential relational decomposition
The concept of decomposition in computer science and engineering is considered a fundamental component of computational thinking and is prevalent in design of algorithms, software construction, hardware design, and more. We propose a simple and natural formalization of sequential decomposition, in w...
Main Authors: | , , , |
---|---|
Format: | Conference item |
Published: |
Association for Computing Machinery
2018
|