Aspinall - PDFSEARCH.IO - Document Search Engine

Aspinall
Results: 188

#	Item
11	Advances in Programming Languages APL1: What’s so important about language? Ian Stark and David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-10 18:30:15 Linguistics Culture Cognitive science Cognition Psycholinguistics Anthropological linguistics Relativism Linguistic relativity Tractatus Logico-Philosophicus World view Computer programming George Boole
12	Advances in Programming Languages APL14: Further language concurrency mechanisms David Aspinall (including slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-24 17:48:20 Computing Software engineering Computer programming Concurrent programming languages Inter-process communication Functional languages Concurrent computing Edsger W. Dijkstra Process calculi Actor model Message passing Scala
13	Advances in Programming Languages APL13: Concurrency Abstractions David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-22 15:21:26 Software engineering Computing Computer programming Concurrency control Java Concurrent computing Software design patterns Thread safety Java concurrency Lock Synchronization Immutable object
14	Expertise of Training and Development Staff in SDDU Samantha Aspinall, Researcher Skills Senior Training and Development Officer: BEd (Kingston) Samantha has worked in education throughout her career. After working in It Add to Reading List Source URL: www.sddu.leeds.ac.uk Language: English - Date: 2016-08-01 04:47:20 Leeds Russell Group University of Leeds Leeds University Business School Yorkshire Universities in the United Kingdom University of Ontario Institute of Technology Khulna University
15	Advances in Programming Languages APL5: ESC/Java2 — The Java Extended Static Checker David Aspinall (including slides by Ian Stark and material adapted from ESC/Java2 tutorial by Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-24 19:03:54 Computing Software engineering Software Java platform Cross-platform software Formal methods ESC/Java Concurrent programming languages Java Modeling Language Extended static checking Java Java version history
16	Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-20 18:21:25 Computing Software engineering Theoretical computer science Formal methods Logic in computer science Java Modeling Language Java platform Static program analysis ESC/Java Hoare logic Assertion Modeling language
17	Advances in Programming Languages Certifying correctness David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-27 19:53:39 Cryptography Formal methods Theoretical computer science Computing Computer security Logic in computer science Public key infrastructure Formal verification Correctness Proof-carrying code Authentication Code signing
18	Advances in Programming Languages APL12: Coursework Assignment, Review David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-17 17:51:35 Software engineering Computing Computer programming Functional languages Object-oriented programming languages Type theory Concurrent programming languages Programming paradigms Haskell Scala Mixin Concurrent computing
19	An Essence of SSReflect Iain Whiteside, David Aspinall, and Gudmund Grov CISA, School of Informatics University of Edinburgh Edinburgh EH8 9AB, Scotland Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-01-09 06:40:19 Proof theory Deductive reasoning Logic programming Soundness
20	Upper Colorado Region’s Operations and Interactions WestFAST Special Topics Webinar Series June 25, 2015 Malcolm Wilson, Chief, Water Resources Group Add to Reading List Source URL: www.westernstateswater.org Language: English - Date: 2015-06-25 10:45:45 United States Bureau of Reclamation Colorado River Colorado River Storage Project Sonoran Desert Colorado Plateau Reservoir Flaming Gorge Dam Wayne N. Aspinall

UPDATE