Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.420-442, Article 123
2023
Volltextzugriff (PDF)
2011 IEEE Symposium on Security and Privacy, 2011, p.413-428
2011
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-29
2021
Volltextzugriff (PDF)
Theoretical computer science, 2021-01, Vol.851, p.39-61
2021
Volltextzugriff (PDF)
SIGPLAN notices, 2009-01, Vol.44 (1), p.226-238
2009
Volltextzugriff (PDF)
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2014, p.121-132
2014
Volltextzugriff (PDF)
Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019, p.555-561
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-04, Vol.7 (OOPSLA1), p.551-579, Article 94
2023
Volltextzugriff (PDF)
2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture (ISCA), 2019, p.711-722
2019
Volltextzugriff (PDF)
Operating systems review, 2017-04, Vol.51 (2), p.177-191
2017
Volltextzugriff (PDF)
IEEE MICRO, 2018-05, Vol.38 (3), p.107-115
2018
Volltextzugriff (PDF)
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.1, p.32-43
2015
Volltextzugriff (PDF)
2011 38th Annual International Symposium on Computer Architecture (ISCA), 2011, p.189-200
2011
Volltextzugriff (PDF)
Static Analysis, p.265-280
Volltextzugriff (PDF)
Conference on Programming Language Design and Implementation: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation : San Diego, California, USA; 10-13 June 2007, 2007, p.290-299
2007
Volltextzugriff (PDF)
International Symposium on Code Generation and Optimization (CGO 2011), 2011, p.289-298
2011
Volltextzugriff (PDF)
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021, p.175-189
2021
Volltextzugriff (PDF)
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.482-493
2015
Volltextzugriff (PDF)
Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2019, p.2-7
2019
Volltextzugriff (PDF)
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2009, p.226-238
2009
Volltextzugriff (PDF)
Model Checking Software, p.20-37
Volltextzugriff (PDF)
2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS), 2020, p.510-517
2020
Volltextzugriff (PDF)
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022, p.671-686
2022
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.472-491
Volltextzugriff (PDF)
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, 2014, p.725-730
2014
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Hardware -- Electronic Design Automation -- Hardware Description Languages And Compilation
- Software And Its Engineering -- Software Notations And Tools -- Compilers
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
- Computer Science, Hardware & Architecture
- Hardware
- Hardware Description Language
- Javascript
- Non-Interference
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Analysis
- Java
- Pointer Analysis
- Security
- Software And Its Engineering
- Software And Its Engineering -- Software Notations And Tools -- Compilers -- Runtime Environments
- Abstract Interpretation
Kollektion