Johnson M. Hart

According to our database, Johnson M. Hart authored at least 16 papers between 1973 and 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1996

A Scalable, Automated Process for Year 2000 System Correction.

Johnson M. Hart, Antonio Pizzarello

Proceedings of the 18th International Conference on Software Engineering, 1996

Program Slicing Using Weakest Preconditions.

Joseph J. Comuzzi, Johnson M. Hart

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Experience with Logical Code Analysis in Software Maintenance.

Johnson M. Hart

Softw. Pract. Exp., 1995

1982

Software Segmented Virtual Memory.

Anthony Q. Baxter, Johnson M. Hart

Softw. Pract. Exp., 1982

Permutation Inversions and Multidimensional Cumulative Distribution Functions.

Johnson M. Hart

Inf. Process. Lett., 1982

1980

Derivation Structures for Strictly Context-Sensitive Grammars

Johnson M. Hart

Inf. Control., April, 1980

Fast recognition of Baxter permutations using syntactical and complete bipartite composite dag's.

Johnson M. Hart

Int. J. Parallel Program., 1980

1979

Enumerating syntactical graphs and lattices of derivations.

Ronald Alter, Johnson M. Hart

Int. J. Parallel Program., 1979

1976

Right and Left Parses in Phrase-Structure Grammars

Johnson M. Hart

Inf. Control., November, 1976

Recursive Generation of Local Adjunct Languages.

Johnson M. Hart

Math. Syst. Theory, 1976

The Derivation Language of a Phrase Structure Grammar.

Johnson M. Hart

J. Comput. Syst. Sci., 1976

1975

Derivation Languages and Syntactical Categories

Johnson M. Hart

Inf. Control., July, 1975

1974

Acceptors for the Derivation Languages of Phrase-Structure Grammars

Johnson M. Hart

Inf. Control., May, 1974

A Class of Push-Down Acceptors for Adjunct Languages.

Johnson M. Hart

IEEE Trans. Computers, 1974

Ambiguity and Decision Problems for Local Adjunct Languages.

Johnson M. Hart

J. Comput. Syst. Sci., 1974

1973

An Infinite Hierarchy of Linear Local Adjunct Languages

Johnson M. Hart

Inf. Control., October, 1973