Sciweavers

2661 search results - page 6 / 533
» A Semantics for Abstraction
Sort
View
80
Voted
SKG
2006
IEEE
15 years 5 months ago
Semantic Abstraction of IA-64 Multimedia Instructions
Xuemeng Zhang, Rongcai Zhao, Jianmin Pang
FMCO
2004
Springer
102views Formal Methods» more  FMCO 2004»
15 years 5 months ago
A Fully Abstract Semantics for UML Components
Frank S. de Boer, Marcello M. Bonsangue, Martin St...