Sortiert nach
Logical methods in computer science, 2023-01, Vol.19, Issue 2
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019, Vol.299 (Proc. VPT 2019), p.49-55
2019
Volltextzugriff (PDF)
Science of computer programming, 2018-10, Vol.163, p.138-138
2018
Volltextzugriff (PDF)
Science of computer programming, 2022-12, Vol.224, p.102878, Article 102878
2022
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2023-03, Vol.45 (1), p.1-35, Article 3
2023
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2022-03, Vol.44 (1), p.1-48
2022
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.209-226
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-27
2020
Volltextzugriff (PDF)
Programming Languages and Systems, p.125-144
Volltextzugriff (PDF)
2016 23rd Asia-Pacific Software Engineering Conference (APSEC), 2016, p.xii-xii
2016
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2022, Vol.13273, p.131-150
2022
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.231-247
Volltextzugriff (PDF)
Parallel and Distributed Computing, Applications and Technologies, 2021, Vol.12606, p.304-317
2021
Volltextzugriff (PDF)
Journal of object technology, 2017, Vol.16 (2), p.1
2017
Volltextzugriff (PDF)
2013 35th International Conference on Software Engineering (ICSE), 2013, p.742-751
2013
Volltextzugriff (PDF)
2013 22nd Australian Software Engineering Conference, 2013, p.181-190
2013
Volltextzugriff (PDF)
The Billion-Dollar Fix: Safe Modular Circular Initialisation with Placeholders and Placeholder Types
Volltextzugriff (PDF)
Science of computer programming, 2011-07, Vol.76 (7), p.587-608
2011
Volltextzugriff (PDF)
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024, p.462-466
2024
Volltextzugriff (PDF)
ECOOP 2014 – Object-Oriented Programming, p.105-130
Volltextzugriff (PDF)
Aliasing in Object-Oriented Programming. Types, Analysis and Verification, p.233-269
Volltextzugriff (PDF)
Concurrency and computation, 2004-06, Vol.16 (7), p.671-687
2004
Volltextzugriff (PDF)
Journal of functional programming, 2006-11, Vol.16 (6), p.793-811
2006
Volltextzugriff (PDF)
Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, 2015, p.105-106
2015
Volltextzugriff (PDF)
Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2018, p.47-56
2018
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, Theory & Methods
- Java
- Software
- Software Engineering
- Ownership
- Programming Languages
- Engineering
- Type System
- Type Systems
- Applied Sciences
- Compilers
- Computer Science, Artificial Intelligence
- Computer Science; Control Theory; Systems
- Correctness-By-Construction
- Double Dispatch
- Empirical Software Engineering
Kollektion
- ACM Digital Library
- IngentaConnect
- Springer Book Series
- Free E-Journal (出版社公開部分のみ）
- IEEE Xplore
- eBooks on EBSCOhost
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- Business Source Ultimate
- ScienceDirect Journals (5 years ago - present)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Backfiles (~2019)
- Cambridge Journals Online (DEFF)
- MEDLINE
- Wiley Online Library
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Springer Nature
Zeitschrift / Serie
- Science Of Computer Programming
- Sigplan Notices
- Acm Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Bulletin Of Experimental Biology And Medicine
- Communications Of The Acm
- Concurrency And Computation
- Journal Of Functional Programming
- Journal Of Object Technology
- Logical Methods In Computer Science
Neu hinzugefügt