search result

Cover von Legato

Legato

An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
Year: 2018
Media group: LIPIcs
Cover von Taming the Static Analysis Beast

Taming the Static Analysis Beast

Year: 2017
Media group: LIPIcs
Cover von Stacatto

Stacatto

A Bug Finder for Dynamic Configuration Updates
Year: 2016
Media group: LIPIcs
Cover von Ornaments for Proof Reuse in Coq

Ornaments for Proof Reuse in Coq

Year: 2019
Media group: LIPIcs
Cover von Programming Language Tools and Techniques for 3D Printing

Programming Language Tools and Techniques for 3D Printing

Year: 2017
Media group: LIPIcs
Cover von Correctly Compiling Proofs About Programs Without Proving Compilers Correct

Correctly Compiling Proofs About Programs Without Proving Compilers Correct

Year: 2024
Media group: LIPIcs
Cover von Toward a Dependability Case Language and Workflow for a Radiation Therapy System

Toward a Dependability Case Language and Workflow for a Radiation Therapy System

Author: Ernst, Michael D.; Grossman, Dan; Jacky, Jonathan
Year: 2015
Media group: LIPIcs
OPEN V 11.1.0.0