Serie
lecture notes in computer science
(49)programming and software engineering
(15)theoretical computer science and general issues
(15)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
cortesi, agostino
(3)axel simon
(2)barthe, gilles
(2)chaudhuri, swarat
(2)chris hankin
(2)cousot, radhia
(2)farzan, azadeh
(2)flemming nielson
(2)gerwin klein
(2)hanne r. nielson
(2)palsberg, jens
(2)tobias nipkow
(2)alpuente, maría
(1)arbab, farhad
(1)attie, paul d.
(1)aziz, benjamin
(1)ball, thomas
(1)banda, maria garcia
(1)barrett, clark
(1)beckert, bernhard
(1)bernhard scholz
(1)blazy, sandrine
(1)bonsangue, marcello
(1)bosnacki, dragan
(1)bouajjani, ahmed
(1)chang, bor-yuh evan
(1)dang, tran khanh
(1)davies, misty
(1)de moura, leonardo
(1)di pierro, alessandra
(1)dillig, isil
(1)eekelen, marko van
(1)falcone, yliès
(1)felty, amy p.
(1)feng, xinyu
(1)file, gilberto
(1)gopinath, divya
(1)graf, susanne
(1)grumberg, orna
(1)guido scatena
(1)hameurlain, abdelkader
(1)hanus, michael
(1)hermenegildo, manuel
(1)hu, zhenjiang
(1)jensen, thomas
(1)johnsen, einar broch
(1)kahsai, temesghen
(1)kuchen, herbert
(1)küng, josef
(1)lecharlier, baudouin
(1)leue, stefan
(1)levi, giorgio
(1)lo, david
(1)logozzo, francesco
(1)malacaria, pasquale
(1)marché, claude
(1)marino, julio
(1)middeldorp, aart
(1)monniaux, david
(1)mounier, laurent
(1)mukhopadhyay, supratik
(1)máté kovács
(1)nagarajan, rajagopal
(1)nuno gaspar
(1)pardo, alberto
(1)park, sungwoo
(1)peled, doron a.
(1)pichardie, david
(1)pierre-loïc garoche
(1)pontelli, enrico
(1)rajamani, sriram k.
(1)ranzato, francesco
(1)rival, xavier
(1)rodriguez-artalejo, mario
(1)schlickling, marc
(1)schmidt, david a.
(1)shkaravska, olha
(1)sighireanu, mihaela
(1)sirjani, marjan
(1)steffen, bernhard
(1)su, zhendong
(1)swierstra, s. doaitse
(1)sánchez, césar
(1)thoai, nam
(1)thomas fahringer
(1)valmari, antti
(1)van hentenryck, pascal
(1)veith, helmut
(1)vidal-oriola, germán
(1)wagner, roland
(1)weiß, benjamin
(1)zuck, lenore d.
(1)zuck, leonore d.
(1)Ábrahám, erika
(1)Verlag / Hersteller
crc press
(2)lap lambert academic publishing
(2)springer berlin heidelberg
(32)springer international publishing
(17)springer london
(2)springer, berlin springer nature switzerland etaps society springer
(2)Verlag
crc press
(2)etaps society
(2)lap lambert academic publishing
(2)springer
(5)springer berlin heidelberg
(32)springer international publishing
(18)springer london
(2)springer nature switzerland
(4)springer, berlin
(5)Schlagwort
abstract interpretation
(65)informatik
(59)edv
(56)abstractinterpretation
(37)theorie
(29)software engineering
(28)model checking
(22)program analysis
(22)programmiersprachen
(22)software-entw.
(20)formal methods
(18)modelchecking
(16)logics and meanings of programs
(15)verification
(15)compiler
(14)programanalysis
(14)program verification
(13)program semantics
(12)static analysis
(12)übersetzer (edv)
(12)algorithms
(11)allgemeines
(11)formalmethods
(11)programming
(11)formal verification
(10)mathematik
(10)programsemantics
(9)type systems
(9)complexity
(8)computerprogrammierung und softwareentwicklung
(8)programmieren
(8)software engineering/programming and operating systems
(8)data flow analysis
(7)functional programming
(7)java
(7)logic
(7)program synthesis
(7)programming languages, compilers, interpreters
(7)semantics
(7)typesystems
(7)abstraction
(6)algorithmus
(6)automata
(6)concurrency
(6)formal specification
(6)formalverification
(6)intelligenz
(6)ki
(6)künstliche intelligenz
(6)künstliche intelligenz - ai
(6)optimization
(6)program transformation
(6)programming language
(6)staticanalysis
(6)structured analysis
(6)abstract domains
(5)automated reasoning
(5)automatedreasoning
(5)dataflowanalysis
(5)explicit model checking
(5)informatik, computer
(5)logic programming
(5)program specification
(5)programverification
(5)software verification
(5)abstractdomains
(4)algorithm
(4)betriebssystem (edv)
(4)c programming language
(4)concurrent systems
(4)constraint
(4)debugging
(4)fault tolerance
(4)faulttolerance
(4)functionalprogramming
(4)operating system
(4)program optimization
(4)programmieren (edv)
(4)programoptimization
(4)programspecification
(4)roboter - robotik - industrieroboter
(4)security
(4)spin
(4)spin model checking
(4)testing
(4)theory of computation
(4)validation
(4)abstrakte interpretation
(3)abstrakteinterpretation
(3)anwendungs-software
(3)compiler optimization
(3)compileroptimization
(3)compilers
(3)computers
(3)concurrentsystems
(3)cprogramminglanguage
(3)deductive methods
(3)entwicklung
(3)explicitmodelchecking
(3)formalspecification
(3)Erscheinungsjahr
1994
(1)1996
(2)1997
(1)1999
(2)2002
(3)2003
(2)2004
(2)2005
(1)2006
(1)2008
(5)2009
(2)2010
(6)2011
(6)2012
(1)2013
(1)2014
(3)2015
(4)2016
(7)2017
(5)2018
(1)2019
(1)2020
(1)2021
(1)2022
(1)2023
(2)2024
(3)Ergebnis: 65 Artikel
Schlagwort: abstract interpretation
