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
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

program editors; type systems; live programming; program prediction

file

Visible to the public Omar_Semantic_Foundations_JA.pdf

Submitted by Jamie Presken on Tue, 08/01/2017 - 1:21pm
  • A Language and Framework for Development of Secure Mobile Applications
  • August'17
  • CMU
  • program editors; type systems; live programming; program prediction
  • Scalability and Composability
biblio

Visible to the public Toward Semantic Foundations for Program Editors

Submitted by Jamie Presken on Tue, 07/11/2017 - 11:51am
  • A Language and Framework for Development of Secure Mobile Applications
  • August'17
  • CMU
  • program editors; type systems; live programming; program prediction
  • Scalability and Composability
  • Scalability and Composability
  • CMU
  • A Language and Framework for Development of Secure Mobile Applications
  • August'17

Terms of Use  |  ©2023. CPS-VO