Sortiert nach
NASA Formal Methods, p.3-7
Link zum Volltext
Theoretical computer science, 2021-05, Vol.869, p.62-84
2021
Link zum Volltext
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.175-208, Article 7
2024
Link zum Volltext
Principles of Systems Design, p.131-159
Link zum Volltext
Formal Methods in Outer Space, p.61-86
Link zum Volltext
ACM transactions on programming languages and systems, 2022-03, Vol.44 (1), p.1-90
2022
Link zum Volltext
Lecture notes in computer science, 2005, p.1-24
2005
Link zum Volltext
Static Analysis, p.389-410
Link zum Volltext
Static Analysis, p.96-117
Link zum Volltext
Theoretical Aspects of Computing – ICTAC 2019, p.3-21
Link zum Volltext
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on computer science logic (csl) and the twenty-ninth annual acm/ieee symposium on logic in computer science (lics), 2014, p.1-10
2014
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.19-42
Link zum Volltext
Theoretical computer science, 2002-04, Vol.277 (1), p.47-103
2002
Link zum Volltext
Theoretical computer science, 2011-10, Vol.412 (44), p.6135-6192
2011
Link zum Volltext
Journal of the ACM, 2012-12, Vol.59 (6), p.1-56
2012
Link zum Volltext
Logic-Based Program Synthesis and Transformation, p.3-18
Link zum Volltext
Fundamental Approaches to Software Engineering, p.210-225
Link zum Volltext
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.72-96
2023
Link zum Volltext
Programming Language Implementation and Logic Programming, 2005, p.269-295
2005
Link zum Volltext
Information and computation, 2009-02, Vol.207 (2), p.258-283
2009
Link zum Volltext
Formal methods in system design, 2009-12, Vol.35 (3), p.229-264
2009
Link zum Volltext
SIGPLAN notices, 2017-01, Vol.52 (1), p.3-18
2017
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Abstract Interpretation
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Static Analysis
- Software
- Software Engineering
- Verification
- Programming Languages
- Theoretical Computing
- Abstract Domain
- Semantics
- Mathematics
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
- Theory Of Computation -- Logic
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- eBooks on EBSCOhost
- Springer Books
- Ebook Central Perpetual and DDA
- ACM Digital Library Complete
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- IEEE Electronic Library (IEL)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink
- Journals@Ovid Full Text
- Oxford Journals
- ProQuest Dissertations & Theses A&I
- ScienceDirect eBooks
- Mathematical Sciences Publishers
- Project Euclid
- Single Journals
Zeitschrift / Serie
- Sigplan Notices
- Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Acm Computing Surveys
- Acm Sigplan Notices
- Information And Computation
- Proceedings Of Acm On Programming Languages
- Software Engineering Notes
- 29th Acm Sigplan-Sigact Symposium On Principles Of Programming Languages, Portland, Oregon, Jan. 2002
- Acm Sigops Operating Systems Review