Sortiert nach
Digital threats (Print), 2023-03, Vol.4 (1), p.1-18, Article 4
2023
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2016-10, Vol.38 (4), p.1-20, Article 15
- Blackburn, Stephen M.
- Diwan, Amer
- Hauswirth, Matthias
- Sweeney, Peter F.
- Amaral, José Nelson
- Brecht, Tim
- Bulej, Lubomír
- Click, Cliff
- Eeckhout, Lieven
- Fischmeister, Sebastian
- Frampton, Daniel
- Hendren, Laurie J.
- Hind, Michael
- Hosking, Antony L.
- Jones, Richard E.
- Kalibera, Tomas
- Keynes, Nathan
- Nystrom, Nathaniel
- Zeller, Andreas
2016
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.415-430
Volltextzugriff (PDF)
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, 2011, p.343-353
2011
Volltextzugriff (PDF)
2022 IEEE Secure Development Conference (SecDev), 2022, p.61-62
2022
Volltextzugriff (PDF)
2018 IEEE Cybersecurity Development (SecDev), 2018, p.134-134
2018
Volltextzugriff (PDF)
Proceedings of the 2013 international symposium on memory management, 2013, p.85-96
2013
Volltextzugriff (PDF)
Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2015, p.7-12
2015
Volltextzugriff (PDF)
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, 2010, p.317-326
2010
Volltextzugriff (PDF)
SIGPLAN notices, 2013-12, Vol.48 (11), p.85-96
2013
Volltextzugriff (PDF)
Proceedings of the 2nd International Workshop on Defects in Large Software Systems: Held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), 2009, p.16-20
2009
Volltextzugriff (PDF)
Programming Languages and Systems, p.172-175
Volltextzugriff (PDF)
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, 2009, p.7-8
2009
Volltextzugriff (PDF)
IEEE security & privacy, 2012-05, Vol.10 (3), p.16-23
2012
Volltextzugriff (PDF)
IEEE security & privacy, 2022-11, Vol.20 (6), p.43-52
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Information Systems
- Computer Science, Theory & Methods
- Security
- Codes
- Cryptography
- Encoding
- General And Reference -- Cross-Computing Tools And Techniques -- Metrics
- Java
- Programming Languages
- Scalability
- Static Analysis
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Analysis
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
- Trademarks
- Abandonment
- Abstract Domain
Kollektion
Zeitschrift / Serie