Download Algebraic Methods II: Theory, Tools and Applications PDF

TitleAlgebraic Methods II: Theory, Tools and Applications
Author
LanguageEnglish
File Size23.2 MB
Total Pages430
Document Text Contents
Page 429

Subject Index

abstract syntax 105, 241,365

ACP 203, 303, 314, 333, 341

algebraic specification 147, 300, 339,

341, 363, 395

algebraic specification language 303, 339

ALGRES 339

ASF 105, 107, 203, 303, 363

AUTOMATH 170

bisimulation s~=mantics 341

black-box correctness 171

BMASF 363

case studies and examples

alternating bit-protocol 324

BLISS 133

chess tournaments 8

gas station 143

landing control system 321

library desk 49

Norman's data base 205

naturals and booleans 107, 345, 373

parallel zero search 62

PCTE 99

POLAR 275

satellite tuner 132

simple language 108

SPESI 133

studio booking system 132

Swiss system 8

television 134

Timbuktu airport 322

TIPTOP 132

transit node 342, 397

typechecker 108

vending machine 320

74283 four bit adder 173

CCS 334

Church-Rosser 17

class description 210, 278

class 278

COLD 99, 167, 277, 303, 304

COLD-K 205, 236,304

COLD-Static 303

communication 165, 314, 352

communication protocol 324

concrete syntax 105, 241

data base 205

design 167, 156, 343

design process 55, 143, 172

distributed systems 153

environment generation 105

ERAE t5, 127, 129, 165, 341,395

examples: see case studies

fairness 55

FOREST 30

formalization process 16, 129, 143

glass-box correctness 171

hacldng 30

implementation freedom 179

import relation 233, 359

inheritance 277

Similer Documents