Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
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)

Open Access
Translating C to safer Rust
Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-29
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 ACM on programming languages, 2023-04, Vol.7 (OOPSLA1), p.551-579, Article 94
2023
Volltextzugriff (PDF)

Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019, p.555-561
2019
Volltextzugriff (PDF)

2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture (ISCA), 2019, p.711-722
2019
Volltextzugriff (PDF)


An Architecture for Analysis
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)


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)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.482-493
2015
Volltextzugriff (PDF)

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021, p.175-189
2021
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, 2011, p.20-37
2011
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)

Widening for Control-Flow
Verification, Model Checking, and Abstract Interpretation, 2014, Vol.8318, p.472-491
2014
Volltextzugriff (PDF)

Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, 2014, p.725-730
2014
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n