Publication:4414732
From MaRDI portal
zbMath1026.68029MaRDI QIDQ4414732
Flemming Nielson, Hanne Riis Nielson
Publication date: 27 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2566/25660223.htm
03B70: Logic in computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Control Flow Analysis of Generalised Boolean Networks, Control-flow analysis of function calls and returns by abstract interpretation, Proof optimization for partial redundancy elimination, A framework for security analysis of mobile wireless networks, Pathway analysis for BioAmbients, Program and proof optimizations with type systems, Hybrid logical analyses of the ambient calculus, From flow logic to static type systems for coordination languages, Dead code elimination based pointer analysis for multithreaded programs, Recognition of logically related regions based heap abstraction, Static analysis of topology-dependent broadcast networks, A control flow analysis for Beta-binders with and without static compartments, Heuristics for Safety and Security Constraints, A Static Analysis for Beta-Binders, Relational Analysis of Correlation