English
Logic-Based Program Synthesis and Transformation
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Formalization and Execution of Linear Algebra: From Theorems to Algorithms
-
Altmetric BadgeChapter 2 Information Flow in Object-Oriented Software
-
Altmetric BadgeChapter 3 A Transformational Approach to Resource Analysis with Typed-Norms
-
Altmetric BadgeChapter 4 A Finite Representation of the Narrowing Space
-
Altmetric BadgeChapter 5 Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models
-
Altmetric BadgeChapter 6 From Outermost Reduction Semantics to Abstract Machine
-
Altmetric BadgeChapter 7 Towards Erlang Verification by Term Rewriting
-
Altmetric BadgeChapter 8 Extending Co-logic Programs for Branching-Time Model Checking
-
Altmetric BadgeChapter 9 Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics
-
Altmetric BadgeChapter 10 A Logical Encoding of Timed $$\pi $$ -Calculus
-
Altmetric BadgeChapter 11 A New Hybrid Debugging Architecture for Eclipse
-
Altmetric BadgeChapter 12 Compiling a Functional Logic Language: The Fair Scheme
-
Altmetric BadgeChapter 13 Generating Specialized Interpreters for Modular Structural Operational Semantics
Attention for Chapter 13:
Generating Specialized Interpreters for Modular Structural Operational Semantics