Search Sciweavers | Sciweavers

2776 search results - page 16 / 556

» System-Level Abstraction Semantics

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 2 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 2 months ago

Download www.informatik.uni-ulm.de

Wolf Zimmermann, Axel Dold

claim paper

Read More »

click to vote

LICS
2002
IEEE

95views Automated Reasoning» more LICS 2002»

A Fully Abstract May Testing Semantics for Concurrent Objects

14 years 1 months ago

Download www.asaj.org

Alan Jeffrey, Julian Rathke

claim paper

Read More »

click to vote

WCRE
2002
IEEE

107views Software Engineering» more WCRE 2002»

Semantic Grep: Regular Expressions + Relational Abstraction

14 years 1 months ago

Download plg.uwaterloo.ca

R. Ian Bull, Andrew Trevors, Andrew J. Malton, Mic...

claim paper

Read More »

click to vote

ICLP
2001
Springer

104views Automated Reasoning» more ICLP 2001»

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers