Search Sciweavers | Sciweavers

2661 search results - page 5 / 533

» A Semantics for Abstraction

click to vote

LOPSTR
2004
Springer

75views Automated Reasoning» more LOPSTR 2004»

From Natural Semantics to Abstract Machines

14 years 10 days ago

Download www.brics.dk

Machines Mads Sig Ager BRICS Report Series RS-04-20 ISSN 0909-0878 October 2004 04-20M.S.Ager:FromNaturalSemanticstoAbstractMachines

Mads Sig Ager

claim paper

Read More »

click to vote

POPL
2005
ACM

86views Programming Languages» more POPL 2005»

A semantics for procedure local heaps and its abstractions

14 years 7 months ago

Download www.cs.wisc.edu

Jörg Bauer, Noam Rinetzky, Reinhard Wilhelm, ...

claim paper

Read More »

click to vote

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

14 years 7 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

14 years 1 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

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers