| 12111957 |
Software provenance validation |
Claire Novotny, Jason Shaver, Jobst-Immo Landwerth, Richard Steele Gibson, Tomas Matousek |
2024-10-08 |
| 12079595 |
Runtime support for role types that extend underlying types |
David Charles Wrighton, Julien Couvreur, Stephen H. Toub, Mads Torgersen |
2024-09-03 |
| 11972237 |
Member invocation declarative interception |
David Fowler, Jan Kotas, Stephen H. Toub, Richard Steele Gibson, Andrew Spenser Gocke +2 more |
2024-04-30 |
| 11372630 |
Efficient immutable syntax representation with incremental change |
Matthew J. Warren, Mads Torgersen, Renaud Paquay, Neal M. Gafter, David N. Schach +4 more |
2022-06-28 |
| 10564944 |
Efficient immutable syntax representation with incremental change |
Matthew J. Warren, Avner Y. Aharoni, Mads Torgersen, Renaud Paquay, Neal M. Gafter +5 more |
2020-02-18 |
| 9971578 |
Reference attribute annotation signifying no external reference |
John Duffy, Michael Sinz, Alexander Daniel Bromfield |
2018-05-15 |
| 9740460 |
Resource access safety through immutable object types |
John Duffy, Michael Sinz, Aleksandra Nadia Culver, Krzysztof J. Cwalina |
2017-08-22 |
| 9286039 |
Operating system support for contracts |
John Duffy, Colin Gordon, Alexander Daniel Bromfield, Martin Taillefer, David Bartolomeo +1 more |
2016-03-15 |
| 9229959 |
Object graph partial immutability and isolation enforcement |
G. Shon Katzenberger, Alexander Daniel Bromfield, John Duffy, Krzysztof J. Cwalina |
2016-01-05 |
| 9098269 |
System and method to ensure resource access safety with immutable object types |
John Duffy, Michael Sinz, Alexander Daniel Bromfield, Krzysztof J. Cwalina |
2015-08-04 |
