Magnus - PDFSEARCH.IO - Document Search Engine

Magnus
Results: 1531

#	Item
1	A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden Add to Reading List Source URL: cakeml.org Language: English - Date: 2017-07-03 06:09:00 Computing Software engineering Memory management Computer programming Pointer Garbage collection Heap C dynamic memory allocation Region-based memory management Go Garbage Sort
2	Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions Son Ho1 , Oskar Abrahamsson2 , Ramana Kumar3 , Magnus O. Myreen2 , Yong Kiam Tan4 , and Michael Norrish5 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2018-04-24 22:00:10 Software engineering Computer programming Computing Functional programming Subroutines Programming idioms Theoretical computer science Functional languages Monad Standard ML Eval Algorithm
3	Press information AQUIS HIRES MAGNUS ALMQVIST TO HEAD UP TECHNOLOGY SALES Aquis Technologies develops and licenses exchange software LONDON – 1st November 2016 – Aquis Exchange, the pan-European equities exchange an Add to Reading List Source URL: www.aquis.technology Language: English - Date: 2017-04-03 05:34:04 Economy Finance Stock market Money Economy of London Financial markets London Stock Exchange Multilateral trading facility Markets in Financial Instruments Directive Exchange
4	Resource Monitoring for Poly/ML Processes David Matthews Tjark Weber Magnus Stenqvist Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2015-09-07 07:51:22 Computing Software engineering Computer programming Functional languages Procedural programming languages Standard ML ML Garbage collection Poly JFreeChart
5	Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper) Ramana Kumar1 , Eric Mullen2 , Zachary Tatlock2 , and Magnus O. Myreen3 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2018-05-16 23:20:58 Theoretical computer science Formal methods Logic in computer science Software engineering Proof assistants Automated theorem proving Formal verification Interactive Theorem Proving Isabelle Coq HOL Correctness
6	Functional Big-step Semantics Scott Owens1 , Magnus O. Myreen2 , Ramana Kumar3 , and Yong Kiam Tan4 1 2 Add to Reading List Source URL: cakeml.org Language: English - Date: 2016-03-19 19:42:58 Theoretical computer science Logic Mathematical logic Logic in computer science Formal methods Programming language semantics Philosophical logic Models of computation Operational semantics Denotational semantics Standard ML Kripke semantics
7	Pattern Matches in HOL: A New Representation and Improved Code Generation Thomas Tuerk1 , Magnus O. Myreen2,3 , and Ramana Kumar3 2 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2016-04-20 00:13:43 Computer programming Declarative programming Software engineering Functional programming Type theory Predicate logic Monad Algebraic data type Conditional Expression Quantifier Standard ML
8	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2014-04-20 08:49:44 Mathematical logic Metalogic Logic Model theory Logic in computer science Proof theory Proof assistants Programming language semantics HOL Operational semantics Gdel's completeness theorem Type theory
9	Unleashing dynamic task scheduling at rack-scale Magnus Norgren, Andra Hugo (DDN Storage), Stefanos Kaxiras, Konstan9nos Sagonas Add to Reading List Source URL: workshops.inf.ed.ac.uk Language: English - Date: 2018-04-03 09:33:36 Computing Computer memory Parallel computing Computer architecture Dynamic random-access memory Latency OpenMP Random-access memory
10	Steps Towards Verified Implementations of HOL Light Magnus O. Myreen1 , Scott Owens2 , and Ramana Kumar1 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: cakeml.org Language: English - Date: 2013-05-10 10:01:51 Software engineering Computer programming Computing Proof assistants Logic in computer science Functional languages Automated theorem proving Theoretical computer science HOL Logic for Computable Functions Automated reasoning ML

UPDATE