Aspinall - PDFSEARCH.IO - Document Search Engine

Aspinall
Results: 188

#	Item
81	Advances in Programming Languages APL12: Language Augmentations and Correctness David Aspinall (some slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-09 11:24:01 Procedural programming languages Cross-platform software Theoretical computer science Logic in computer science Type theory Type system Programming language Formal verification C Computing Software engineering Computer programming
82	Advances in Programming Languages APL2: Concurrency 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-09-21 15:39:34 Java concurrency Thread Multi-core processor Concurrency Lock Go Parallel computing Computing Concurrent computing Computer programming
83	Advances in Programming Languages APL3: 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-09-27 10:16:42 Concurrent computing Software engineering Java programming language Threads Lock Java concurrency Thread safety Thread Linearizability Computing Concurrency control Computer programming
84	Advances in Programming Languages APL15: Bidirectional Programming David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-22 17:17:46 View Bidirectional transformation Aspinall Computing Information Database management systems Database theory Database
85	Advances in Programming Languages APL13: Assertions and Hoare Logic David Aspinall (most slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-08 17:16:25 Program logic Logic in computer science Propositional calculus Model theory Hoare logic Philosophy of language First-order logic Assertion Axiom Logic Mathematics Mathematical logic
86	Advances in Programming Languages APL17: XML processing with CDuce David Aspinall (see final slide for the credits and pointers to sources) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-29 09:37:27 XML Functional languages Technical communication ISO standards XQuery XSLT RELAX NG CDuce Programming language Computing Web standards Markup languages
87	Advances in Programming Languages APL5: 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-10-04 19:36:38 Computer programming Lock Thread Non-blocking algorithm Software transactional memory Deadlock Erlang Actor model Parallel computing Computing Concurrency control Software engineering
88	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-09-21 04:42:51 APL programming language family Array programming languages Functional languages Psycholinguistics Linguistic relativity Relativism APL Programming language Computer Software engineering Computing Computer programming
89	Advances in Programming Languages APL16: Bidirectional Programming II David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-23 09:27:14 Software Philip Wadler Bidirectional transformation Boomerang Aspinall Software engineering Computing Functional programming
90	From Bytecode Logic to Certificate Generation for Grail Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh Joint work with D. Aspinall, L. Beringer, H-W. Loidl, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-05-26 09:57:10 Software engineering Computing Programming language semantics Operational semantics Functional programming Free variables and bound variables Logic programming Programming paradigms Theoretical computer science Logic in computer science

UPDATE