Banshee

swMATH10661MaRDI QIDQ22619FDOQ22619

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/11547662_16

Cited In (6)

• A Scalable Inclusion Constraint Solver Using Unification
• Program Analysis Using Weighted Pushdown Systems
• Set constraints, pattern match analysis, and SMT
• Stardust
• The Complexity of Andersen’s Analysis in Practice
• Contextual effects for version-consistent dynamic software updating and safe concurrent programming

This page was built for software: Banshee