×

Found 14 Documents (Results 1–14)

Trace-relating compiler correctness and secure compilation. (English) Zbl 1508.68046

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 1-28 (2020).
MSC:  68N20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms. (English) Zbl 1524.68195

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 30-59 (2019).
MSC:  68Q60 68N30 68V15
PDFBibTeX XMLCite
Full Text: DOI

The meaning of memory safety. (English) Zbl 1427.68043

Bauer, Lujo (ed.) et al., Principles of security and trust. 7th international conference, POST 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10804, 79-105 (2018).
MSC:  68N30 68N15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Dijkstra monads for free. (English) Zbl 1380.68266

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 515-529 (2017).
MSC:  68Q60 68N30 68Q55 68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Beginner’s Luck: a language for property-based generators. (English) Zbl 1380.68096

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 114-129 (2017).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

Dependent types and multi-monadic effects in \(\mathrm{F}^*\). (English) Zbl 1347.68038

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 256-270 (2016).
MSC:  68N15 68N18 68T15
PDFBibTeX XMLCite
Full Text: DOI

Foundational property-based testing. (English) Zbl 1465.68050

Urban, Christian (ed.) et al., Interactive theorem proving. 6th international conference, ITP 2015, Nanjing, China, August 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9236, 325-343 (2015).
PDFBibTeX XMLCite
Full Text: DOI HAL

A verified information-flow architecture. (English) Zbl 1284.68306

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 165-178 (2014).
MSC:  68Q30 68Q55 68N25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Testing noninterference, quickly. (English) Zbl 1323.68376

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 455-468 (2013).
MSC:  68Q60 68Q05 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Union and intersection types for secure protocol implementations. (English) Zbl 1378.94020

Mödersheim, Sebastian (ed.) et al., Theory of security and applications. Joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31–April 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27374-2/pbk). Lecture Notes in Computer Science 6993, 1-28 (2012).
MSC:  94A60 68M12
PDFBibTeX XMLCite
Full Text: DOI

Semantic subtyping with an SMT solver. (English) Zbl 1323.68096

Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 105-116 (2010).
MSC:  68N18 68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software