Models, Algebras and Logic of Engineering SoftwareManfred Broy, Markus Pizka This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant branches of mathematics is crucial both in education and practice. |
From inside the book
16 pages matching declarative programming in this book
Where's the rest of this book?
Results 1-3 of 16
Contents
Preface | 1 |
An Overview | 43 |
Unifying Theories of Parallel Programming | 81 |
Copyright | |
10 other sections not shown
Other editions - View all
Common terms and phrases
ACL2 algebra algorithm Alloy assertion atoms axioms basic behavior binary relation binding bytecode call stack components composed system composition Computer Science concurrent programs condition cons constraints construction declarative declarative programming defined definition defthm defun denote equational logic example execution expression finite formal function heap Hoare Hoare Logic Hoare triple implementation induction input int-fix interface abstraction Java Kripke structure labels List machine mathematical Maude method model checking module morphisms NeList notation object operand stack operations pop stack postcondition predicate programming language proof property refinement prove pushout reachable relation requirements result rev L2 rev V#0 rewrite theory rewriting logic rules satisfies semantics sequence sequential signature specification step structure symbols system model target temporal logic theorem thread tool transition transition relation translation tuple variables verification