Verified Characteristic Formulae for CakeML Arma¨el Gu´eneau1 , Magnus O. Myreen2 , Ramana Kumar3 , and Michael Norrish4 1 2

Source URL: cakeml.org

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• Procedural programming languages
• Logic in computer science
• Separation logic
• Substructural logic
• ColdFusion Markup Language
• Functional programming
• Theorem
• Type theory

Viterbi Accelerator for Embedded Processor Datapaths Muhammad Waqar Azhar, Magnus Själander, Hasan Ali, Akshay Vijayashekar, Tung Thanh Hoang, Kashan Khurshid Ansari, and Per Larsson-Edefors VLSI Research Group, Dept. o

Source URL: www.sjalander.com

Programming a Dataflow Analysis in Flix [Tools for Automatic Program Analysis (TAPAS), 2016] Magnus Madsen Ming-Ho Yee

Source URL: www.staticanalysis.org

Kinderuniversität Bern Mathematische Zaubereien • Der Zahlenteufel. Enzensberger, Hans Magnus. Hanser Verlag,

Source URL: www.kinderuni.unibe.ch

Translation Validation for a Verified OS Kernel Thomas Sewell Magnus Myreen Gerwin Klein

Source URL: www.cl.cam.ac.uk

The Impact of Proposition 47 on Crime and Recidivism JUNEMia Bird, Magnus Lofstrom, Brandon Martin, Steven Raphael, and Viet Nguyen

Source URL: www.ppic.org

High-Speed and Low-Power Multipliers Using the Baugh-Wooley Algorithm and HPM Reduction Tree Magnus Själander and Per Larsson-Edefors Department of Computer Science and Engineering Chalmers University of Technology, SE-

Source URL: www.sjalander.com

Graduiertenschule der Rechtswissenschaftlichen Fakultät Universität zu Köln Albertus-Magnus-Platz

Source URL: www.gs.jura.uni-koeln.de

Specimen Lexici Runici Magnús Ólafsson of Laufás: SPECIMEN LEXICI RUNICI and GLOSSARIUM PRISCÆ LINGUÆ DANICÆ. Edited by Anthony Faulkes and Gunnlaugur Ingólfsson. Stofnun Árna Magnússonar í

Source URL: www.vsnr.org

VYTAUTAS MAGNUS UNIVERSITY

Source URL: www.vdu.lt