Search Sciweavers | Sciweavers

11345 search results - page 194 / 2269

» Foundations of Computer Science

115

Voted

ACM
1993

98views Theoretical Computer Science» more ACM 1993»

An Interactive Debugging Tool for C Based on Dynamic Slicing and Dicing

15 years 11 months ago

Download www.ecs.fullerton.edu

Mansur H. Samadzadeh, Winai Wichaipanitch

claim paper

Read More »

175

click to vote

ERSHOV
1993
Springer

112views Theoretical Computer Science» more ERSHOV 1993»

Observing Some Properties of Event Structures

15 years 11 months ago

Download www.iis.nsk.su

Irina Virbitskaite

claim paper

Read More »

210

click to vote

ECA
1994

192views Theoretical Computer Science» more ECA 1994»

Abstraction, ethics and software: why don't the rules work?

15 years 11 months ago

Download www.cse.unsw.edu.au

Shelly Warwick

claim paper

Read More »

193

Voted

MFCS
1993
Springer

115views Theoretical Computer Science» more MFCS 1993»

Completeness Results for Linear Logic on Petri Nets

15 years 11 months ago

Download www.daimi.au.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

125

Voted

MFCS
1994
Springer

86views Theoretical Computer Science» more MFCS 1994»

Full Abstraction for the Second Order Subset of an Algol-Like Language

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers