Search Sciweavers | Sciweavers

17298 search results - page 97 / 3460

» Abstract computing machines

125

click to vote

CASSIS
2005
Springer

155views Human Computer Interaction» more CASSIS 2005»

Modular Proof Principles for Parameterised Concretizations

15 years 8 months ago

Download www-sop.inria.fr

Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...

David Pichardie

claim paper

Read More »

123

click to vote

ERSHOV
2006
Springer

106views Theoretical Computer Science» more ERSHOV 2006»

An ASM Semantics of Token Flow in UML 2 Activity Diagrams

15 years 6 months ago

Download www.stefansarstedt.com

Abstract. The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are...

Stefan Sarstedt, Walter Guttmann

claim paper

Read More »

click to vote

SAC
2009
ACM

95views Applied Computing» more SAC 2009»

Local reasoning for abstraction and sharing

15 years 10 months ago