Sciweavers

15777 search results - page 331 / 3156
» Engineering in Software
Sort
View
PEPM
1998
ACM
15 years 9 months ago
Partial Evaluation for the Lambda Calculus
Neil D. Jones, Carsten K. Gomard, Peter Sestoft
110
Voted
ICSM
1997
IEEE
15 years 9 months ago
Causal Analysis of the Requirements Change Process for a Large System
Khaled El Emam, Dirk Höltje, Nazim H. Madhavj...
AMAST
1997
Springer
15 years 9 months ago
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...
AMAST
1997
Springer
15 years 9 months ago
The Circal System
Antonio Cerone, Alex J. Cowie, George J. Milne
TACS
1997
Springer
15 years 9 months ago
Comparing Object Encodings
Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce