Search Sciweavers | Sciweavers

15792 search results - page 79 / 3159

» Computational Abstraction Steps

117

Voted

CONCUR
1994
Springer

74views Distributed And Parallel Com...» more CONCUR 1994»

Testing-Based Abstractions for Value-Passing Systems

15 years 9 months ago

Download condor.depaul.edu

Rance Cleaveland, James Riely

claim paper

Read More »

182

click to vote

ECA
1994

192views Theoretical Computer Science» more ECA 1994»

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

15 years 9 months ago

Download www.cse.unsw.edu.au

Shelly Warwick

claim paper

Read More »

101

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

Download scidok.sulb.uni-saarland.de

Kurt Sieber

claim paper

Read More »

105

click to vote

FOCS
1992
IEEE

89views Theoretical Computer Science» more FOCS 1992»

A Subexponential Algorithm for Abstract Optimization Problems

15 years 9 months ago

Download reference.kfupm.edu.sa

Bernd Gärtner

claim paper

Read More »

134

Voted

BIRTHDAY
2009
Springer

170views Applied Computing» more BIRTHDAY 2009»

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers