Programming Languages and Systems
From MaRDI portal
Publication:5899020
DOI10.1007/11693024zbMath1178.68155OpenAlexW2491912653MaRDI QIDQ5899020
Ben Liblit, Marina Polishchuk, Junghee Lim, Akash Lal
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11693024
Graph theory (including graph drawing) in computer science (68R10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains ⋮ Program Analysis Using Weighted Pushdown Systems
This page was built for publication: Programming Languages and Systems
