Flexible manipulation of labeled values for information-flow control libraries

DOI10.1007/978-3-319-45744-4_27zbMath1499.68060OpenAlexW2519805394MaRDI QIDQ2165484

Pablo Buiras, Marco Vassena, Lucas Waye, Alejandro Russo

Publication date: 19 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-45744-4_27

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computer security (68M25)

This page was built for publication: Flexible manipulation of labeled values for information-flow control libraries