Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

A framework for memory efficient context-sensitive program analysis

From MaRDI portal
Publication:2082559
Jump to:navigation, search

DOI10.1007/s00224-022-10093-wOpenAlexW4285727218MaRDI QIDQ2082559

Martin Trapp, Mathias Hedenborg, Jonas Lundberg, Welf M. Löwe

Publication date: 4 October 2022

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-022-10093-w


zbMATH Keywords

data-flow analysisstatic program analysiscontext-sensitivity


Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx) Circuits, networks (94Cxx)



Uses Software

  • Sparrow


Cites Work

  • Unnamed Item
  • Unnamed Item
  • Properties of data flow frameworks: A unified model
  • Graph-Based Algorithms for Boolean Function Manipulation
  • Binary Decision Diagrams
  • Program analysis via satisfiability modulo path programs
  • Programming Languages and Systems


This page was built for publication: A framework for memory efficient context-sensitive program analysis

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2082559&oldid=14569556"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 1 February 2024, at 22:06.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki