The Secret Art of Computer Programming
From MaRDI portal
Publication:3393399
DOI10.1007/978-3-642-03466-4_3zbMath1250.68092OpenAlexW1565956665MaRDI QIDQ3393399
Publication date: 20 August 2009
Published in: Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03466-4_3
Specification and verification (program logics, model checking, etc.) (68Q60) Information storage and retrieval of data (68P20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Authentication, digital signatures and secret sharing (94A62)
Related Items
Program semantics and verification technique for AI-centred programs, Compositional noninterference from first principles, How to Brew-up a Refinement Ordering, Abstractions of non-interference security: probabilistic versus possibilistic