Using RSCRIPT for Software Analysis

RSCRIPT is a concept language that explores the design space of relation-based languages for software analysis. The authors briefly sketch the RSCRIPT language by way of a standard example, summarize their experience, and point at future developments. Car designers make concept cars to illustrate the direction in which their designs are evolving and to provoke responses from future customers. In this same sense, RSCRIPT is a concept language that explores the design space of relation-based languages for software analysis. In this paper, they will sketch the RSCRIPT language by way of a standard example, summarize their experience, and point at future developments.