Search Sciweavers | Sciweavers

2661 search results - page 5 / 533

» A Semantics for Abstraction

124

click to vote

LOPSTR
2004
Springer

75views Automated Reasoning» more LOPSTR 2004»

From Natural Semantics to Abstract Machines

15 years 11 months 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 »

237

click to vote

POPL
2005
ACM

86views Programming Languages» more POPL 2005»

A semantics for procedure local heaps and its abstractions

16 years 5 months ago

Download www.cs.wisc.edu

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

claim paper

Read More »

121

click to vote

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

16 years 5 months ago

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »

106

Voted

SCAM
2008
IEEE

114views Software Engineering» more SCAM 2008»

The Semantics of Abstract Program Slicing

15 years 12 months ago

Download www.dcs.kcl.ac.uk

Damiano Zanardini

claim paper

Read More »

126

click to vote

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers