Chinese
Functional Programming, Concurrency, Simulation and Automated Reasoning
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 On the use of theory based systems to traverse educational gaps in computer system related activities
-
Altmetric BadgeChapter 2 Reflections on standard ML
-
Altmetric BadgeChapter 3 An introduction to the high-level language Standard ML
-
Altmetric BadgeChapter 4 Generating an algorithm for executing graphical models
-
Altmetric BadgeChapter 5 Modeling a NORAD Command Post using SADT and Colored Petri Nets
-
Altmetric BadgeChapter 6 Propositional temporal logics and their use in model checking
-
Altmetric BadgeChapter 7 The propositional μ-calculus and its use in model checking
-
Altmetric BadgeChapter 8 Analyzing concurrent systems using the Concurrency Workbench
-
Altmetric BadgeChapter 9 Reasoning about functional programs in Nuprl
-
Altmetric BadgeChapter 10 Concurrent ML: Design, application and semantics
-
Altmetric BadgeChapter 11 A taste of rewrite systems
-
Altmetric BadgeChapter 12 Programming in OBJ and Maude
-
Altmetric BadgeChapter 13 Supporting the attribute grammar programming paradigm in a lazy functional programming language
-
Altmetric BadgeChapter 14 Specification and simulation with ExSpect
-
Altmetric BadgeChapter 15 An overview of Larch
-
Altmetric BadgeChapter 16 The EVES system
-
Altmetric BadgeChapter 17 A systolizing compilation scheme for nested loops with linear bounds