DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Martin Abadi
Martin Abadi
Proof-Carrying Authentication∗
A Model of Inheritance for Declarative Visual Programming Languages
Unifying Theories of Objects
Admission Control for Independently-Authored Realtime Applications
Types for Safe Locking: Static Race Detection for Java
Luca Cardelli • Curriculum Vitae • 2014
The Machine Assisted Proof of Programming Language Properties
Modula-3: CS 520 Final Report
Brand Objects for Nominal Typing
Resource Control of Untrusted Code in an Open Network Environment
Sharing in Typed Module Assembly Language
Bibliography
Why Nominal-Typing Matters in Mainstream
An Accidental Simula User Luca Cardelli Microsoft Research
The Design and Application of an Extensible Operating System
A Language-Based Serverless Function Accelerator
The Extent of Empirical Evidence That Could Inform Evidence-Based Design of Programming Languages
A Theory of Objects [Abadi & Cardelli ‘96]
Top View
7 Varieties of Object-Oriented Programming Languages 95 7.1 Multi-Methods Vs
372.9Kb Application/Pdf
Object-Oriented Technology
MOOL: an Object-Oriented Programming Language with Generics and Modules
A Bibliography of Publications About the Java Programming Language, 2000–2009
Explicit Substitutions for Contextual Type Theory
A Language for Access Control
Alternative Formats If You Require This Document in an Alternative Format, Please Contact:
[email protected]
Bibliography
Data Groups: Specifying the Modification of Extended State
The Design and Application of an Extensible Operating System
Objects, Types and Modal Logics Basic Research in Computer Science
Software Engineering Education: the Rôle of Formal Specification And
Agents Utilisateurs Pour La Protection Des Données Personnelles : Modélisation Logique Et Outils Informatiques Guillaume Piolle
Research Collection
Recursive Object Types in a Logic of Object-Oriented Programs
SIGACCESS FY '15 Annual Report July 2014 – June 2015 Submitted