Mathematical programming: Turing completeness and applications to software analysis

Authors

Keywords

Static analysis, Abstract interpretation, Code verification

Journal

Volume 28, Issue 1, Pages 82-104

Publisher

Springer Nature

Online

2014-02-17

DOI

10.1007/s10878-014-9715-3

References

View 1 related references

Contact the author

Discuss science. Find collaborators. Network.

Join a conversation

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now