Author of the publication

Functional Semantics of Modules.

, , and . TAPSOFT, Vol.2, volume 186 of Lecture Notes in Computer Science, page 42-59. Springer, (1985)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Theory of Modules., , and . IEEE Trans. Software Eng., 13 (7): 820-829 (1987)Execution traces and programming-language semantics.. Int. J. Parallel Program., 6 (4): 263-278 (1977)Transportable Package Software., and . Softw. Pract. Exp., 10 (12): 1009-1027 (1980)Efficient Multiprogramming Resource Allocation and Accounting.. Commun. ACM, 16 (6): 337-343 (1973)Ignorance of ALGOL 68 considered harmful.. ACM SIGPLAN Notices, 12 (4): 51-56 (1977)Software Quality, Software Process, and Software Testing.. Advances in Computers, (1995)Application of "DOVETAILING" to program testing.. SIGACT News, 8 (2): 25-26 (1976)Theoretical Comparison of Testing Methods.. Symposium on Testing, Analysis, and Verification, page 28-37. ACM, (1989)What Can We Learn by Testing a Program?. ISSTA, page 50-52. ACM, (1998)Theory of Software Reliability Based on Components., , and . ICSE, page 361-370. IEEE Computer Society, (2001)