Programming Languages and Systems
From MaRDI portal
Publication:5899016
DOI10.1007/11693024zbMath1178.68121OpenAlexW2491912653MaRDI QIDQ5899016
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11693024
Theory of programming languages (68N15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Related Items (4)
Scheduler-Independent Declassification ⋮ Information flow control in software DB units based on formal verification ⋮ Dynamic intransitive noninterference revisited ⋮ Backwards type analysis of asynchronous method calls
This page was built for publication: Programming Languages and Systems