Sciweavers

Share
8 search results - page 1 / 2
» icse 1992
Sort
View
ICSE
1992
IEEE-ACM
12 years 6 months ago
Seeking Concurrency in Rule-Based Programming
Gruia-Catalin Roman, Rose F. Gamble, William E. Ba...
ICSE
1992
IEEE-ACM
12 years 6 months ago
A Toolbox for the Verification of LOTOS Programs
This paper presents the tools Ald
Jean-Claude Fernandez, Hubert Garavel, Laurent Mou...
ICSE
1992
IEEE-ACM
12 years 6 months ago
The Use of Program Dependence Graphs in Software Engineering
This paper describes a language-independent program representation--the program dependence graph--and discusses how program dependence graphs, together with operations such as pro...
Susan Horwitz, Thomas W. Reps
books