Lawrence Yelowitz

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