Sciweavers

16725 search results - page 255 / 3345

» Engineering Software Correctness

128

Voted

PEPM
1991
ACM

136views Software Engineering» more PEPM 1991»

Compiling Inheritance using Partial Evaluation

15 years 7 months ago

Compiling Inheritance using Partial Evaluation

Download www.comp.nus.edu.sg

Siau-Cheng Khoo, R. S. Sundaresh

claim paper

Read More »

96

Voted

ICSM
1994
IEEE

112views Software Engineering» more ICSM 1994»

Incremental Process Support for Code Reengineering

15 years 7 months ago

Incremental Process Support for Code Reengineering

Download web.cs.wpi.edu

George T. Heineman, Gail E. Kaiser

claim paper

Read More »

138

Voted

SDE
1991

150views Software Engineering» more SDE 1991»

Adding Control Integration to PCTE

15 years 7 months ago

Adding Control Integration to PCTE

Download www.hpl.hp.com

Huw Oliver

claim paper

Read More »

96

Voted

TACS
1991
Springer

89views Software Engineering» more TACS 1991»

Intersection and Union Types

15 years 7 months ago

Intersection and Union Types

Download www.cs.cmu.edu

Franco Barbanera, Mariangiola Dezani-Ciancaglini

claim paper

Read More »

126

Voted

TACS
1991
Springer

143views Software Engineering» more TACS 1991»

Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures

15 years 7 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 255 / 3345 Last » Next »