Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
ownership
file
Coblenz_Obsidian_Aldrich.pdf
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:37pm
typestate
type systems
smart contracts
permissions
ownership
linearity
blockchain
alias control
Obsidian Language for Blockchain
biblio
Obsidian: Typestate and Assets for Safer Blockchain Programming
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:37pm
alias control
blockchain
linearity
ownership
permissions
smart contracts
type systems
typestate
CMU
Obsidian Language for Blockchain
2021: January
file
Coblenz_Can_Advanced_Type_Systems_Be_Usable_Aldrich.pdf
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:29pm
typestate
smart contracts
permissions
ownership
linear types
empirical studies of programming languages
blockchain
assets
Obsidian Language for Blockchain
biblio
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:29pm
assets
blockchain
empirical studies of programming languages
linear types
ownership
permissions
smart contracts
typestate
CMU
Obsidian Language for Blockchain
2021: January
biblio
Automatic Archiving Versus Default Deletion: What Snapchat Tells Us About Ephemerality in Design
Submitted by grigby1 on Mon, 06/05/2017 - 11:28am
collaboration
data deletion
Ephemerality
Human behavior
ownership
permanence
privacy
pubcrawl
Scalability
Snapchat
