G. Schellhorn and W. Ahrendt. Verification of a prolog compiler - first steps with kiv. Technical Report 27, Universitat Karlsruhe, Fakultat fur Informatik, 1996.  Home/Search   Document Details and Download   Summary   Related Articles

.... directly in the EAs framework, as shown in [2, 7, 5] At the moment at the University of L Aquila we are designing an interactive Montages tool in which we would like to integrate the features of a CASE like instrument and those of the automatic support for formal reasoning (as investigated in [17, 22]) The solution for the static aspects of our approach has some similarities with attribute grammars [14] which have been introduced to include semantics in context free grammars. Although in certain cases they may be executed very efficiently, we preferred not to use them for the following ....

G. Schellhorn and W. Ahrendt. Verification of a prolog compiler - first steps with kiv. Technical Report 27, Universitat Karlsruhe, Fakultat fur Informatik, 1996.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC