Welcome to our book review site www.go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Devil
Abstract: "Devil is a support tool for the development language Deva [9]. Deva is a language in which one may describe formal calculi underlying program development methods and express formal proofs and developments. Devil provides an efficient support for Deva by several features such as an interactive user interface and theory compilation. The devil system exists in a textual version for alphanumeric terminals and in a graphical version for X-Window systems. This paper contains a description of the system -- focusing on the graphical version -- and its use."
