31387 search results - page 110 / 6278 » Abstracting abstract machines |
134
click to vote
ECEASST
2008
15 years 6 months ago
2008
pecification on the Concrete and Abstract Syntax Level of a Diagram Language Sonja Maier, Steffen Mazanek and Mark Minas 15 pages Guest Editors: Andrew Fish, Harald St
175
click to vote
ENTCS
2008
15 years 6 months ago
2008
c Abstraction in Parameterized Verification Parosh Aziz Abdulla1 Department of Information Technology Uppsala University Sweden Giorgio Delzanno2 Dipartimento Informatica e Scienze...
179
click to vote
CGA
2007
15 years 6 months ago
2007
abstract painting and practice can benefit information visualization—even though the two fields have significantly different objectives. This comparison reflects the spirit of ...
129
click to vote
TCAD
2008
15 years 6 months ago
2008
ion for Asynchronous Design Verification Hao Zheng, Member, IEEE, Jared Ahrens, Tian Xia, Member, IEEE This paper presents a compositional method with preserving abstraction for sc...
162
click to vote
ENTCS
2011
15 years 1 months ago
2011
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada We show that an equation follows from the axioms of dagger ...