Logrippo, L.; Obaid, A.; Briand, J. P.; Fehri, M. C. An interpreter for LOTOS, a specification language for distributed systems. (English) Zbl 0646.68028 Softw., Pract. Exper. 18, No. 4, 365-385 (1988). MSC: 68N25 PDFBibTeX XMLCite \textit{L. Logrippo} et al., Softw., Pract. Exper. 18, No. 4, 365--385 (1988; Zbl 0646.68028) Full Text: DOI
Woodman, Mark Formatted syntaxes and Modula-2. (English) Zbl 0594.68030 Softw., Pract. Exper. 16, 605-626 (1986). MSC: 68N99 68N01 PDFBibTeX XMLCite \textit{M. Woodman}, Softw., Pract. Exper. 16, 605--626 (1986; Zbl 0594.68030) Full Text: DOI
van Wyk, Christopher J. AWK as glue for programs. (English) Zbl 0591.68035 Softw., Pract. Exper. 16, 369-388 (1986). MSC: 68N99 68Q60 PDFBibTeX XMLCite \textit{C. J. van Wyk}, Softw., Pract. Exper. 16, 369--388 (1986; Zbl 0591.68035) Full Text: DOI
Cordy, James R. Compile-time detection of aliasing in Euclid programs. (English) Zbl 0544.68007 Softw., Pract. Exper. 14, 755-768 (1984). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{J. R. Cordy}, Softw., Pract. Exper. 14, 755--768 (1984; Zbl 0544.68007) Full Text: DOI
Clint, M.; Vicent, C. The use of ghost variables and virtual programming in the documentation and verification of programs. (English) Zbl 0544.68006 Softw., Pract. Exper. 14, 711-737 (1984). MSC: 68Q60 PDFBibTeX XMLCite \textit{M. Clint} and \textit{C. Vicent}, Softw., Pract. Exper. 14, 711--737 (1984; Zbl 0544.68006) Full Text: DOI
Hughes, J. W.; Powell, M. S. DTL: A language for the design and implementation of concurrent programs as structured networks. (English) Zbl 0519.68030 Softw., Pract. Exper. 13, 1099-1112 (1983). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{J. W. Hughes} and \textit{M. S. Powell}, Softw., Pract. Exper. 13, 1099--1112 (1983; Zbl 0519.68030) Full Text: DOI
Palme, Jacob Uses of the SIMULA process concept. (English) Zbl 0474.68030 Softw., Pract. Exper. 12, 153-161 (1982). MSC: 68N25 68Q60 68P05 PDFBibTeX XMLCite \textit{J. Palme}, Softw., Pract. Exper. 12, 153--161 (1982; Zbl 0474.68030) Full Text: DOI
Brinch Hansen, Per Edison programs. (English) Zbl 0452.68030 Softw., Pract. Exper. 11, 397-414 (1981). MSC: 68N25 68N01 68Q60 PDFBibTeX XMLCite \textit{P. Brinch Hansen}, Softw., Pract. Exper. 11, 397--414 (1981; Zbl 0452.68030) Full Text: DOI