Slang: The Sireum Programming Language
Robby, John Hatcliff
Topics & Concepts
SlangComputer scienceProgramming languageScalaSoftware deploymentJavaScriptScripting languageFourth-generation programming languageSoftware engineeringCompilerImplementationProgramming paradigmLinguisticsJavaFunctional logic programmingInductive programmingPhilosophySecurity and Verification in ComputingLogic, programming, and type systemsAdvanced Software Engineering Methodologies