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

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

14 years 21 days 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 10 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 4 months ago