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

static type checking

file

Visible to the public Nistor_Wyvern_JA.pdf

Submitted by Jamie Presken on Wed, 12/07/2016 - 10:30am
  • CMU
  • first-class classes
  • object-oriented
  • static type checking
biblio

Visible to the public Wyvern: a simple, typed, and pure object-oriented language

Submitted by Jamie Presken on Wed, 12/07/2016 - 10:30am
  • CMU
  • first-class classes
  • object-oriented
  • static type checking
  • CMU
biblio

Visible to the public Wyvern: A Simple, Typed, and Pure Object-Oriented Language

Submitted by Jamie Presken on Mon, 01/12/2015 - 3:17pm
  • first-class classes
  • object-oriented
  • static type checking
biblio

Visible to the public Wyvern: A Simple, Typed, and Pure Object-oriented Language

Submitted by Katie Dey on Fri, 10/24/2014 - 12:52pm
  • Science of Security
  • A Language and Framework for Development of Secure Mobile Applications
  • first-class classes
  • Human behavior
  • object-oriented
  • Scalability and Composability
  • SoS Lablet
  • static type checking
  • A Language and Framework for Development of Secure Mobile Applications
  • CMU

Terms of Use  |  ©2023. CPS-VO