*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 12
*of* 12
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
*Published in*
acm transactions on programming languages & systems
4
science of computer programming
3
lecture notes in computer science
2
verification, induction, termination analysis
2
22nd international conference on rewriting techniques and applications
1
acm transactions on programming languages and systems
1
*more* ...
sci. comput. program. (netherlands)
1
verification, induction, termination analysis - festschrift for christoph walther on the occasion of his 60th birthday
1
*less* ...
*SubjectEDS*
reachability analysis
6
abstract interpretation
5
java
5
program verification
5
static analysis
5
android (operating system)
4
*more* ...
graph theory
4
java programming language
4
pointer analysis
4
mathematical variables
3
mobile operating systems
3
programming languages
3
01 natural sciences
2
0102 computer and information sciences
2
02 engineering and technology
2
0202 electrical engineering, electronic engineering, information engineering
2
16. peace & justice
2
constraint-based analysis
2
java bytecode
2
program diagnostics
2
3. good health
1
ada (programmiersprache)
1
ada (programming language)
1
algol (programmiersprache)
1
algol (programming language)
1
approximation theory
1
atrial-fibrillation
1
automata theory
1
basic block
1
cobol (programmiersprache)
1
*less* ...
*Publisher*
association for computing machinery
3
springer berlin heidelberg
3
springer-verlag
3
elsevier b.v.
2
acm
1
elsevier bv
1
*more* ...
kth, teoretisk datalogi, tcs
1
lipics - leibniz international proceedings in informatics. 22nd international conference on rewriting techniques and applications (rta'11)
1
schloss dagstuhl - leibniz-zentrum fuer informatik
1
schloss dagstuhl - leibniz-zentrum fur informatik
1
schloss dagstuhl. leibniz-zent. inform., wadern
1
schloss dagstuhl. leibniz-zentrum fur informatik, wadern
1
springer
1
springer nature
1
springer verlag
1
tu ilmenau
1
*less* ...
*Language*
*SourceEDS*
*adv_search_year*
*Filter*