A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking
Article in PLOS ONE (May 2016)
The most recent citing publication is shown below. View this citation on Dimensions.
Semantics, Applications, and Implementation of Program Generation
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Generative Programming and Software System Families
-
Altmetric BadgeChapter 2 Accomplishments and Research Challenges in Meta-programming
-
Altmetric BadgeChapter 3 A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming
-
Altmetric BadgeChapter 4 Short Cut Fusion: Proved and Improved
-
Altmetric BadgeChapter 5 Generation of Efficient Programs for Solving Maximum Multi-marking Problems
-
Altmetric BadgeChapter 6 Static Transition Compression
-
Altmetric BadgeChapter 7 A Unifying Approach to Goal-Directed Evaluation
-
Altmetric BadgeChapter 8 Integrating Partial Evaluators into Interpreters
-
Altmetric BadgeChapter 9 A Design Methodology for Functional Programs
-
Altmetric BadgeChapter 10 Dynamically Adaptable Software with Metacomputations in a Staged Language
-
Altmetric BadgeChapter 11 MetaKlaim: Meta-programming for Global Computing
-
Altmetric BadgeChapter 12 A Transformational Approach which Combines Size Inference and Program Optimization