scientific article; zbMATH DE number 1834570
From MaRDI portal
Publication:4779111
zbMath1005.68896MaRDI QIDQ4779111
Publication date: 24 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)
Related Items (5)
Precise interprocedural dependence analysis of parallel programs ⋮ A model checking-based approach for security policy verification of mobile systems ⋮ Deadlock checking by data race detection ⋮ Verification of Boolean programs with unbounded thread creation ⋮ Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
This page was built for publication:
