Refinement Types for Ruby

DOI10.1007/978-3-319-73721-8_13zbMath1446.68032arXiv1711.09281OpenAlexW2768658963MaRDI QIDQ3296334

Niki Vazou, Emina Torlak, Milod Kazerounian, Austin Bourgerie, Jeffrey S. Foster

Publication date: 7 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1711.09281

zbMATH Keywords

refinement typesRubydynamic languagesRosette

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Embedded domain specific verifiers

This page was built for publication: Refinement Types for Ruby