scientific article; zbMATH DE number 1953280
From MaRDI portal
Publication:4414732
zbMATH Open1026.68029MaRDI QIDQ4414732FDOQ4414732
Authors: Hanne Riis Nielson, Flemming Nielson 
Publication date: 27 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2566/25660223.htm
Title of this publication is not available (Why is that?)
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)
Cited In (20)
- Computer Aided Verification
- Hybrid logical analyses of the ambient calculus
- Relational Analysis of Correlation
- Flow logic for process calculi
- Control Flow Analysis of Generalised Boolean Networks
- Proof optimization for partial redundancy elimination
- Pathway analysis for BioAmbients
- A proof-theoretic approach to the static analysis of logic programs
- From flow logic to static type systems for coordination languages
- A framework for security analysis of mobile wireless networks
- Control-flow analysis of function calls and returns by abstract interpretation
- Program and proof optimizations with type systems
- Static analysis of topology-dependent broadcast networks
- Automated Reasoning with Analytic Tableaux and Related Methods
- A control flow analysis for Beta-binders with and without static compartments
- Dead code elimination based pointer analysis for multithreaded programs
- Recognition of logically related regions based heap abstraction
- A static analysis for beta-binders
- Correctness of static flow analysis in continuation semantics
- Heuristics for safety and security constraints
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4414732)
