Sciweavers

41 search results - page 9 / 9
» Correcting the Dynamic Call Graph Using Control-Flow Constra...
Sort
View
POPL
2005
ACM
14 years 6 months ago
Synthesis of interface specifications for Java classes
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
P. Madhusudan, Pavol Cerný, Rajeev Alur, Wo...