scientific article; zbMATH DE number 2090844

zbMath1067.68544MaRDI QIDQ4813396

Francisco Bueno, Manuel V. Hermenegildo, Pedro Lopez-Garcia, Germán Puebla

Publication date: 13 August 2004

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

OptimizationVerificationParallelizationPartial 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)

Related Items

Abstraction-carrying code: a model for mobile code safety, CiaoPP, A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs, A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism, Testing your (static analysis) truths

Uses Software

• Ciao