Klaus Didrich and Andreas Fett. Verifying OPAL --- Part II: Verifying in the large. Technical Report, Technische Universitat Berlin, 1994. to appear. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Integrating Algebraic Specification and Functional.. - Didrich, Exner, al. (1994) Self-citation (Didrich) (Correct)
....on the complete partial ordering of definedness of functional expressions, much as in the Logic of Computable Functions [Pau87] Closed formulas are used to state algebraic axiomatic laws, as in algebraic specification languages. A detailed proof calculus is currently under development ( DF94a, DF94b] and outlined in the full version of the paper. Algebraic laws are encapsulated in so called property parts, which are organized much in the same way as the functional parts. There is an external properties part, which contains the laws that are visible from the outside, and there is an ....
Klaus Didrich and Andreas Fett. Verifying OPAL --- Part II: Verifying in the large. Technical Report, Technische Universitat Berlin, 1994. to appear.
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