Sigma*
DOI10.1145/2429069.2429123zbMath1301.68095OpenAlexW2044372543MaRDI QIDQ2931821
Publication date: 27 November 2014
Published in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2429069.2429123
parallelizationcompiler optimizationinductive learningequivalence checkingstream programsspecification synthesis
Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (11)
Uses Software
This page was built for publication: Sigma*