Johnson M. Hart

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