a

• array
• arity
• application programming interface (API)
• anti-symmetric
• array type
• attribute
• abrupt termination
• axiom
• AVL tree
• autoboxing
• ambiguous
• anonymous class
• abstract method
• abstract datatype
• abstract class
• abstract
• access modifier
• abstraction
• alphabet
• algorithm
• allocation
• actual parameter

b

• body
• boxing
• binding
• branch
• behavior
• binary tree
• behavioral model

c

• computer science
• classification
• class name
• conditional
• constructor (functional)
• correctness
• context-free grammar
• constructor (objects)
• class declaration
• constant
• class method
• call tree
• class attribute
• call-by-need
• call-by-name
• cast
• call-by-value
• catch
• class (abstract)
• class
• child
• character

d

• deterministic
• deserialization
• digraph
• dynamic binding
• derivation
• discriminator
• dynamic
• data structures
• derivable
• declaration
• deallocation
• default constructor
• denotational semantics
• derivability

e

• exception handling

§...

...

• execution state
• expression
• extends
• evaluation
• execution
• empty tree
• efficiency
• environment
• encapsulation
• edge
• enumeration type

f

• function application
• formal parameter
• formal language
• final

g

• graph
• guards
• garbage collection

h

• higher order function
• Hoare logic
• Hoare triple
• homogeneous
• height
• Hoare rule
• heap property
• hash function
• hash collision
• hash table
• Haskell program

i

• instance
• inner class
• instance variable
• inner node
• interface (software system)
• invariant
• injective
• interface (module)
• interface declaration
• implicit parameter
• identity
• inheritance
• incarnation
• implements
• indexed
• information hiding
• infix

k

• key abstraction

l

• lifetime (variable)
• lifetime (object)
• loop invariant
• lifetime (incarnation)
• location
• language definition with syntax diagrams
• lambda-abstraction
• leftmost derivation
• language
• language (syntax diagrams)
• leaf

m

• module
• mutually recursive
• multiple inheritance

§...

...

• method (objects)
• method
• mark
• message

n

• non-termination
• normal termination
• non-terminal symbol
• non-terminal node
• nested
• node
• nested class
• non-deterministic

o

• overloading (general)
• overloading (Java)
• overriding
• ordering
• operational semantics
• object-oriented
• object
• object-based
• object model
• object reference

p

• procedure
• program
• procedural paradigm
• polymorphism (type system)
• program (abstract)
• procedural incarnation
• program variable
• protected
• proof outline
• polymorphism
• program module
• program framework
• production
• parameter passing
• partial
• paradigm
• pair
• polymorphic
• partial correctness
• parametric polymorphism
• partial ordering
• pointer
• pattern matching
• platform
• package
• Pattern

r

• reference type
• reflexive
• root
• reference
• rule
• rightmost derivation
• relation
• raise
• recursive
• reachable
• reachability
• recursion
• record

s

• string
• substitution principle
• strict
• structural induction

§...

...

• stationary
• static variable
• subtree
• stream
• streams
• symbol
• syntax diagram
• syntax tree
• system
• static method
• syntax
• subtype polymorphism
• supertype
• synonym
• subtype
• serialization
• signature
• simple statement
• size
• shadowing
• semantics
• static class
• scope
• selector
• software
• side effect
• static
• software system
• static attribute
• statement
• state
• sorted
• space complexity
• specialization

t

• tree
• transitive
• tuple
• total correctness
• type system
• total
• type inference
• type declaration
• type
• text
• terminal node
• tail recursive
• top-level
• terminal symbol
• termination
• time complexity
• this
• testing

u

• use case
• upper bound
• unboxing
• unambiguous

v

• verification
• vertice
• variable
• values
• value
• validation

w

• word