<--- Back to Details
First PageDocument Content
Uppland / Coimbra Group / Uppsala / Bo Sundqvist / Carolina Rediviva / Nils Hasselmo / Uppsala University / Sweden / Uppsala County
Date: 2014-05-20 13:44:48
Uppland
Coimbra Group
Uppsala
Bo Sundqvist
Carolina Rediviva
Nils Hasselmo
Uppsala University
Sweden
Uppsala County

Uppsala University P.O. Box 256 SEUppsala

Add to Reading List

Source URL: www.afuu.org

Download Document from Source Website

File Size: 321,46 KB

Share Document on Facebook

Similar Documents

Computing / Software engineering / Memory management / Computer programming / Pointer / Garbage collection / Heap / C dynamic memory allocation / Region-based memory management / Go / Garbage / Sort

A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden

DocID: 1xVBs - View Document

Computer programming / Declarative programming / Theoretical computer science / Logic in computer science / Cryptography / Satellite broadcasting / Scrambler / Telecommunications equipment / Satisfiability modulo theories / Scrambling / Monad / Benchmark

Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, Sweden

DocID: 1xUHf - View Document

ISO/IEC 27001 / Intertek

This is to certify that the management system of: Stiftelsen för Internetinfrastruktur Main site: Hammarby Kaj 10D, SEStockholm, Sweden

DocID: 1xUB8 - View Document

Software engineering / Computer programming / Compiler optimizations / Computing / Inline expansion / Optimizing compiler / Data-flow analysis / Scope / Standard ML / Functional programming / Directed acyclic graph / Static single assignment form

PREPRINT: To be presented at ICFP ’14, September 1–6, 2014, Gothenburg, Sweden. Practical and Effective Higher-Order Optimizations Lars Bergstrom Matthew Fluet

DocID: 1xUkE - View Document