Sciweavers

15727 search results - page 201 / 3146

» Software Engineering - Introduction

190

Voted

PEPM
1991
ACM

136views Software Engineering» more PEPM 1991»

Compiling Inheritance using Partial Evaluation

15 years 10 months ago

Compiling Inheritance using Partial Evaluation

Download www.comp.nus.edu.sg

Siau-Cheng Khoo, R. S. Sundaresh

claim paper

Read More »

142

Voted

ICSM
1994
IEEE

112views Software Engineering» more ICSM 1994»

Incremental Process Support for Code Reengineering

15 years 10 months ago

Incremental Process Support for Code Reengineering

Download web.cs.wpi.edu

George T. Heineman, Gail E. Kaiser

claim paper

Read More »

184

SDE
1991

150views Software Engineering» more SDE 1991»

Adding Control Integration to PCTE

15 years 10 months ago

Adding Control Integration to PCTE

Download www.hpl.hp.com

Huw Oliver

claim paper

Read More »

128

TACS
1991
Springer

89views Software Engineering» more TACS 1991»

Intersection and Union Types

15 years 10 months ago

Intersection and Union Types

Download www.cs.cmu.edu

Franco Barbanera, Mariangiola Dezani-Ciancaglini

claim paper

Read More »

179

TACS
1991
Springer

143views Software Engineering» more TACS 1991»

Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures

15 years 10 months ago

Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures

Download wwwsoc.nii.ac.jp

Masahiko Sato

claim paper

Read More »

« Prev « First page 201 / 3146 Last » Next »