Search Sciweavers | Sciweavers

11395 search results - page 160 / 2279

» Beyond computer science

102

Voted

ACM
1993

98views Theoretical Computer Science» more ACM 1993»

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

15 years 10 months ago

Download www.ecs.fullerton.edu

Mansur H. Samadzadeh, Winai Wichaipanitch

claim paper

Read More »

156

click to vote

ERSHOV
1993
Springer

112views Theoretical Computer Science» more ERSHOV 1993»

Observing Some Properties of Event Structures

15 years 10 months ago

Download www.iis.nsk.su

Irina Virbitskaite

claim paper

Read More »

191

Voted

ECA
1994

192views Theoretical Computer Science» more ECA 1994»

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

15 years 10 months ago

Download www.cse.unsw.edu.au

Shelly Warwick

claim paper

Read More »

175

click to vote

MFCS
1993
Springer

115views Theoretical Computer Science» more MFCS 1993»

Completeness Results for Linear Logic on Petri Nets

15 years 10 months ago

Download www.daimi.au.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

109

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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers