Search Sciweavers | Sciweavers

2696 search results - page 13 / 540

» Semantic Abstraction and Anaphora

click to vote

RULEML
2005
Springer

78views Internet Technology» more RULEML 2005»

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

14 years 3 months ago

Download rewerse.net

Adrian Giurca, Gerd Wagner

claim paper

Read More »

click to vote

FMCO
2004
Springer

102views Formal Methods» more FMCO 2004»

A Fully Abstract Semantics for UML Components

14 years 3 months ago

Download www.liacs.nl

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

claim paper

Read More »

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

14 years 3 months ago

Download www.cs.utsa.edu

Qing Yi, Daniel J. Quinlan

claim paper

Read More »

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

14 years 3 months ago

Download www.informatik.uni-ulm.de

Wolf Zimmermann, Axel Dold

claim paper

Read More »

click to vote

ISSS
2002
IEEE

111views Hardware» more ISSS 2002»

System-Level Abstraction Semantics

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers