James J. Horning - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 58 from 58

2011

The Development and Writing of "Process Structuring"James J. Horning. BIRTHDAY 2011: 267-272 [doi]

2010

The work of ACM s awards committeeCalvin C. Gotlieb, James J. Horning. CACM, 53(4):5, 2010. [doi]

2008

Words Matter: Privacy, Security, and Related TermsJames J. Horning. isips 2009: 57-62 [doi]

2004

Coincidental risksJames J. Horning. CACM, 47(4):112, 2004. [doi]

2002

Risks of linear thinkingPeter J. Denning, James J. Horning. CACM, 45(3):120, 2002. [doi]

2001

Learning from experienceJames J. Horning. CACM, 44(7):112, 2001. [doi]

1995

The Larch Shared Language: Some Open ProblemsJames J. Horning. compass 1996: 58-73

1994

LCLint: A Tool for Using Specifications to Check CodeDavid Evans, John V. Guttag, James J. Horning, Yang Meng Tan. ESEC/FSE 1994: 87-96 [doi]

1993

An Overview of LarchStephen J. Garland, John V. Guttag, James J. Horning. mcmaster 1993: 329-348

Larch: Languages and Tools for Formal SpecificationJohn V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing. Texts and Monographs in Computer Science, Springer, 1993. [doi]

Using Transformations and Verification in Circuit DesignJames B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland. fmsd, 3(3):181-209, 1993.

1992

Using Transformations and Verification in Circuit DesignJames B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland. larch 1993: 201-226

Using Transformations and Verification in Ciruit DesignJames B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning. ifip10-2 1992: 1-25

1991

A Tutorial on LARCH and LCL, A LARCH/C Interface LanguageJohn V. Guttag, James J. Horning. FM 1991: 1-78

1990

Debugging Larch Shared Language SpecificationsStephen J. Garland, John V. Guttag, James J. Horning. TSE, 16(9):1044-1057, 1990. [doi]

1987

Synchronization Primitives for a Multiprocessor: A Formal SpecificationAndrew Birrell, John V. Guttag, James J. Horning, Roy Levin. sosp 1987: 94-102

1986

A Larch Shared Language HandbookJohn V. Guttag, James J. Horning. SCP, 6(2):135-157, 1986.

Report on the Larch Shared LanguageJohn V. Guttag, James J. Horning. SCP, 6(2):103-134, 1986.

Abstracts in software engineeringJohn V. Guttag, James J. Horning, Jeannette M. Wing. sigsoft, 11(1):103-110, 1986. [doi]

The Open ChannelJames J. Horning, Daniel Tabak. Computer, 19(10):85-86, 1986. [doi]

1985

The Larch Family of Specification LanguagesJohn V. Guttag, James J. Horning, Jeannette M. Wing. IEEE Software, 2(5):24-36, 1985. [doi]

Combining Algebraic and Predicative Specifications in LarchJames J. Horning. tapsoft 1985: 12-26

Trip report: computing in support of battle managementJames J. Horning. sigcas, 14-15(4, 1-3):38-40, 1985. [doi]

1983

An Introduction to the Larch Shared LanguageJohn V. Guttag, James J. Horning. ifip 1983: 809-814

1982

Some Notes on Putting Formal Specifications to Productive UseJohn V. Guttag, James J. Horning, Jeannette M. Wing. SCP, 2(1):53-68, 1982.

1981

FP with data abstraction and strong typingJohn V. Guttag, James J. Horning, John Williams. fpca 1981: 11-24 [doi]

Issues and ObservationsJames J. Horning. FM 1982: 5-24

1980

Formal Specification as a Design ToolJohn V. Guttag, James J. Horning. POPL 1980: 251-261

1978

1977

1976

Some Desirable Properties of Data Abstraction FacilitiesJames J. Horning. sigplan 1976: 60-62 [doi]

What the Compiler Should Tell the UserJames J. Horning. ac 1976: 525-548

LR Grammars and AnalysersJames J. Horning. ac 1976: 85-108

Structuring Compiler DevelopmentJames J. Horning. ac 1976: 498-513

After-dinner speechJames J. Horning. sigada 1977: 444-445

1975

Language Design for Programming ReliabilityJohn D. Gannon, James J. Horning. TSE, 1(2):179-191, 1975.

The impact of language design on the production of reliable softwareJohn D. Gannon, James J. Horning. relsoft 1975: 10-22 [doi]

SIGPLAN 1: Should high level languages be used to write systems software? (Debate)James J. Horning, John G. Fletcher, Dennis J. Frailey. acm 1975: 204 [doi]

Yes! high level languages should be used to write systems softwareJames J. Horning. acm 1975: 206-208 [doi]

1974

A program structure for error detection and recoveryJames J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell. os 1974: 171-187

1973

Efficient LR(1) ParsersT. Anderson, J. Eve, James J. Horning. ACTA, 2:12-39, 1973.

Reflections on a language designed to write an operating systemB. L. Clark, James J. Horning. sigplan 1973: 52-56 [doi]

Process StructuringJames J. Horning, Brian Randell. ACM Comput. Surv., 5(1):5-30, 1973.

1971

The System Language for Project SUEB. L. Clark, James J. Horning. sigplan 1971: 79-88 [doi]

A Procedure for Grammatical InferenceJames J. Horning. ifip 1971: 519-523

An LALR(k) Parser GeneratorWilf R. LaLonde, E. S. Lee, James J. Horning. ifip 1971: 513-518

1970

Empirical comparison of LR(k) and precedence parsersJames J. Horning, Wilf R. LaLonde. SIGPLAN, 5(11):10-24, 1970. [doi]

1969

A study of grammatical inferenceJames J. Horning. PhD thesis, Stanford University, USA, 1969. [doi]

1968

The XPL compiler generator systemWilliam M. McKeeman, James J. Horning, E. C. Nelson, David B. Wortman. afips 1968: 617-635 [doi]

Sign in or sign up to see more results.

runs on WebDSL