Formalizing semantics of XSLT using object-Z
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Saved in:
Main Authors: | Yang, H.L., Dong, J.S., Hao, K.G., Han, J.G. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Article |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/38928 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Deep semantic links of TCSP and object-Z: TCOZ approach
by: Mahony, B., et al.
Published: (2013) -
Relating π-calculus to Object-Z
by: Taguchi, K., et al.
Published: (2013) -
Soundness proof of Z semantics of OWL using institutions
by: Lucanu, D., et al.
Published: (2013) -
Integrating Object-Z with Timed Automata
by: Dong, J.S., et al.
Published: (2013) -
A formal object approach to the design of ZML
by: Sun, J., et al.
Published: (2013)