Lawrence Yelowitz

Publication Activity (10 Years)

Years Active: 1975-1984
Publications (10 Years): 0

Publications

Lawrence Yelowitz
Practical Experience with an Ada-Based Formal Specification/Language on a Large Project. IEEE Symposium on Security and Privacy (1984)
Lawrence Yelowitz, Susan L. Gerhart, G. Hilborn
Modeling a Network Protocol in AFFIRM and Ada. PSTV (1982)
Lawrence Yelowitz
FACC activities/positions in methodology, verification, and trusted systems. ACM SIGSOFT Softw. Eng. Notes 6 (3) (1981)
Arthur G. Duncan, Lawrence Yelowitz
Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness. ICALP (1979)
Lawrence Yelowitz
A project approach to structure and correctness in Pitt's second computer science course. SIGCSE (1978)
Lawrence Yelowitz
Arthur G. Duncan: Data Structures and Program Correctness: Bridging the Gap. Comput. Lang. 3 (2) (1978)
Lawrence Yelowitz
Notes on "A note on the transitive closure of a boolean matrix". SIGACT News 10 (1) (1978)
Lawrence Yelowitz, Arthur G. Duncan
Abstractions, instantiations, and proofs of marking algorithms. Artificial Intelligence and Programming Languages (1977)
Susan L. Gerhart, Lawrence Yelowitz
Control Structure Abstractions of the Backtracking Programming Technique. IEEE Trans. Software Eng. 2 (4) (1976)
Susan L. Gerhart, Lawrence Yelowitz
Control Structure Abstractions of the Backtracking Programming Technique (Abstract). ICSE (1976)
Lawrence Yelowitz
An Efficient Algorithm for Constructing Hierarchical Graphs. IEEE Trans. Syst. Man Cybern. 6 (4) (1976)
Lawrence Yelowitz, Abraham Kandel
New Results and Techniques in Resolution Theory. IEEE Trans. Computers 25 (7) (1976)
Susan L. Gerhart, Lawrence Yelowitz
Observations of Fallibility in Applications of Modern Programming Methodologies. IEEE Trans. Software Eng. 2 (3) (1976)
Arthur G. Duncan, Lawrence Yelowitz
Loop Unravelling: A Practical Tool in Proving Program Correctness. Inf. Process. Lett. 4 (3) (1975)
Lawrence Yelowitz
Derivation of a Path-Connectivity Matrix for Tagged Flowcharts. J. ACM 22 (1) (1975)