3.1k citations
- University of LisbonPT93 papers
- Centre National de la Recherche ScientifiqueFR55 papers
- Heidelberg UniversityDE47 papers
- Sorbonne UniversitéFR45 papers
- University of EdinburghGB45 papers
- Charles UniversityCZ43 papers
- Justus-Liebig-Universität GießenDE43 papers
- Michigan State UniversityUS43 papers
- New York UniversityUS43 papers
- Radboud University NijmegenNL43 papers
- University of CoimbraPT43 papers
- University of MinhoPT43 papers
Showing 2020 · cs.PLShow all
2 papers · 2 filters
cs.PL2020
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov +4
We present a type-based analysis ensuring memory safety and object protocol completion in the Java-like language Mungo. Objects are annotated with usages, typestates-like specifica…
cs.PL2020★ 2 cited
Robust Contract Evolution in a TypeSafe MicroServices Architecture
João Costa Seco, Paulo Ferreira, Hugo Lourenço +2
Microservices architectures allow for short deployment cycles and immediate effects but offer no safety mechanisms when service contracts need to be changed. Maintaining the soundn…