zum Inhalt springen
SE 1 - WS 2014/15
Benutzer-Werkzeuge
Anmelden
Webseiten-Werkzeuge
Werkzeuge
Ältere Versionen
Links hierher
Medien-Manager
Übersicht
Anmelden
Medien-Manager
Übersicht
Zuletzt angesehen:
•
Glossar (English)
Seitenleiste
Menü
Software-Entwicklung I
Informationen zur Vorlesung
Materialien zur Vorlesung
Übungsorganisation
Material von Tutoren
Seiten der Übungsgruppen
Glossar
/
Glossar (English)
offiziell:glossar_english
Glossar (English)
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
Top ↑
offiziell/glossar_english.txt
· Zuletzt geändert: 2014/09/25 16:08 von
Mathias Weber
Seiten-Werkzeuge
Ältere Versionen
Links hierher
Nach oben