Sciweavers

15777 search results - page 331 / 3156
» Engineering in Software
Sort
View
120
Voted
PEPM
1998
ACM
15 years 11 months ago
Partial Evaluation for the Lambda Calculus
Neil D. Jones, Carsten K. Gomard, Peter Sestoft
ICSM
1997
IEEE
15 years 11 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 11 months ago
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...
AMAST
1997
Springer
15 years 11 months ago
The Circal System
Antonio Cerone, Alex J. Cowie, George J. Milne
TACS
1997
Springer
15 years 11 months ago
Comparing Object Encodings
Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce