Search Sciweavers | Sciweavers

88 search results - page 1 / 18

» A Fully Abstract Trace Semantics for General References

click to vote

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

13 years 11 months ago

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

click to vote

ESOP
2005
Springer

152views Programming Languages» more ESOP 2005»

Java Jr: Fully Abstract Trace Semantics for a Core Java Language

13 years 10 months ago

Download www.asaj.org

: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...

Alan Jeffrey, Julian Rathke

claim paper

Read More »

click to vote

LICS
2009
IEEE

144views Automated Reasoning» more LICS 2009»

Trace Semantics is Fully Abstract

13 years 11 months ago

Download www.cs.rice.edu

mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...

Sumit Nain, Moshe Y. Vardi

claim paper

Read More »

click to vote

AOSD
2007
ACM

131views Software Engineering» more AOSD 2007»

Fully abstract semantics of additive aspects by translation

13 years 8 months ago

Download users.comlab.ox.ac.uk

stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...

S. B. Sanjabi, C.-H. Luke Ong

claim paper

Read More »

click to vote

MSCS
2010

86views more MSCS 2010»

Realisability semantics of parametric polymorphism, general references and recursive types

13 years 3 months ago