First Page | Document Content | |
---|---|---|
![]() Date: 2014-10-30 17:26:17Software 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 | Source URL: flux.cs.queensu.caDownload Document from Source WebsiteFile Size: 1,18 MBShare Document on Facebook |
![]() | 02157 Functional Programming - SequencesDocID: 1rsIU - View Document |
![]() | WG14 N1475 INCITS PL22.11/09-‐0002 Reply to the Attention of: Barry Hedquist Email:DocID: 1rgqx - View Document |
![]() | From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2DocID: 1rfUD - View Document |
![]() | 02157 Functional Programming - Tagged values and Higher-order list functionsDocID: 1rahU - View Document |
![]() | Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of EdinburghDocID: 1r6mD - View Document |