Generating Specialized Rules and Programs for Demand-Driven Analysis

DOI10.1007/978-3-540-79980-1_26zbMath1170.68434OpenAlexW1545676661MaRDI QIDQ5505434

Yanhong A. Liu, K. Tuncay Tekle, Katia Hristova

Publication date: 27 January 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79980-1_26

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Grammar-related transformations of logic programs
• Interconvertibility of a class of set constraints and context-free-language reachability
• Linearisability on Datalog programs
• Efficient and flexible access control via Jones-optimal logic program specialisation
• On the power of magic
• Tabled evaluation with delaying for general logic programs
• GRAMMARS AND AUTOMATA TO OPTIMIZE CHAIN LOGIC QUERIES
• Monadic datalog and the expressive power of languages for Web information extraction
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Generating Specialized Rules and Programs for Demand-Driven Analysis