scientific article; zbMATH DE number 1953280
From MaRDI portal
Publication:4414732
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Proof optimization for partial redundancy elimination ⋮ A framework for security analysis of mobile wireless networks ⋮ Dead code elimination based pointer analysis for multithreaded programs ⋮ Recognition of logically related regions based heap abstraction ⋮ Relational Analysis of Correlation ⋮ Control-flow analysis of function calls and returns by abstract interpretation ⋮ Control Flow Analysis of Generalised Boolean 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 ⋮ 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
