Search Sciweavers | Sciweavers

2776 search results - page 15 / 556

» System-Level Abstraction Semantics

158

Voted

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

16 years 1 months ago

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

151

click to vote

SKG
2006
IEEE

99views Distributed And Parallel Com...» more SKG 2006»

Semantic Abstraction of IA-64 Multimedia Instructions

16 years 1 months ago

Download csdl2.computer.org

Xuemeng Zhang, Rongcai Zhao, Jianmin Pang

claim paper

Read More »

159

click to vote

IJCNLP
2005
Springer

138views Natural Language Processing» more IJCNLP 2005»

Analogy as Functional Recategorization: Abstraction with HowNet Semantics

16 years 29 days ago

Download afflatus.ucd.ie

Tony Veale

claim paper

Read More »

147

click to vote

RULEML
2005
Springer

78views Internet Technology» more RULEML 2005»

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

16 years 28 days ago

Download rewerse.net

Adrian Giurca, Gerd Wagner

claim paper

Read More »

150

click to vote

FMCO
2004
Springer

102views Formal Methods» more FMCO 2004»

A Fully Abstract Semantics for UML Components

16 years 25 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers