Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4951808 | Science of Computer Programming | 2017 | 23 Pages |
Abstract
Given a specification R, it is common for a candidate program P to be doing more than R requires; this is not necessarily bad, and is often unavoidable, due to programming language constraints or to otherwise sensible design decisions. In this paper, we introduce a relational operator that captures, for a given specification R and candidate program P, the functionality delivered by P that is relevant to R. This operator, which we call the projection of P over R (for reasons we explain), has a number of interesting properties, which we explore in this paper.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Mili,