Sciweavers

15885 search results - page 176 / 3177

» The Modest Software Engineer

91

PEPM
1997
ACM

88views Software Engineering» more PEPM 1997»

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

15 years 6 months ago

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

Download www.brics.dk

Olivier Danvy, Ulrik Pagh Schultz

claim paper

Read More »

109

PEPM
1997
ACM

79views Software Engineering» more PEPM 1997»

Resource-Bounded Partial Evaluation

15 years 6 months ago

Resource-Bounded Partial Evaluation

Download www.cs.arizona.edu

Saumya K. Debray

claim paper

Read More »

86

Voted

RE
1997
Springer

72views Software Engineering» more RE 1997»

Requirements Traceability

15 years 6 months ago

Requirements Traceability

Download www.cs.helsinki.fi

Anthony Finkelstein, Richard Stevens

claim paper

Read More »

86

Voted

RE
1997
Springer

80views Software Engineering» more RE 1997»

Calculating with Requirements

15 years 6 months ago

Calculating with Requirements

Download sdg.csail.mit.edu

John M. Rushby

claim paper

Read More »

95

Voted

TACS
1997
Springer

89views Software Engineering» more TACS 1997»

System F with Width-Subtyping and Record Updating

15 years 6 months ago

System F with Width-Subtyping and Record Updating

Download www.cs.ru.nl

Erik Poll

claim paper

Read More »

« Prev « First page 176 / 3177 Last » Next »