C.A.R. Hoare and J. He. Unifying Theories of Programming. Prentice-Hall, 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Contract-oriented Approach to CBP - Jifeng, Zhiming, Xiaoshan (2003) (1 citation) Self-citation (Jifeng) (Correct)
No context found.
C.A.R. Hoare anfd He Jifeng, \Unifying Theories of Programming," Prentice Hall, (1998).
A Semantic Foundation for TCOZ in Unifying Theories of.. - Jin Song Dong (Correct)
No context found.
C.A.R. Hoare and J. He. Unifying Theories of Programming. Prentice-Hall, 1998.
Code Normal Forms - Markus Pizka Institut (Correct)
No context found.
C. A. R. Hoare and H. Jifeng, Unifying Theories of Programming. Prentice Hall, 1998.
JACK: A process algebra implementation in Java - Freitas (2002) (Correct)
No context found.
C.A.R Hoare and Hi Jfeng. Unifying Theories of Programming. Prentice Hall, 1998.
Models for Data-Flow Sequential Processes - Josephs (2001) (Correct)
No context found.
C.A.R. Hoare, He Jifeng. Unifying Theories of Programming. Prentice Hall, 1998.
Compositional Reasoning for Pointer Structures - Chen, Sanders (Correct)
No context found.
C. A. R. Hoare and J. He. Unifying Theories of Programming. Prentice Hall, 1998.
Hierarchical Organisation of Predicate-Semantic Models - Chen (Correct)
No context found.
C. A. R. Hoare and J. He. Unifying Theories of Programming. Prentice Hall, 1998.
A fixpoint theory for non-monotonic parallelism - Chen (2002) (Correct)
No context found.
C.A.R. Hoare, J. He, Unifying Theories of Programming,Prentice-Hal, Engltice Cllt NJ, 1998.
Generic Composition - Chen (2002) (Correct)
No context found.
C.A.R. Hoare and J. He. Unifying Theories of Programming. Prentice Hall, 1998.
Generating Bsplib-C Code From Logs Specifications - Zhou, Chen (Correct)
No context found.
C. A. R. Hoare and J. He. Unifying Theories of Programming. Prentice Hall, 1998.
Integrating Temporal Logics - Chen, Liu (2004) (1 citation) (Correct)
No context found.
C. A. R. Hoare and J. He. Unifying Theories of Programming. Prentice Hall, 1998.
A Predicative Semantics of Objects and References - Chen (Correct)
No context found.
C. A. R. Hoare and J. He. Unifying Theories of Programming. Prentice Hall, 1998.
On Modular Pluggable Analyses Using Set Interfaces - Lam, Kuncak, Rinard (2003) (Correct)
No context found.
C. A. R. Hoare and He Jifeng. Unifying Theories of Programming. Prentice-Hall, Inc., 1998.
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Tony Hoare and He Jifeng. Unifying Theories of Programming. Prentice-Hall International, 1998.
On Modular Pluggable Analyses Using Set Interfaces - Lam, Kuncak, Rinard (2003) (Correct)
No context found.
C. A. R. Hoare and He Jifeng. Unifying Theories of Programming. Prentice-Hall, Inc., 1998.
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Tony Hoare and He Jifeng. Unifying Theories of Programming. Prentice-Hall International, 1998.
A Framework for Translating Models and - Specifications Shmuel Katz (Correct)
No context found.
C.A.R. Hoare and He Jifeng. Unifying Theories of Programming. Prentice-Hall, 1998.
Algebraic Reasoning for Object-Oriented Programming - Borba, Sampaio, Cavalcanti, .. (2004) (Correct)
No context found.
C. A. R. Hoare and J. He. Unifying Theories of Programming. PrenticeHall, 1998.
A Refinement Algebra for Object-Oriented Programming - Borba, Sampaio, Cornelio (2003) (1 citation) (Correct)
No context found.
Hoare, C., Jifeng, H.: Unifying Theories of Programming. Prentice Hall (1998)
A Relational Model for Formal Object-Oriented Requirement.. - Liu, Jifeng, Li, Chen (2003) (4 citations) (Correct)
No context found.
C.A.R. Hoare and J. He. Unifying theories of programming. Prentice-Hall International, 1998.
A Formal Semantics of UML Sequence Diagrams - Li, Liu, Jifeng (2004) (1 citation) (Correct)
No context found.
C.A.R. Hoare and J. He. Unifying theories of programming. Prentice-Hall International, 1998.
Unifying Views of UML - Liu, al. (2003) (1 citation) (Correct)
No context found.
C.A.R. Hoare and J. He. Unifying Theories of Programming. Prentice-Hall, 1998.
Linking UML Models of Design and Requirement - Liu, Liu, Jifeng, Li (2004) (2 citations) (Correct)
No context found.
C.A.R. Hoare and J. He. Unifying theories of programming. Prentice-Hall International, 1998.
Integrating Temporal Logics - Chen, al. (2004) (1 citation) (Correct)
No context found.
C. A. R. Hoare and J. He. Unifying Theories of Programming. Prentice Hall, 1998.
An Optimal Approach to Hardware/software Partitioning.. - Geguang, Yi, Van.. (2003) (1 citation) (Correct)
No context found.
C. A. R. Hoare and He Jifeng. Unifying Theories of Programming. Prenticel Hall, 1998.
First 50 documents Next 50
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