Lawrence Yelowitz

According to our database, Lawrence Yelowitz authored at least 15 papers between 1975 and 1984.

Collaborative distances:

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

1984

Practical Experience with an Ada-Based Formal Specification/Language on a Large Project.

Lawrence Yelowitz

Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29, 1984

1982

Modeling a Network Protocol in AFFIRM and Ada.

Lawrence Yelowitz, Susan L. Gerhart, G. Hilborn

Proceedings of the Protocol Specification, 1982

1981

FACC activities/positions in methodology, verification, and trusted systems.

Lawrence Yelowitz

ACM SIGSOFT Softw. Eng. Notes, 1981

1979

Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness.

Arthur G. Duncan, Lawrence Yelowitz

Proceedings of the Automata, 1979

1978

Notes on "A note on the transitive closure of a boolean matrix".

Lawrence Yelowitz

SIGACT News, 1978

Arthur G. Duncan: Data Structures and Program Correctness: Bridging the Gap.

Lawrence Yelowitz

Comput. Lang., 1978

A project approach to structure and correctness in Pitt's second computer science course.

Lawrence Yelowitz

Proceedings of the 9th SIGCSE Technical Symposium on Computer Science Education, 1978

1977

Abstractions, instantiations, and proofs of marking algorithms.

Lawrence Yelowitz, Arthur G. Duncan

Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

1976

An Efficient Algorithm for Constructing Hierarchical Graphs.

Lawrence Yelowitz

IEEE Trans. Syst. Man Cybern., 1976

Control Structure Abstractions of the Backtracking Programming Technique.

Susan L. Gerhart, Lawrence Yelowitz

IEEE Trans. Software Eng., 1976

Observations of Fallibility in Applications of Modern Programming Methodologies.

Susan L. Gerhart, Lawrence Yelowitz

IEEE Trans. Software Eng., 1976

New Results and Techniques in Resolution Theory.

Lawrence Yelowitz, Abraham Kandel

IEEE Trans. Computers, 1976

Control Structure Abstractions of the Backtracking Programming Technique (Abstract).

Susan L. Gerhart, Lawrence Yelowitz

Proceedings of the 2nd International Conference on Software Engineering, 1976

1975

Derivation of a Path-Connectivity Matrix for Tagged Flowcharts.

Lawrence Yelowitz

J. ACM, 1975

Loop Unravelling: A Practical Tool in Proving Program Correctness.

Arthur G. Duncan, Lawrence Yelowitz

Inf. Process. Lett., 1975