Foundations of Typestate-Oriented Programming von Garcia, Ronald, Tanter, Éric, Wolff, Roger, Aldrich, Jonathan

Volltext

The Discovery and Characterization of ML218: A Novel, Centrally Active T-Type Calcium Channel Inhibitor with Robust Effects in STN Neurons and in a Rodent Model of Parkinson’s Dise... von Xiang, Zixiu, Thompson, Analisa D, Brogan, John T, Schulte, Michael L, Melancon, Bruce J, Mi, Debbie, Lewis, L. Michelle, Zou, Bende, Yang, Liya, Morrison, Ryan, Santomango, Tammy, Byers, Frank, Brewer, Katrina, Aldrich, Jonathan S, Yu, Haibo, Dawson, Eric S, Li, Min, McManus, Owen, Jones, Carrie K, Daniels, J. Scott, Hopkins, Corey R, Xie, Ximin Simon, Conn, P. Jeffrey, Weaver, C. David, Lindsley, Craig W

Volltext

Open Modules: Modular Reasoning About Advice von Aldrich, Jonathan

Volltext

Sound Gradual Verification with Symbolic Execution von Zimmerman, Conrad, DiVincenzo, Jenna, Aldrich, Jonathan

Volltext

Reasonably programmable literal notation von Omar, Cyrus, Aldrich, Jonathan

Volltext

Penrose: from mathematical notation to beautiful diagrams von Ye, Katherine, Ni, Wode, Krieger, Max, Ma'ayan, Dor, Wise, Jenna, Aldrich, Jonathan, Sunshine, Joshua, Crane, Keenan

Volltext

Bounded Abstract Effects von Melicher, Darya, Xu, Anlun, Zhao, Valerie, Potanin, Alex, Aldrich, Jonathan

Volltext

Modular typestate checking of aliased objects von Bierhoff, Kevin, Aldrich, Jonathan

Volltext

Obsidian: Typestate and Assets for Safer Blockchain Programming von Coblenz, Michael, Oei, Reed, Etzel, Tyler, Koronkevich, Paulette, Baker, Miles, Bloem, Yannick, Myers, Brad A., Sunshine, Joshua, Aldrich, Jonathan

Volltext

PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design von Coblenz, Michael, Kambhatla, Gauri, Koronkevich, Paulette, Wise, Jenna L., Barnaby, Celeste, Sunshine, Joshua, Aldrich, Jonathan, Myers, Brad A.

Volltext

Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian von Coblenz, Michael, Aldrich, Jonathan, Myers, Brad A., Sunshine, Joshua

Volltext

Gradual C0: Symbolic Execution for Gradual Verification von DiVincenzo, Jenna, McCormack, Ian, Zimmerman, Conrad, Gouni, Hemant, Gorenburg, Jacob, Ramos-Dávila, Jan-Paul, Zhang, Mona, Sunshine, Joshua, Tanter, Éric, Aldrich, Jonathan

Volltext

Gradual verification of recursive heap data structures von Wise, Jenna, Bader, Johannes, Wong, Cameron, Aldrich, Jonathan, Tanter, Éric, Sunshine, Joshua

Volltext

ArchJava: connecting software architecture to implementation von Aldrich, Jonathan, Chambers, Craig, Notkin, David

Volltext

Decidable subtyping for path dependent types von Mackay, Julian, Potanin, Alex, Aldrich, Jonathan, Groves, Lindsay

Volltext

Model-Based Adaptation for Robotics Software von Aldrich, Jonathan, Garlan, David, Kaestner, Christian, Le Goues, Claire, Mohseni-Kabir, Anahita, Ruchkin, Ivan, Samuel, Selva, Schmerl, Bradley, Timperley, Christopher Steven, Veloso, Manuela, Voysey, Ian, Biswas, Joydeep, Guha, Arjun, Holtz, Jarrett, Camara, Javier, Jamshidi, Pooyan

Volltext

Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach von Stork, Sven, Naden, Karl, Sunshine, Joshua, Mohr, Manuel, Fonseca, Alcides, Marques, Paulo, Aldrich, Jonathan

Volltext

Brazilian Symposium on Programming Languages (SBLP 2010) von Aldrich, Jonathan, Lima, Ricardo Massa Ferreira

Volltext

Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures von Khayatian, Mohammad, Mehrabian, Mohammadreza, Andert, Edward, Grimsley, Reese, Liang, Kyle, Hu, Yi, McCormack, Ian, Joe-Wong, Carlee, Aldrich, Jonathan, Iannucci, Bob, Shrivastava, Aviral

Volltext

The sacred lyre : a new collection of hymns and tunes, for social and family worship / by J. Aldrich von Aldrich, Jonathan

Volltext bestellen