Wuuyang Cis Nctu tjV"P< 's (Wuu Yang) u_.h1 Bbl|<2, QOy"pP<...  Home/Search
Context
Related
| nctu.edu.tw/~wuuyang/paper...axiomHZ.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nctu.edu.tw/~wuuyang/./pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: is free for x in A) t E5. #(x)(A # # #(x)B), w2 A .LS A x t E6. t E7. (A(x, x) A(x, y))) t E8. f(x) = f(y)) Rd+ I1. (modus ponens) * A D A B, BbJR) B, w2 A D B JuLS## (well-formed formulae) Rd+ I2. ( Z") * A, BbJR) #(x)A, w2 A Ju LS##, 7/ x JuLSo/oob ,#_t_Rd+, uLS_xk#x#q |(_t, + uV2#H = J,2udLSx###xkF@xe`KwFx###5 xk -s# APPLE D DECL, }#h#bU fbU H U htDR d+ Bb-#}#_xk APPLE #2Ab<, APPLE ##j #HU =, j successor fbU, j + fbU Bb...d5# #_xk DECL V2 P<,... (Update)
Active bibliography (related documents): More All
0.0: Software Specification: A Comparison of Formal Methods - Gannon, Purtilo, Zelkowitz (2001) (Correct)
0.0: Should Your Specification Language Be Typed? - Lamport, Paulson (1998) (Correct)
0.0: Role of Verification in the Software Specification Process - Zelkowitz (1998) (Correct)
Similar documents based on text: More All
0.3: Java Message Passing Package - A Design and Implementation.. - Yi-Peng Chen And (Correct)
0.3: Discovering Anomalies In Access Modifiers In Java With A Formal.. - Yang (1998) (Correct)
0.3: Multi-Plan Attribute Grammars - Yang (Correct)
BibTeX entry: (Update)
@misc{ nctu-tjvp,
author = "Wuuyang Cis Nctu",
title = "tjV"P< 's (Wuu Yang)",
url = "citeseer.ist.psu.edu/612099.html" }
Citations (may not include all citations):650 An axiomatic basis for computer programming (context) - Hoare - 1969 ACM DBLP
275 The Science of Programming (context) - Gries - 1981
74 The algebraic specification of abstract data types (context) - Guttag, Horning - 1978 DBLP
1 An Introduction to Mathematical Logic (context) - Hodel - 1995
1 The Essence of Logic (context) - Kelly - 1997 ACM
Documents on the same site (http://www.cis.nctu.edu.tw/~wuuyang/./pub.html): More
Java Message Passing Package - A Design and Implementation.. - Yi-Peng Chen And (Correct)
A Simple Tree Pattern-Matching Algorithm - Hsiao-Tzu Lu Wuu (Correct)
Ambiguities in Java - Jien-Tsai Chan And (2002) (Correct)
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