Sciweavers

15777 search results - page 82 / 3156

» Engineering in Software

108

FSTTCS
1990
Springer

53views Software Engineering» more FSTTCS 1990»

Relating Full Abstraction Results for Different Programming Languages

15 years 10 months ago

Relating Full Abstraction Results for Different Programming Languages

Download www.kurims.kyoto-u.ac.jp

Kurt Sieber

claim paper

Read More »

46

ISPW
1989
IEEE

53views Software Engineering» more ISPW 1989»

A structural framework for the formal representation of cooperation

15 years 10 months ago

A structural framework for the formal representation of cooperation

Download eprints.ucl.ac.uk

Anthony Finkelstein

claim paper

Read More »

119

TAPSOFT
1989
Springer

67views Software Engineering» more TAPSOFT 1989»

A Self-Applicable Partial Evaluator for Term Rewriting Systems

15 years 10 months ago

A Self-Applicable Partial Evaluator for Term Rewriting Systems

Download repository.readscheme.org

Anders Bondorf

claim paper

Read More »

131

CBSE
2009
Springer

122views Software Engineering» more CBSE 2009»

Component Specification Using Event Classes

15 years 10 months ago

Component Specification Using Event Classes

Download www.nuprl.org

Mark Bickford

claim paper

Read More »

125

COMPSAC
2007
IEEE

123views Software Engineering» more COMPSAC 2007»

Test Automation in Practice

15 years 10 months ago

Test Automation in Practice

Download swerl.tudelft.nl

Rajesh Subramanyan

claim paper

Read More »

« Prev « First page 82 / 3156 Last » Next »