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. |
---|---|
其他作者: | COMPUTER SCIENCE |
格式: | Article |
出版: |
2013
|
在線閱讀: | http://scholarbank.nus.edu.sg/handle/10635/38928 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
機構: | National University of Singapore |
相似書籍
-
Deep semantic links of TCSP and object-Z: TCOZ approach
由: Mahony, B., et al.
出版: (2013) -
Relating π-calculus to Object-Z
由: Taguchi, K., et al.
出版: (2013) -
Soundness proof of Z semantics of OWL using institutions
由: Lucanu, D., et al.
出版: (2013) -
Integrating Object-Z with Timed Automata
由: Dong, J.S., et al.
出版: (2013) -
A formal object approach to the design of ZML
由: Sun, J., et al.
出版: (2013)