×

zbMATH — the first resource for mathematics

Horning, James J.

Compute Distance To:
Author ID: horning.james-j Recent zbMATH articles by "Horning, James J."
Published as: Horning, J. J.; Horning, James J.
Documents Indexed: 15 Publications since 1972, including 1 Book

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 128 times in 120 Documents Cited by Year
The algebraic specification of abstract data types. Zbl 0369.68010
Guttag, J. V.; Horning, J. J.
30
1978
The algebraic specification of abstract data types. Zbl 0395.68020
Guttag, J. V.; Horning, J. J.
23
1978
LARCH: languages and tools for formal specification. Zbl 0794.68103
Guttag, John V.; Horning, James J.
21
1993
A procedure for grammatical inference. Zbl 0254.68020
Horning, J. J.
15
1972
Report on the Larch shared language. Zbl 0581.68007
Guttag, J. V.; Horning, J. J.
9
1986
Efficient LR(1) parsers. Zbl 0235.68009
Anderson, T.; Eve, J.; Horning, J. J.
9
1973
Proof rules for the programming language Euclid. Zbl 0385.68009
London, R. L.; Guttag, J. V.; Horning, J. J.; Lampson, B. W.; Mitchell, J. G.; Popek, G. J.
8
1978
A Larch shared language handbook. Zbl 0581.68008
Guttag, J. V.; Horning, J. J.
4
1986
Process structuring. Zbl 0266.68012
Horning, J. J.; Randell, B.
4
1973
Proof rules for the programming language Euclid. Zbl 0399.68011
London, R. L.; Guttag, J. V.; Horning, J. J.; Lampson, B. W.; Mitchell, J. G.; Popek, G. J.
3
1979
Using transformations and verification in circuit design. Zbl 0800.94308
Saxe, James B.; Garland, Stephen J.; Guttag, John V.; Horning, James J.
1
1992
A program structure for error detection and recovery. Zbl 0295.68026
Horning, J. J.; Lauer, H. C.; Melliar-Smith, P. M.; Randell, B.
1
1974
LARCH: languages and tools for formal specification. Zbl 0794.68103
Guttag, John V.; Horning, James J.
21
1993
Using transformations and verification in circuit design. Zbl 0800.94308
Saxe, James B.; Garland, Stephen J.; Guttag, John V.; Horning, James J.
1
1992
Report on the Larch shared language. Zbl 0581.68007
Guttag, J. V.; Horning, J. J.
9
1986
A Larch shared language handbook. Zbl 0581.68008
Guttag, J. V.; Horning, J. J.
4
1986
Proof rules for the programming language Euclid. Zbl 0399.68011
London, R. L.; Guttag, J. V.; Horning, J. J.; Lampson, B. W.; Mitchell, J. G.; Popek, G. J.
3
1979
The algebraic specification of abstract data types. Zbl 0369.68010
Guttag, J. V.; Horning, J. J.
30
1978
The algebraic specification of abstract data types. Zbl 0395.68020
Guttag, J. V.; Horning, J. J.
23
1978
Proof rules for the programming language Euclid. Zbl 0385.68009
London, R. L.; Guttag, J. V.; Horning, J. J.; Lampson, B. W.; Mitchell, J. G.; Popek, G. J.
8
1978
A program structure for error detection and recovery. Zbl 0295.68026
Horning, J. J.; Lauer, H. C.; Melliar-Smith, P. M.; Randell, B.
1
1974
Efficient LR(1) parsers. Zbl 0235.68009
Anderson, T.; Eve, J.; Horning, J. J.
9
1973
Process structuring. Zbl 0266.68012
Horning, J. J.; Randell, B.
4
1973
A procedure for grammatical inference. Zbl 0254.68020
Horning, J. J.
15
1972
all top 5

Cited by 162 Authors

8 Tarlecki, Andrzej
7 Sannella, Donald T.
4 Bidoit, Michel
4 Ehrig, Hartmut
3 Bermudez, Manuel E.
3 Bernot, Gilles
3 Bouhoula, Adel
3 Broy, Manfred
3 Goguen, Joseph Amadee
3 Kapur, Deepak
3 Meseguer Guaita, José
3 Wirsing, Martin
2 Bergstra, Jan A.
2 Blum, Edward Kenneth
2 Choppy, Christine
2 Cremers, Armin B.
2 Ehrich, Hans-Dieter
2 Hibbard, Thomas N.
2 Leavens, Gary T.
2 Lescanne, Pierre
2 Lipeck, Udo Walter
2 Moss, Lawrence S.
2 Mossakowski, Till
2 Müller, Peter
2 Musser, David R.
2 Olderog, Ernst-Rüdiger
2 Pair, Claude
2 Parisi-Presicce, Francesco
2 Remy, Jean-Luc
2 Thatcher, James W.
2 Tucker, John V.
2 Wagner, Eric G.
2 Wright, Jesse B.
1 Abadi, Martín
1 Apt, Krzysztof Rafal
1 Archer, Myla M.
1 Aronson, Alan R.
1 Astesiano, Egidio
1 Bastide, Rémi
1 Bauer, Michael A.
1 Berry, Daniel M.
1 Biermann, Alan W.
1 Burstall, Rod M.
1 Callegarin, G.
1 Chater, Nick
1 Comon, Hubert
1 Cook, Craig M.
1 Cowan, Donald D.
1 Davenport, James Harold
1 de la Higuera, Colin
1 de Lucena, Carlos José Pereira
1 de Rijke, Maarten
1 Denis, François
1 Drosten, Klaus
1 Eden, Amnon H.
1 Esposito, Yann
1 Eyraud, Rémi
1 Ferrari, Mauro
1 Fey, Werner
1 Finance, Jean-Pierre
1 Fiorentini, Camillo
1 Fridman, Felix J.
1 Futatsugi, Kokichi
1 Gaines, Brian R.
1 Gasparis, E.
1 Gaudel, Marie-Claude
1 Ginali, Susanna
1 Gogolla, Martin
1 Golovkin, B. A.
1 Groote, Jan Friso
1 Hansen, Horst
1 Haveraaen, Magne
1 Hawrusik, Frank M.
1 Hehner, Eric C. R.
1 Heilbrunner, Stephan
1 Hennicker, Rolf
1 Hodges, Wilfrid
1 Holloway, Glenn H.
1 Huang, Daniel T.
1 Hutchins, Sandra E.
1 Infante-Lopez, Gabriel G.
1 Jacobs, Dean
1 Jacquemard, Florent
1 Jäger, Gerhard
1 Jalote, Pankaj
1 Järvi, Jaakko
1 Jouannaud, Jean-Pierre
1 Kahrs, Stefan Michael
1 Kaplan, Stéphane
1 Kazman, Rick
1 Kirchner, Hélène
1 Klaeren, Herbert A.
1 Klein, Dan
1 Koskimies, Kai
1 Kreowski, Hans-Jörg
1 Krieg-Brückner, Bernd
1 Lazrek, Azeddine
1 Leavens, Gray T.
1 Lehmann, Daniel J.
1 Leino, K. Rustan M.
...and 62 more Authors

Citations by Year