Sciweavers

10899 search results - page 153 / 2180
» The GP Programming System
Sort
View
WCRE
1998
IEEE
15 years 6 months ago
Program Comprehension in Multi-Language Systems
Bernt Kullbach, Andreas Winter, Peter Dahm, Jü...
TACAS
2000
Springer
106views Algorithms» more  TACAS 2000»
15 years 6 months ago
Verification of Parameterized Systems Using Logic Program Transformations
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...
89
Voted
OOPSLA
1987
Springer
15 years 6 months ago
Teaching Object-Oriented Programming with the KEE System
Renate Kempf, Marilyn Stelzner