Guttag, John V.; Horning, James J. LARCH: languages and tools for formal specification. (English) Zbl 0794.68103 Texts and Monographs in Computer Science. Berlin: Springer-Verlag. xiii, 250 p. DM 68.00; öS 530.40; sFr 68.00 /hc (1993). Reviewer: G.Grigas (Vilnius) MSC: 68Q65 68N15 68Q60 68-02 PDFBibTeX XMLCite \textit{J. V. Guttag} and \textit{J. J. Horning}, LARCH: languages and tools for formal specification. Berlin: Springer (1993; Zbl 0794.68103)
Saxe, James B.; Garland, Stephen J.; Guttag, John V.; Horning, James J. Using transformations and verification in circuit design. (English) Zbl 0800.94308 Designing correct circuits, Proc. 2nd IFIP WG 10.2/ WG 10.5 Workshop, Lyngby/Denmark 1992, 1-25 (1992). MSC: 94C12 68Q60 PDFBibTeX XMLCite \textit{J. B. Saxe} et al., in: Designing correct circuits. Proceedings of the 2nd IFIP WG 10.2/WG 10.5 workshop, Lyngby, Denmark, 6-8 January 1992. Amsterdam etc.: North-Holland. 1--25 (1992; Zbl 0800.94308)
Guttag, J. V.; Horning, J. J. A Larch shared language handbook. (English) Zbl 0581.68008 Sci. Comput. Program. 6, 135-157 (1986). MSC: 68N01 68P05 PDFBibTeX XMLCite \textit{J. V. Guttag} and \textit{J. J. Horning}, Sci. Comput. Program. 6, 135--157 (1986; Zbl 0581.68008) Full Text: DOI
Guttag, J. V.; Horning, J. J. Report on the Larch shared language. (English) Zbl 0581.68007 Sci. Comput. Program. 6, 103-134 (1986). MSC: 68N01 68P05 PDFBibTeX XMLCite \textit{J. V. Guttag} and \textit{J. J. Horning}, Sci. Comput. Program. 6, 103--134 (1986; Zbl 0581.68007) Full Text: DOI
Staunstrup, J. (ed.) [Horning, J. J.] Program specification. Proceedings of a Workshop, Aarhus, Denmark, August 1981. (English) Zbl 0488.68006 Lecture Notes in Computer Science, 134. Berlin-Heidelberg-New York: Springer-Verlag. IV, 426 p. DM 41.50; $ 18.50 (1982). MSC: 68-06 00Bxx 68-02 PDFBibTeX XML
Horning, J. J. Verification of Euclid programs. (English) Zbl 0399.68012 Program construction, int. Summer Sch., Marktoberdorf 1978, Lect. Notes Comput. Sci. 69, 164-173 (1979). MSC: 68N01 68Q60 PDFBibTeX XML
London, R. L.; Guttag, J. V.; Horning, J. J.; Lampson, B. W.; Mitchell, J. G.; Popek, G. J. Proof rules for the programming language Euclid. (English) Zbl 0399.68011 Program construction, int. Summer Sch., Marktoberdorf 1978, Lect. Notes Comput. Sci. 69, 133-163 (1979). MSC: 68N01 68Q60 PDFBibTeX XML
Horning, J. J. A case study in language design: Euclid. (English) Zbl 0399.68010 Program construction, int. Summer Sch., Marktoberdorf 1978, Lect. Notes Comput. Sci. 69, 125-132 (1979). MSC: 68N01 68Q60 PDFBibTeX XML
Guttag, J. V.; Horning, J. J. The algebraic specification of abstract data types. (English) Zbl 0395.68020 Programming methodology, Collect. Artic. by Memb. of IFIP WG2.3, 282-308 (1978). MSC: 68P05 PDFBibTeX XML
London, R. L.; Guttag, J. V.; Horning, J. J.; Lampson, B. W.; Mitchell, J. G.; Popek, G. J. Proof rules for the programming language Euclid. (English) Zbl 0385.68009 Acta Inf. 10, 1-26 (1978). MSC: 68N01 PDFBibTeX XMLCite \textit{R. L. London} et al., Acta Inf. 10, 1--26 (1978; Zbl 0385.68009) Full Text: DOI
Gutlag, John V.; Horning, James J.; London, Ralph L. A proof rule for Euclid procedings. (English) Zbl 0373.68023 Form. Descr. Program. Lang., Proc. IFIP Conf., St. Andrews/Canada 1977, 211-220 (1978). MSC: 68N01 PDFBibTeX XML
Guttag, J. V.; Horning, J. J. The algebraic specification of abstract data types. (English) Zbl 0369.68010 Acta Inf. 10, 27-52 (1978). MSC: 68N01 PDFBibTeX XMLCite \textit{J. V. Guttag} and \textit{J. J. Horning}, Acta Inf. 10, 27--52 (1978; Zbl 0369.68010) Full Text: DOI
Bauer, F. L. (ed.); Eickel, J. (ed.) [McKeeman, W. M.; De Remer, F. L.; Griffiths, M.; Horning, J. J.; Koster, C. H. A.; Waite, W. M.; Hill, U.; Poole, P. C.; Waite, J. M.] Compiler construction. An advanced course. 2nd ed. (English) Zbl 0315.68004 Lecture Notes in Computer Science. 21. Berlin-Heidelberg-New York: Springer-Verlag. XIV, 638 p. DM 42.00; $ 17.30 (1976). MSC: 68-06 68N01 68-02 68Q45 00Bxx PDFBibTeX XML
Horning, J. J.; Lauer, H. C.; Melliar-Smith, P. M.; Randell, B. A program structure for error detection and recovery. (English) Zbl 0295.68026 Operating Syst., Proc. internat. Symp. Rocquencourt, Lecture Notes Computer Sci. 16, 171-187 (1974). MSC: 68N01 68Q45 PDFBibTeX XML
Horning, J. J.; Randell, B. Process structuring. (English) Zbl 0266.68012 Comput. Surv. 5, 5-30 (1973). MSC: 68N01 PDFBibTeX XMLCite \textit{J. J. Horning} and \textit{B. Randell}, Comput. Surv. 5, 5--30 (1973; Zbl 0266.68012)
Anderson, T.; Eve, J.; Horning, J. J. Efficient LR(1) parsers. (English) Zbl 0235.68009 Acta Inf. 2, 12-39 (1973). MSC: 68P05 PDFBibTeX XMLCite \textit{T. Anderson} et al., Acta Inf. 2, 12--39 (1973; Zbl 0235.68009) Full Text: DOI
Horning, J. J. A procedure for grammatical inference. (English) Zbl 0254.68020 Inform. Processing 71, Proc. IFIP Congr. 71, Ljubljana, Yugoslavia 1971, 519-523 (1972). MSC: 68Q45 PDFBibTeX XML