Barbara G. Ryder

From MaRDI portal
Person:202479

Available identifiers

zbMath Open ryder.barbara-gMaRDI QIDQ202479

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q30467582004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44177892003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44066782003-06-26Paper
https://portal.mardi4nfdi.de/entity/Q27640612002-01-22Paper
Exploring the interaction between Java's implicitly thrown exceptions and instruction scheduling2001-09-13Paper
https://portal.mardi4nfdi.de/entity/Q48919191996-10-20Paper
Interprocedural def-use associations for C systems with single level pointers1994-09-29Paper
Properties of data flow frameworks: A unified model1990-01-01Paper
Proving relative lower bounds for incremental algorithms1990-01-01Paper
Conditions for incremental iteration: Examples and counterexamples1988-01-01Paper
Constructing the Call Graph of a Program1979-01-01Paper
The pfort verifier1974-01-01Paper

Research outcomes over time

This page was built for person: Barbara G. Ryder

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:202479&oldid=10481458"
Powered by MediaWiki