Search Sciweavers | Sciweavers

2696 search results - page 12 / 540

» Semantic Abstraction and Anaphora

click to vote

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

15 years 11 months ago

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »

click to vote

SCAM
2008
IEEE

114views Software Engineering» more SCAM 2008»

The Semantics of Abstract Program Slicing

15 years 6 months ago

Download www.dcs.kcl.ac.uk

Damiano Zanardini

claim paper

Read More »

click to vote

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

15 years 5 months ago

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

Voted

SKG
2006
IEEE

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

Semantic Abstraction of IA-64 Multimedia Instructions

15 years 5 months ago

Download csdl2.computer.org

Xuemeng Zhang, Rongcai Zhao, Jianmin Pang

claim paper

Read More »

click to vote

IJCNLP
2005
Springer

138views Natural Language Processing» more IJCNLP 2005»

Analogy as Functional Recategorization: Abstraction with HowNet Semantics

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers