Defining Interfaces for Slang Extension Methods :: Sireum Doc

Volumes ᐁ Volumes ᐁ

Venues ᐁ Venues ᐁ

Tutorials Tutorials

Presentations Presentations

Download Download

Funding Funding

Defining Interfaces for Slang Extension Methods

Examples:

Simple
DoodleExample
- Doodle
- Extension Implementation in Scala

Volumes Slang Reference Manual Extensions