search result

Cover von Gradual Program Analysis for Null Pointers

Gradual Program Analysis for Null Pointers

Author: Sunshine, Joshua
Year: 2021
Media group: LIPIcs
Cover von A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language

A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language

Author: Myers, Brad A.
Year: 2020
Media group: OASICS
Cover von Toward Semantic Foundations for Program Editors

Toward Semantic Foundations for Program Editors

Author: Omar, Cyrus; Voysey, Ian; Hilton, Michael
Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0