Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
danvy, olivier
(5)henglein, fritz
(2)mairson, harry
(2)pettorossi, alberto
(2)agha, gul
(1)filinski, andrzej
(1)glück, robert
(1)meseguer, josé
(1)thiemann, peter
(1)Schlagwort
edv
(5)informatik
(5)logic
(3)program transformation
(3)software engineering
(3)theorie
(3)algorithm
(2)algorithm construction
(2)algorithmconstruction
(2)algorithms
(2)automata
(2)automatic program derivation
(2)automaticprogramderivation
(2)c programming language
(2)compiler
(2)cprogramminglanguage
(2)development
(2)formal specification
(2)formalspecification
(2)object oriented design
(2)objectorienteddesign
(2)partial evaluation
(2)partialevaluation
(2)program derivation systems
(2)program specialization
(2)programderivationsystems
(2)programmieren
(2)programmiersprachen
(2)programming
(2)programming languages, compilers, interpreters
(2)programming techniques
(2)programspecialization
(2)software-entw.
(2)algebra
(1)algebraic structures
(1)algorithmus
(1)automatic programming
(1)automaticprogramming
(1)bytecode specialization
(1)bytecodespecialization
(1)calculus
(1)compilers and interpreters
(1)complex
(1)computational complexity
(1)computational logics
(1)computationalcomplexity
(1)computationallogics
(1)computer communication networks
(1)computerprogrammierung und softwareentwicklung
(1)concurrency
(1)control
(1)datenstrukturen
(1)formal verification
(1)fusion
(1)informatik, computer
(1)language
(1)logics and meanings of programs
(1)logik
(1)mathematical logic and formal languages
(1)mathematical logic and foundations
(1)mathematik
(1)metaprogramming
(1)ml
(1)netzwerk (elektronisch)
(1)object-oriented languages
(1)object-orientedlanguages
(1)objektorientiert (edv)
(1)power analysis
(1)poweranalysis
(1)program analysis
(1)program semantics
(1)programanalysis
(1)programmanalyse
(1)programmierung
(1)programming language
(1)programming languages
(1)programming theory
(1)programminglanguage
(1)programminglanguages
(1)programsemantics
(1)programtransform
(1)programtransformation
(1)software development
(1)software engineerin
(1)software engineering/programmi
(1)theory of computation
(1)variable
(1)variable elimination
(1)verification
(1)übersetzer (edv)
(1)Ergebnis: 5 Artikel
Redaktion: olivier danvy
