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

extensible languages

biblio

Visible to the public Statically typed string sanitation inside a python

Submitted by Jamie Presken on Wed, 12/07/2016 - 12:47pm
  • CMU
  • extensible languages
  • input sanitation
  • Jan'15
  • Regular expressions
  • string sanitation
  • type systems
  • web security
  • CMU
  • Jan'15
file

Visible to the public Fulton_Statically_Typed_String_JA.pdf

Submitted by Jamie Presken on Wed, 12/07/2016 - 12:47pm
  • CMU
  • extensible languages
  • input sanitation
  • Jan'15
  • Regular expressions
  • string sanitation
  • type systems
  • web security
biblio

Visible to the public Safely Composable Type-Specific Languages

Submitted by Jamie Presken on Wed, 12/07/2016 - 11:25am
  • bidirectional typechecking
  • CMU
  • extensible languages
  • hygiene
  • Oct'14
  • parsing
  • CMU
  • Oct'14
file

Visible to the public Omar_Safely_Composable_JA.pdf

Submitted by Jamie Presken on Wed, 12/07/2016 - 11:25am
  • bidirectional typechecking
  • CMU
  • extensible languages
  • hygiene
  • Oct'14
  • parsing

Terms of Use  |  ©2023. CPS-VO