×

Found 3 Documents (Results 1–3)

Formalizing the LLVM intermediate representation for verified program transformations. (English) Zbl 1321.68207

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 427-440 (2012).
MSC:  68N30 68N15 68T15
PDFBibTeX XMLCite
Full Text: DOI Link

Mechanized verification of computing dominators for formalizing compilers. (English) Zbl 1383.68020

Hawblitzel, Chris (ed.) et al., Certified programs and proofs. Second international conference, CPP 2012, Kyoto, Japan, December 13–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-35307-9/pbk). Lecture Notes in Computer Science 7679, 27-42 (2012).
MSC:  68N20 68T15
PDFBibTeX XMLCite
Full Text: DOI

AURA: a programming language for authorization and audit. (English) Zbl 1323.68078

Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 27-38 (2008).
MSC:  68N15 68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

all top 3

Software