| |
|
| Artikel-Nr.: 858A-9783540421276 Herst.-Nr.: 9783540421276 EAN/GTIN: 9783540421276 |
| |
|
| | |
| Synthesis.- A Formal Framework for Synthesis and Verification of Logic Programs.- Protocols between Programs and Proofs.- Protocols between Programs and Proofs.- A Technique for Modular Logic Program Refinement.- A Technique for Modular Logic Program Refinement.- Transformation.- Higher-Order Transformation of Logic Programs.- Analysis.- Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings.- Specialisation.- A Model for Inter-module Analysis and Optimizing Compilation.- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages.- Automated Strategies for Specializing Constraint Logic Programs.- Abstract Interpretation.- Measuring the Precision of Abstract Interpretations.- Debugging.- Specifying Prolog Trace Models with a Continuation Semantics. Weitere Informationen: | | Author: | Kung-Kiu Lau | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, bücher für datenbanken - englischsprachig, Programmieren (EDV) / Generativ, Debugging, Program analysis, Prolog, computational logic, constraint programming, formal methods, functional programming, imperative programming, logic, logic programming |
| | |
| |