<--- Back to Details
First PageDocument Content
Software engineering / Computing / Theoretical computer science / Formal methods / UML diagrams / Model checking / Finite-state machine / ALGOL 68 / UML state machine / Models of computation / Automata theory / Digital electronics
Date: 2014-10-30 17:26:17
Software engineering
Computing
Theoretical computer science
Formal methods
UML diagrams
Model checking
Finite-state machine
ALGOL 68
UML state machine
Models of computation
Automata theory
Digital electronics

Add to Reading List

Source URL: flux.cs.queensu.ca

Download Document from Source Website

File Size: 1,18 MB

Share Document on Facebook

Similar Documents

Software engineering / Programming language theory / Computer programming / Functional languages / Primality tests / Procedural programming languages / Integer sequences / Lazy evaluation / Pure / Sieve of Eratosthenes / ALGOL 68 / Functional programming

02157 Functional Programming - Sequences

DocID: 1rsIU - View Document

Software engineering / Computing / Computer programming / C / Procedural programming languages / Object-oriented programming languages / C11 / C99 / Errno.h / Fortran / Ada / ALGOL 68

WG14  N1475   INCITS  PL22.11/09-­‐0002   Reply  to  the  Attention  of:  Barry  Hedquist   Email:      

DocID: 1rgqx - View Document

Software engineering / Computer programming / Computing / Functional languages / Evaluation strategy / Computability theory / Lambda calculus / Theoretical computer science / Lazy evaluation / Functional programming / ALGOL 68 / Racket

From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

DocID: 1rfUD - View Document

Software engineering / Computer programming / Programming language theory / Data types / Subroutines / Functional programming / Type theory / Procedural programming languages / Higher-order function / Option type / ALGOL 68 / Technical University of Denmark

02157 Functional Programming - Tagged values and Higher-order list functions

DocID: 1rahU - View Document

Software engineering / Computer programming / Declarative programming / Functional programming / Data types / Type theory / Monad / Option type / Type class / Map / ALGOL 68 / Functor

Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of Edinburgh

DocID: 1r6mD - View Document