Exception analysis for non-strict languages
Publication:2949196
DOI10.1145/581478.581488zbMath1322.68041OpenAlexW2005083846WikidataQ57665023 ScholiaQ57665023MaRDI QIDQ2949196
Martin Sulzmann, Harald Søndergaard, Peter J. Stuckey, Kevin Glynn
Publication date: 7 October 2015
Published in: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/581478.581488
type inferenceexceptionsBoolean constraintseffect systemsnon-strict functional programming languages
Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software