Modular class analysis with DATALOG

DOI10.1007/3-540-44898-5_2MaRDI QIDQ4813389zbMATH OpenFDO

Authors Frédéric Besson, Thomas Jensen

Publication date 13 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2694/26940019.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Class-level modular analysis for object oriented languages
• Why Use Datalog to Analyze Programs?
• Class analysis of object-oriented programs through abstract interpretation
• Programming Languages and Systems
• scientific article; zbMATH DE number 638304

Cited in

(2)

• Class-level modular analysis for object oriented languages
• Why Use Datalog to Analyze Programs?

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Modular class analysis with DATALOG

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4813389)