DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Electronic Notes in Theoretical Computer Science

Abbreviated Title: Electronic Notes in Theoretical Computer Science

Publisher: Elsevier BV

ISSN (Print): 15710661

Publication date Created: August 2009

Publication date (Print): August 2009

Volume: 248

Pages: 57-66

Article

DOI: 10.1016/j.entcs.2009.07.059

SO-VID: 1439f499-0bad-4aa3-8807-c6c0fa2aeff3

License:

https://www.elsevier.com/tdm/userlicense/1.0/

http://creativecommons.org/licenses/by-nc-nd/3.0/

History

Data availability:

Comments

Comment on this article

scite_