Martin Bravenboer
- Strictly declarative specification of sophisticated points-to analyses
2009/10/25 by Martin Bravenboer, Yannis Smaragdakis · 5 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Software Testing and Debugging Techniques
- Join Processing for Graph Patterns: An Old Dog with New Tricks
2015/03/13 by Dung T. Nguyen, Nguyen, Dung, Molham Aref +11 · 1 citation
Computer Science · #Advanced Database Systems and Queries #Data Management and Algorithms #Data Structures and Algorithms (cs.DS) #Databases (cs.DB) #E.1 #FOS: Computer and information sciences #Graph Theory and Algorithms #H.2 #H.3.4