Science of Computer Programming, Volume 64

Volume 64, Number 1, January 2007

Special issue on the 11th Static Analysis Symposium - SAS 2004

Roberto Giacobazzi:
Foreword. 1-2
Electronic Edition (link) BibTeX
Torben Amtoft, Anindya Banerjee:
A logic for information flow analysis with an application to forward slicing of simple imperative programs. 3-28
Electronic Edition (link) BibTeX
David A. Schmidt:
A calculus of logical relations for over- and underapproximating static analyses. 29-53
Electronic Edition (link) BibTeX
Enric Rodríguez-Carbonell, Deepak Kapur:
Automatic generation of polynomial invariants of bounded degree using abstract interpretation. 54-75
Electronic Edition (link) BibTeX
Michael Colón:
Polynomial approximations of the relational semantics of imperativeprograms. 76-96
Electronic Edition (link) BibTeX
Sumit Gulwani, George C. Necula:
A polynomial-time algorithm for global value numbering. 97-114
Electronic Edition (link) BibTeX
Robert Clarisó, Jordi Cortadella:
The octahedron abstract domain. 115-139
Electronic Edition (link) BibTeX
Cormac Flanagan, Stephen N. Freund:
Type inference against races. 140-165
Electronic Edition (link) BibTeX
Sarah Thompson, Alan Mycroft:
Abstract interpretation of combinational asynchronous circuits. 166-183
Electronic Edition (link) BibTeX

Special Issue on Coordination Models and Languages (COORDINATION 2005)

Jean-Marie Jacquet, Gian Pietro Picco:
Introduction to the special issue. 185-186
Electronic Edition (link) BibTeX
Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Global computing in a dynamic network of tuple spaces. 187-204
Electronic Edition (link) BibTeX
Nur Izura Udzir, Alan M. Wood, Jeremy L. Jacob:
Coordination with multicapabilities. 205-222
Electronic Edition (link) BibTeX
Alan W. Colman, Jun Han:
Using role-based coordination to achieve software adaptability. 223-245
Electronic Edition (link) BibTeX
Giovanni Russello, Michel R. V. Chaudron, Maarten van Steen, Ibrahim Bokharouss:
An experimental evaluation of self-managing availability in shared data spaces. 246-262
Electronic Edition (link) BibTeX

Manfred Broy:
Editorial comment to 'About "trivial" software patents: The IsNot case'. 263
Electronic Edition (link) BibTeX
Jan A. Bergstra, Paul Klint:
About "trivial" software patents: The IsNot case. 264-285
Electronic Edition (link) BibTeX
Ian J. Hayes:
Procedures and parameters in the real-time program refinement calculus. 286-311
Electronic Edition (link) BibTeX
Mark Burgess, Trond Reitan:
A risk analysis of disk backup or repository maintenance. 312-331
Electronic Edition (link) BibTeX
Jean-Christophe Filliâtre:
Formal proof of a program: Find. 332-340
Electronic Edition (link) BibTeX
Hui Gao, Jan Friso Groote, Wim H. Hesselink:
Lock-free parallel and concurrent garbage collection by mark&sweep. 341-374
Electronic Edition (link) BibTeX