Algol - PDFSEARCH.IO - Document Search Engine

Algol
Results: 3193

#	Item
71	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML
72	cs281: Introduction to Computer Systems Project Lab 1: The Datalab Assigned: Sept. 4, Due: Sept Add to Reading List Source URL: personal.denison.edu Language: English - Date: 2015-11-10 08:26:31 C Procedural programming languages Data types Source code C++ classes Bit field ALGOL 68 Include directive Struct Tar
73	PLACES 2013 Programming Language Approaches to Communication- and Concurrency-cEntric Software (6th International Workshop) An ETAPS Satellite Event Add to Reading List Source URL: places13.di.fc.ul.pt Language: English - Date: 2014-02-12 06:01:38 Data types Procedural programming languages Software design patterns Data management Transaction processing Schedule Type system Const D ALGOL 68 Monad
74	International Consortium on Landslides January 5, 2015 To BOR members of ICL Request of 2015 Membership fee and Annual Reports of IPL Projects, Progress Reports of WCoEand ICL Networks, and Add to Reading List Source URL: iplhq.org Language: English - Date: 2015-03-04 08:55:12 Disaster preparedness Indian Premier League United Nations International Strategy for Disaster Reduction International Conference on Interactive Computer Aided Learning Disaster risk reduction World Conference on Disaster Risk Reduction Sendai ALGOL 68
75	Synchronous Multiparty Session Types Andi Bejleri Nobuko Yoshida Imperial College London Aim of this work Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Subroutines C++ Data types Procedural programming languages C++ classes Const ALGOL 68 Recursion Channel Parameter
76	N2904=Stroustrup Defining default copy and move N2904= Add to Reading List Source URL: www.open-std.org Language: English C++ C++11 Copy constructor Constructor C++ classes Struct Const Pointer Assignment operator Initialization ALGOL 68 Recursion
77	Parallel Processing Functional Programming and Parallel Computing Multicore processors are becoming commonplace They typically consist of several processors, and a shared memory: Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-03 05:18:36 Parallel computing Task parallelism Data parallelism GNU parallel ALGOL 68 Functional programming Parallelism Thread Maths24
78	Practical Aspects of Specialization of Algol-like Programs Mikhail A. Bulyonkov and Dmitrij V. Kochetov Institute of Informatics Systems, Novosibirsk, Russia Abstract. A \linearized" scheme of polyvariant specialization Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Procedural programming languages C++ Conditional Goto Scope C Algorithm Variable Statement
79	A Fibrational Framework for Possible-World Semantics of ALGOL-like Languages C. Hermida and R. D. Tennent School of Computing Queen’s University Kingston, Canada Add to Reading List Source URL: maggie.cs.queensu.ca Language: English - Date: 2007-01-30 15:35:55 Category theory Functors Algebraic topology Homotopy theory Fibred category Cartesian closed category Natural transformation Universal property Sheaf Fibration Product Dual
80	Programovací jazyky F# a OCaml Chapter 3. Composing primitive types into data Data types Add to Reading List Source URL: tomasp.net Language: English - Date: 2016-08-19 17:17:35 Functional languages Data types Object-oriented programming languages C++ Procedural programming languages OCaml Caml Const Tagged union Higher-order function C++ classes ALGOL 68

UPDATE