Sortiert nach
ACM transactions on programming languages and systems, 2024-03, Vol.46 (1), p.1-40, Article 4
2024
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-01, Vol.129 (Festschrift for Dave Schmidt), p.161-185
2013
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1905-1934, Article 289
2023
Volltextzugriff (PDF)
1st Edition 2017, 2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-29
2019
Volltextzugriff (PDF)
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.565-576
2018
Volltextzugriff (PDF)
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.1160-1170
2018
Volltextzugriff (PDF)
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021, p.282-295
2021
Volltextzugriff (PDF)
SIGPLAN notices, 2008-01, Vol.43 (1), p.247-260
2008
Volltextzugriff (PDF)
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022, p.442-457
2022
Volltextzugriff (PDF)
SIGPLAN notices, 2013-06, Vol.48 (6), p.275-286
2013
Volltextzugriff (PDF)
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016, p.190-201
2016
Volltextzugriff (PDF)
SIGPLAN notices, 2010-06, Vol.45 (6), p.436-447
2010
Volltextzugriff (PDF)
Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2015, p.19-25
2015
Volltextzugriff (PDF)
2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2018, p.277-289
2018
Volltextzugriff (PDF)
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2008, p.247-260
2008
Volltextzugriff (PDF)
SIGPLAN notices, 2011-01, Vol.46 (1), p.173-186
2011
Volltextzugriff (PDF)
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014, p.73-85
2014
Volltextzugriff (PDF)
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2011, p.173-186
2011
Volltextzugriff (PDF)
CHI '14 Extended Abstracts on Human Factors in Computing Systems, 2014, p.2347-2352
2014
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2007-07, Vol.180 (3), p.15-30
2007
Volltextzugriff (PDF)
Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010, p.436-447
2010
Volltextzugriff (PDF)
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
Aktive Filter
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
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Programming Languages
- Separation Logic
- Abstract Interpretation
- Inductive Definitions
- Shape Analysis
- Symbolic Abstract Domain
- Theory Of Computation -- Logic
- Theory Of Computation -- Semantics And Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
- Android
- Applied Sciences
- Computer Science; Control Theory; Systems
Kollektion
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Electronic Notes In Theoretical Computer Science
- Communications Of The Acm
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Acm Transactions On Programming Languages And Systems
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs