Sciweavers

5818 search results - page 91 / 1164

» A reasonable Semantic Web

111

LICS
2002
IEEE

95views Automated Reasoning» more LICS 2002»

A Fully Abstract May Testing Semantics for Concurrent Objects

15 years 9 months ago

A Fully Abstract May Testing Semantics for Concurrent Objects

Download www.asaj.org

Alan Jeffrey, Julian Rathke

claim paper

Read More »

119

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Semantics and Logic of Object Calculi

15 years 9 months ago

Semantics and Logic of Object Calculi

Download www.cogs.susx.ac.uk

Bernhard Reus, Thomas Streicher

claim paper

Read More »

118

Voted

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

Comparing different graph representations of logic programs under the Answer Set semantics

15 years 9 months ago

Comparing different graph representations of logic programs under the Answer Set semantics

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

100

ICLP
2001
Springer

104views Automated Reasoning» more ICLP 2001»

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

15 years 9 months ago

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

121

Voted

CSL
1993
Springer

98views Automated Reasoning» more CSL 1993»

ERRATA to "The Semantics of the C Programming Language"

15 years 8 months ago

ERRATA to "The Semantics of the C Programming Language"

Download research.microsoft.com

Yuri Gurevich, James K. Huggins

claim paper

Read More »

« Prev « First page 91 / 1164 Last » Next »