|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
101 | Ming-Yuan Zhu, Xiao-Bai Mo |
Mechanical synthesis of a unification algorithm in PowerEpsilon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 56-61, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
PowerEpsilon, constructive type theory, proof development system, formal program development system, formal specification, specification, programming, theorem proving, programming theory, type theory, unification algorithm, mechanical synthesis |
37 | Ming-Yuan Zhu |
Denotational Semantics of Programming Languages and Compiler Generation in PowerEpsilon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 36(9), pp. 39-53, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
37 | Ming-Yuan Zhu |
Computational Reflection in PowerEpsilon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 29(1), pp. 13-19, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
37 | Zeng Li-Xin, Zhu Ming-Yuan |
Extending PowerEpsilon with Algebraic Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 29(1), pp. 20-26, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
37 | Ming-Yuan Zhu, Cheng-Wei Wang |
Program derivation in PowerEpsilon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Sixteenth Annual International Computer Software and Applications Conference, COMPSAC 1992, Proceedings, Chicago, IL, USA, 21-25 September, 1992, pp. 206-211, 1992, IEEE, 0-8186-3000-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
28 | Lei Luo 0004, Ming-Yuan Zhu, Qing-Li Zhang |
A formal semantic definition of DEVIL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 38(4), pp. 47-56, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Dongyao Ji, Yuming Wang |
Comments on "An approach to the formal verification of the two-party cryptographic protocols" by Zhang, Li and Xiao. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 35(1), pp. 6-7, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|