Search Sciweavers | Sciweavers

2696 search results - page 12 / 540

» Semantic Abstraction and Anaphora

128

click to vote

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

16 years 6 months ago

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »

112

click to vote

SCAM
2008
IEEE

114views Software Engineering» more SCAM 2008»

The Semantics of Abstract Program Slicing

16 years 12 days ago

Download www.dcs.kcl.ac.uk

Damiano Zanardini

claim paper

Read More »

131

click to vote

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

16 years 5 days ago

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

125

click to vote

SKG
2006
IEEE

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

Semantic Abstraction of IA-64 Multimedia Instructions

16 years 18 hour ago

Download csdl2.computer.org

Xuemeng Zhang, Rongcai Zhao, Jianmin Pang

claim paper

Read More »

128

click to vote

IJCNLP
2005
Springer

138views Natural Language Processing» more IJCNLP 2005»

Analogy as Functional Recategorization: Abstraction with HowNet Semantics

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers