Search Sciweavers | Sciweavers

2776 search results - page 15 / 556

» System-Level Abstraction Semantics

108

click to vote

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

15 years 10 months ago

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

102

click to vote

SKG
2006
IEEE

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

Semantic Abstraction of IA-64 Multimedia Instructions

15 years 9 months ago

Download csdl2.computer.org

Xuemeng Zhang, Rongcai Zhao, Jianmin Pang

claim paper

Read More »

Voted

IJCNLP
2005
Springer

138views Natural Language Processing» more IJCNLP 2005»

Analogy as Functional Recategorization: Abstraction with HowNet Semantics

15 years 9 months ago

Download afflatus.ucd.ie

Tony Veale

claim paper

Read More »

Voted

RULEML
2005
Springer

78views Internet Technology» more RULEML 2005»

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

15 years 9 months ago

Download rewerse.net

Adrian Giurca, Gerd Wagner

claim paper

Read More »

107

click to vote

FMCO
2004
Springer

102views Formal Methods» more FMCO 2004»

A Fully Abstract Semantics for UML Components

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers