Cook, Jonathan J. Reverse execution of Java bytecode. (English) Zbl 1036.68016 Comput. J. 45, No. 6, 608-619 (2002). MSC: 68N15 PDFBibTeX XMLCite \textit{J. J. Cook}, Comput. J. 45, No. 6, 608--619 (2002; Zbl 1036.68016) Full Text: DOI
Allison, L. Some applications of continuations. (English) Zbl 0632.68009 Comput. J. 31, No. 1, 9-11 (1988). MSC: 68N01 PDFBibTeX XMLCite \textit{L. Allison}, Comput. J. 31, No. 1, 9--11 (1988; Zbl 0632.68009) Full Text: DOI EuDML
Sernadas, Cristina; Carapuça, R. The role of conceptual modelling abstractions in compiler development. (English) Zbl 0653.68081 Comput. J. 30, 328-336 (1987). MSC: 68Q55 68Q45 68Q60 PDFBibTeX XMLCite \textit{C. Sernadas} and \textit{R. Carapuça}, Comput. J. 30, 328--336 (1987; Zbl 0653.68081) Full Text: DOI
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W. Ready-trace semantics for concrete process algebra with the priority operator. (English) Zbl 0627.68016 Comput. J. 30, 498-506 (1987). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., Comput. J. 30, 498--506 (1987; Zbl 0627.68016) Full Text: DOI Link
Gray, D. A pedagogical verification condition generator. (English) Zbl 0615.68017 Comput. J. 30, 239-248 (1987). Reviewer: D. Gray MSC: 68Q60 PDFBibTeX XMLCite \textit{D. Gray}, Comput. J. 30, 239--248 (1987; Zbl 0615.68017) Full Text: DOI
Barringer, H.; Mearns, I. A proof system for Ada tasks. (English) Zbl 0599.68018 Comput. J. 29, 404-415 (1986). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{H. Barringer} and \textit{I. Mearns}, Comput. J. 29, 404--415 (1986; Zbl 0599.68018) Full Text: DOI
Papakonstantinou, G.; Kontos, J. Knowledge representation with attribute grammars. (English) Zbl 0589.68059 Comput. J. 29, 241-245 (1986). MSC: 68N20 68T99 68Q55 PDFBibTeX XMLCite \textit{G. Papakonstantinou} and \textit{J. Kontos}, Comput. J. 29, 241--245 (1986; Zbl 0589.68059) Full Text: DOI
Allison, Lloyd Programming denotational semantics. II. (English) Zbl 0571.68005 Comput. J. 28, 480-486 (1985). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{L. Allison}, Comput. J. 28, 480--486 (1985; Zbl 0571.68005) Full Text: DOI
Turner, R.; Lowden, B. G. T. An introduction to the formal specification of relational query languages. (English) Zbl 0567.68059 Comput. J. 28, 162-169 (1985). MSC: 68P20 68Q55 PDFBibTeX XMLCite \textit{R. Turner} and \textit{B. G. T. Lowden}, Comput. J. 28, 162--169 (1985; Zbl 0567.68059) Full Text: DOI
Adorni, G.; Boccalatte, A.; Di Manzo, M. Top-down semantic analysis. (English) Zbl 0543.68064 Comput. J. 27, 233-237 (1984). MSC: 68Q45 68Q55 PDFBibTeX XMLCite \textit{G. Adorni} et al., Comput. J. 27, 233--237 (1984; Zbl 0543.68064) Full Text: DOI
Watt, David A.; Madsen, Ole Lehrmann Extended attribute grammars. (English) Zbl 0512.68052 Comput. J. 26, 142-153 (1983). MSC: 68Q45 68Q55 PDFBibTeX XMLCite \textit{D. A. Watt} and \textit{O. L. Madsen}, Comput. J. 26, 142--153 (1983; Zbl 0512.68052) Full Text: DOI
Pagan, F. G. ALGOL 68 as metalanguage for denotational semantics. (English) Zbl 0394.68007 Computer J. 22, 63-66 (1979). MSC: 68N01 68Q55 PDFBibTeX XMLCite \textit{F. G. Pagan}, Comput. J. 22, 63--66 (1979; Zbl 0394.68007) Full Text: DOI
Simpson, H. R. A compact form of one-track syntax analyser. (English) Zbl 0212.18801 Comput. J. 12, 233-243 (1969). MSC: 68Q42 68Q55 PDFBibTeX XMLCite \textit{H. R. Simpson}, Comput. J. 12, 233--243 (1969; Zbl 0212.18801) Full Text: DOI