bibliographer - Mads Rosendahl

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Abstract interpretation using attribute grammars Mads Rosendahl [github]

Automatic Complexity Analysis Mads Rosendahl [github]

Extended Set Constraints and Tree Grammar Abstraction of Programs Mads Rosendahl John P. Gallagher [github]

Simple Driving Techniques Mads Rosendahl [github]

Demand-Driven Higher-Order Fixpoint Iteration Mads Rosendahl [github]

Efficient strictness analysis of Haskell KristianDamm Jensen Peter Hjæresen Mads Rosendahl [github]

Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation John P. Gallagher Mads Rosendahl [github]

Higher-order chaotic iteration sequences Mads Rosendahl [github]

Abstract Interpretation and Attribute Grammars Mads Rosendahl [github]

Abstract Interpretation as a Programming Language Mads Rosendahl [github]

Minimal Function Graphs Are Not Instrumented Alan Mycroft Mads Rosendahl [github]

Higher-order minimal function graphs Neil D Jones Mads Rosendahl [github]

Library Size: 13G (12 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]