a

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

b

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

c

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

d

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

e

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

f

• final
• formal language
• formal parameter
• function application

g

• garbage collection
• graph
• guards

h

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

i

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

k

• key abstraction

l

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

m

• mark
• message
⇒ ...

m ...

• method
• method (objects)
• module
• multiple inheritance
• mutually recursive

n

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

o

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

p

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

r

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

s

• scope
• selector
⇒ ...

s ...

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

t

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

u

• unambiguous
• unboxing
• upper bound
• use case

v

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

w

• word