External Links

Journal: Science of Computer Programming

Volume 71, Issue 3

165 -- 180Johan Fabry, Éric Tanter, Theo D'Hondt. KALA: Kernel aspect language for advanced transactions
181 -- 212Massimo Tivoli, Paola Inverardi. Failure-free coordinators synthesis for component-based architectures
213 -- 241Tian Zhao, Jason Baker, James Hunt, James Noble, Jan Vitek. Implicit ownership types for memory management
242 -- 247Myung-Hoon Chung. Science Code.Net: Object-oriented programming for science

Volume 71, Issue 2

89 -- 109Cormac Flanagan, Stephen N. Freund. Atomizer: A dynamic atomicity checker for multithreaded programs
110 -- 143Lucia Acciai, Michele Boreale. XPi: A typed process calculus for XML messaging
144 -- 164Marco Crasso, Alejandro Zunino, Marcelo Campo. Easy web service discovery: A query-by-example approach

Volume 71, Issue 1

1 -- 16Antonio Navarro, Alfredo Fernández-Valmayor, Baltasar Fernández-Manjón, José Luis Sierra. Characterizing navigation maps for web applications with the NMM approach
17 -- 56R. J. Peters, Chris Verhoef. Quantifying the yield of risk-bearing IT-portfolios
57 -- 72Wim H. Hesselink. A challenge for atomicity verification
73 -- 87Joseph Barjis. The importance of business process modeling in software systems design
runs on