more....
abstract interpretation abstract machine Actorsalgebraic Algebra of Communicating Processes alpha conversion Array Theory autoprojector axiomatic semantics axiomatic set theory backward analysis beta conversion Bird-Meertens Formalism bottombounded Busy BeaverCA canonicity categorychain Church integer Church-Rosser Theorem closed term closure closure conversion coalesced sum combinator complete metric space complete partial ordering decision problem delta reduction denotational semantics deterministic automaton directed set discriminated union distributive lattice domain theory effective computable embeddingentropy eta conversion evaluator Finite State Machine FSMGottlob Frege greatest lower bound Head Normal Form head-strictideal inclusive Isabellejoin lattice least upper bound lifted domain linear argument linear logic linear type Liskov substitution principle minimal automaton model checkingmonad monadic nondeterministic automaton open/closed principle operational semantics pi-calculus pointed domain polymorphism powerdomain predomain pre-order projection recursion theory reduction strategy reflexive relational algebra semantics set complementstate static analysis sticky analysissum syntax tree transparenttype type assignment typed lambda-calculus
more......
Copyright © 1999-2020 www.hobbyprojects.com (All rights reserved)
