Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jonathan Aldrich

First-Class State Change in Plaid

ACM SIGPLAN Notices
Computer Science
2011English

Checking Concurrent Typestate With Access Permissions in Plural: A Retrospective

2011English

Statically Typed String Sanitation Inside a Python

2014English

A Language-Based Approach to Specification and Enforcement of Architectural Protocols

2010English

Hazelnut: A Bidirectionally Typed Structure Editor Calculus

2017English

Introducing Tool-Supported Architecture Review Into Software Design Education

2013English

Polymorphic Access Permissions

2010English

Static Extraction and Conformance Analysis of Hierarchical Runtime Architectural Structure Using Annotations

ACM SIGPLAN Notices
Computer Science
2009English

Prototypes With Multiple Dispatch: An Expressive and Dynamic Object Model

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Discovering Architectures From Running Systems: Lessons Learned

2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy