scientific article; zbMATH DE number 2090844

zbMATH Open1067.68544MaRDI QIDQ4813396FDOQ4813396

Authors: Manuel Hermenegildo, Germán Puebla, F. Bueno, P. López-García 

Publication date: 13 August 2004

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

Title of this publication is not available (Why is that?)

Recommendations

• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• scientific article; zbMATH DE number 1368925
• scientific article; zbMATH DE number 1975609
• Abstract Interpretation with Specialized Definitions
• scientific article; zbMATH DE number 2086611

zbMATH Keywords

OptimizationParallelizationVerificationPartial EvaluationAbstract InterpretationGlobal AnalysisDebuggingProgram TransformationProgram Development(Constraint) Logic ProgrammingMulti-Paradigm ProgrammingProgramming EnvironmentsResource Control

Mathematics Subject Classification ID

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

Cited In (10)

• Abstraction-carrying code: a model for mobile code safety
• Testing your (static analysis) truths
• Title not available (Why is that?)
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
• Title not available (Why is that?)
• CiaoPP
• Program Development in Computational Logic
• Abstract Interpretation with Specialized Definitions

Uses Software

• Ciao

This page was built for publication:

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