Sortiert nach
1st Edition 2019, 2019
Link zum Volltext
Lecture notes in computer science, 2006, p.364-387
2006
Link zum Volltext
ACM transactions on programming languages and systems, 2024-03, Vol.46 (1), p.1-40, Article 4
2024
Link zum Volltext
Electronic proceedings in theoretical computer science, 2013-01, Vol.129 (Festschrift for Dave Schmidt), p.161-185
2013
Link zum Volltext
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1905-1934, Article 289
2023
Link zum Volltext
1st Edition 2017, 2017
Link zum Volltext
Lecture notes in computer science, 2005, p.147-163
2005
Link zum Volltext
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-29
2019
Link zum Volltext
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.565-576
2018
- Link zum Volltext
Static Analysis, 2014, p.134-150
2014
Link zum Volltext
International journal on software tools for technology transfer, 2014-04, Vol.16 (2), p.175-190
2014
Link zum Volltext
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.1160-1170
2018
- Link zum Volltext
Static Analysis, 2021, Vol.12913, p.286-307
2021
Link zum Volltext
Static Analysis, 2014, p.285-301
2014
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.375-395
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, p.489-492
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, 2019, Vol.11388, p.275-296
2019
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.21-37
Link zum Volltext
Static Analysis, p.384-401
Link zum Volltext
SIGPLAN notices, 2008-01, Vol.43 (1), p.247-260
2008
Link zum Volltext
Static Analysis, 2015, Vol.9291, p.90-108
2015
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.184-198
Link zum Volltext
Programming Languages and Systems, p.483-509
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.137-141
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Abstract Interpretation
- Software Engineering
- Abstract Domain
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Programming Languages
- Separation Logic
- Software
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Shape Analysis
- Theory Of Computation
- Theory Of Computation -- Logic
- Logic
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- ACM Digital Library
- EZB Free E-Journals
- EBSCOhost Business Source Ultimate
- IEEE/IET Electronic Library (IEL)
- Elsevier ScienceDirect Journals Complete
- ProQuest Dissertations & Theses A&I
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerNature Journals
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Electronic Notes In Theoretical Computer Science
- Communications Of The Acm
- Proceedings Of Acm On Programming Languages
- Acm Transactions On Programming Languages And Systems
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Grid Computing - Grid 2002
- International Journal On Software Tools For Technology Transfer