Search Sciweavers | Sciweavers

2696 search results - page 13 / 540

» Semantic Abstraction and Anaphora

117

click to vote

RULEML
2005
Springer

78views Internet Technology» more RULEML 2005»

Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML

15 years 11 months ago

Download rewerse.net

Adrian Giurca, Gerd Wagner

claim paper

Read More »

127

click to vote

FMCO
2004
Springer

102views Formal Methods» more FMCO 2004»

A Fully Abstract Semantics for UML Components

15 years 11 months ago

Download www.liacs.nl

Frank S. de Boer, Marcello M. Bonsangue, Martin St...

claim paper

Read More »

175

click to vote

LCPC
2004
Springer

155views System Software» more LCPC 2004»

Applying Loop Optimizations to Object-Oriented Abstractions Through General Classification of Array Semantics

15 years 11 months ago

Download www.cs.utsa.edu

Qing Yi, Daniel J. Quinlan

claim paper

Read More »

119

click to vote

ASM
2003
ASM

104views Computational Biology» more ASM 2003»

A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines

15 years 11 months ago

Download www.informatik.uni-ulm.de

Wolf Zimmermann, Axel Dold

claim paper

Read More »

120

click to vote

ISSS
2002
IEEE

111views Hardware» more ISSS 2002»

System-Level Abstraction Semantics

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers