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 

• Type: Conference
• Year: 2004
• Where: SAS
• Authors: Sheila A. McIlraith
• Keywords: Anindya Banerjee, Anindya Banerjee Type, Formal Methods, Preda Constraint-Based Linear-Relations, SAS 2004