Sciweavers

Share
SAS
2004
Springer

Towards Declarative Programming for Web Services

10 years 10 days ago
Towards Declarative Programming for Web Services
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 Sriram Sankaranarayanan, Henny B. Sipma, and Zohar Manna Spatial Analysis of BioAmbients . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 Hanne Riis Nielson, Flemming Nielson, and Henrik Pilegaard Security and Safety Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84 Qi Sun, Anindya Banerjee, and David A. Naumann Information Flow Analysis in Logical Form . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100 Torben Amtoft and Anindya Banerjee Type Inference Against Races . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116 Cormac Flanagan and Stephen N. Freund
Sheila A. McIlraith
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where SAS
Authors Sheila A. McIlraith
Comments (0)
books