AAAAAA
Results:
1-8
|
Results: 8
Authors:
NIELSON HR
Citation: Hr. Nielson, SPECIAL ISSUE ON THE 6TH EUROPEAN SYMPOSIUM ON PROGRAMMING - SELECTEDPAPERS OF THE 6TH EUROPEAN SYMPOSIUM ON PROGRAMMING (ESOP96) (22-24 APRIL 1996, LINKOPING, SWEDEN) - FOREWORD, Science of computer programming, 32(1-3), 1998, pp. 1-2
Authors:
GASSER KLS
NIELSON HR
NIELSON F
Citation: Kls. Gasser et al., STRICTNESS AND TOTALITY ANALYSIS, Science of computer programming, 31(1), 1998, pp. 113-145
Authors:
SOLBERG KL
GASSER S
NIELSON F
NIELSON HR
Citation: Kl. Solberg et al., SYSTEMATIC REALIZATION OF CONTROL-FLOW-ANALYSES FOR CML, ACM SIGPLAN NOTICES, 32(8), 1997, pp. 38-51
Authors:
NIELSON F
NIELSON HR
Citation: F. Nielson et Hr. Nielson, PRESCRIPTIVE FRAMEWORKS FOR MULTILEVEL LAMBDA-CALCULI, ACM SIGPLAN NOTICES, 32(12), 1997, pp. 193-202
Authors:
HANKIN C
NIELSON HR
PALSBERG J
Citation: C. Hankin et al., POSITION STATEMENTS ON STRATEGIC DIRECTIONS FOR RESEARCH ON PROGRAMMING-LANGUAGES, ACM SIGPLAN NOTICES, 32(1), 1997, pp. 59-65
Authors:
HANKIN C
NIELSON HR
PALSBERG J
Citation: C. Hankin et al., STRATEGIC DIRECTIONS IN RESEARCH ON PROGRAMMING-LANGUAGES, ACM computing surveys, 28(4), 1996, pp. 644-652
Authors:
HANKIN C
NIELSON HR
Citation: C. Hankin et Hr. Nielson, COMPUTING-SURVEYS-SYMPOSIUM ON MODELS OF PROGRAMMING-LANGUAGES AND COMPUTATION, ACM computing surveys, 28(2), 1996, pp. 293-294
Authors:
NIELSON F
NIELSON HR
Citation: F. Nielson et Hr. Nielson, FROM CML TO ITS PROCESS ALGEBRA, Theoretical computer science, 155(1), 1996, pp. 179-219
Risultati:
1-8
|