Johnson M. Hart

Publication Activity (10 Years)

Years Active: 1973-1996
Publications (10 Years): 0

Publications

Joseph J. Comuzzi, Johnson M. Hart
Program Slicing Using Weakest Preconditions. FME (1996)
Johnson M. Hart, Antonio Pizzarello
A Scalable, Automated Process for Year 2000 System Correction. ICSE (1996)
Johnson M. Hart
Experience with Logical Code Analysis in Software Maintenance. Softw. Pract. Exp. 25 (11) (1995)
Anthony Q. Baxter, Johnson M. Hart
Software Segmented Virtual Memory. Softw. Pract. Exp. 12 (2) (1982)
Johnson M. Hart
Permutation Inversions and Multidimensional Cumulative Distribution Functions. Inf. Process. Lett. 14 (5) (1982)
Johnson M. Hart
Fast recognition of Baxter permutations using syntactical and complete bipartite composite dag's. Int. J. Parallel Program. 9 (4) (1980)
Johnson M. Hart
Derivation Structures for Strictly Context-Sensitive Grammars Inf. Control. 45 (1) (1980)
Ronald Alter, Johnson M. Hart
Enumerating syntactical graphs and lattices of derivations. Int. J. Parallel Program. 8 (4) (1979)
Johnson M. Hart
Right and Left Parses in Phrase-Structure Grammars Inf. Control. 32 (3) (1976)
Johnson M. Hart
Recursive Generation of Local Adjunct Languages. Math. Syst. Theory 9 (4) (1976)
Johnson M. Hart
The Derivation Language of a Phrase Structure Grammar. J. Comput. Syst. Sci. 12 (1) (1976)
Johnson M. Hart
Derivation Languages and Syntactical Categories Inf. Control. 28 (3) (1975)
Johnson M. Hart
A Class of Push-Down Acceptors for Adjunct Languages. IEEE Trans. Computers 23 (5) (1974)
Johnson M. Hart
Ambiguity and Decision Problems for Local Adjunct Languages. J. Comput. Syst. Sci. 8 (1) (1974)
Johnson M. Hart
Acceptors for the Derivation Languages of Phrase-Structure Grammars Inf. Control. 25 (1) (1974)
Johnson M. Hart
An Infinite Hierarchy of Linear Local Adjunct Languages Inf. Control. 23 (3) (1973)