Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
backes, peter
(1)cousot, radhia
(1)hanus, michael
(1)hermenegildo, manuel
(1)lecharlier, baudouin
(1)peter baumann
(1)rodriguez-artalejo, mario
(1)schmidt, david a.
(1)swierstra, s. d.
(1)Schlagwort
abstrakte interpretation
(6)abstrakteinterpretation
(5)edv
(5)informatik
(5)programming
(4)software engineering
(4)abstract interpretation
(3)abstractinterpretation
(3)allgemeines
(3)functional programming
(3)funktionales programmieren
(3)funktionalesprogrammieren
(3)logic
(3)programmieren
(3)software engineering/programming and operating systems
(3)theorie
(3)functionalprogramming
(2)logic programming
(2)partial evaluation
(2)static analysis
(2)algebra
(1)algebraic programming
(1)algebraiclogicprogramming
(1)algebraisches programmieren
(1)algebraischesprogrammieren
(1)algorithm
(1)algorithms
(1)analyse
(1)compiler
(1)computer
(1)computer system imp
(1)constraint
(1)constraint programming
(1)constraintdatastructure
(1)data structure
(1)database
(1)datentypen
(1)debugging
(1)declarative programming
(1)declarativedeklarativesprogrammieren
(1)deklaratives programmieren
(1)entwicklung
(1)function
(1)graphersetzungssystem
(1)information
(1)intelligenz
(1)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)logicprogramming
(1)logik
(1)optimization
(1)parameterisierte verifikation
(1)partialevaluation
(1)partielle auswertung
(1)partielleauswertung
(1)philosophie
(1)pro
(1)program analysis
(1)programanalysis
(1)programmie
(1)programmiersprache
(1)programmiersprachen
(1)programmiertheorie
(1)programming theory
(1)programmingtheory
(1)resolution
(1)semantics
(1)semantik
(1)semantische bereiche
(1)semantischebereiche
(1)shape-analyse
(1)software
(1)softwaremasse
(1)sprache
(1)staticanalysis
(1)statik
(1)statische analyse
(1)system
(1)system performance and evaluation
(1)term rewriting
(1)termrewriting
(1)th
(1)theory of com
(1)theory of computation
(1)type systems
(1)typensysteme
(1)typesystems
(1)verification
(1)verteilte nachrichtenbasierte systeme
(1)Ergebnis: 6 Artikel
Schlagwort: abstrakte interpretation
