A relational model for object-oriented designs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Saved in:
Main Authors: | Jifeng, H., Liu, Z., Li, X., Qin, S. |
---|---|
Other Authors: | SINGAPORE-MIT ALLIANCE |
Format: | Article |
Published: |
2014
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/114611 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
A semantic foundation for TCOZ in unifying theories of programming
by: Qin, S., et al.
Published: (2013) -
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
by: Shi, Ling, et al.
Published: (2020) -
XDO2: An XML deductive object-oriented query language
by: ZHANG WEI
Published: (2010) -
A Logical Foundation for Deductive Object-Oriented Databases
by: Liu, M., et al.
Published: (2013) -
Comparative Studies, Formal Semantics and PVS Encoding of CSP#
by: SHI LING
Published: (2014)