<--- Back to Details
First PageDocument Content
Procedural programming languages / Cross-platform software / Programming language implementation / Concurrent computing / Coroutine / Subroutines / Abstract interpretation / Data-flow analysis / Control flow analysis / Computing / Software engineering / Computer programming
Date: 2014-01-06 09:39:56
Procedural programming languages
Cross-platform software
Programming language implementation
Concurrent computing
Coroutine
Subroutines
Abstract interpretation
Data-flow analysis
Control flow analysis
Computing
Software engineering
Computer programming

matthew-might-research-statement.dvi

Add to Reading List

Source URL: matt.might.net

Download Document from Source Website

File Size: 255,75 KB

Share Document on Facebook

Similar Documents

Systems Architecture The Stack and Subroutines The Stack – p. 1/9

DocID: 1utuR - View Document

Software engineering / Computing / Computer programming / Subroutines / Data types / Anonymous function / Functional programming / Lambda calculus / Exponentiation / ATS / Array data type / Parameter

The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents

DocID: 1rtHJ - View Document

Professional wrestling / Computer programming / Event / Subroutines

NSS Chapter Activities Report for Chapter Activities/Events ReportFor each event, report the speaker or chapter participant name & their title), the event title and type (lecture, meeting, school visit, display,

DocID: 1rq5b - View Document

Software engineering / Computer programming / Computing / Type theory / Data types / Functional programming / Subroutines / Lambda calculus / Subtyping / Const / Unification / Type system

Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

DocID: 1rpwd - View Document

Mathematics / Arithmetic / Computer arithmetic / Mathematical analysis / Subroutines / Theoretical computer science / Data types / Numerical analysis / Rounding / Parameter / Derivative / Interval arithmetic

Users’ manual for the Sollya tool Release 5.0 Sylvain Chevillard Christoph Lauter

DocID: 1rosb - View Document