Algol

Results: 3193



#Item
71Logic in computer science / Formal methods / Procedural programming languages / Constraint programming / Satisfiability modulo theories / Parameter / Formal verification / Scheme / Logic programming / ALGOL 68 / Decompiler / Standard ML

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
72C / Procedural programming languages / Data types / Source code / C++ classes / Bit field / ALGOL 68 / Include directive / Struct / Tar

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
73Data types / Procedural programming languages / Software design patterns / Data management / Transaction processing / Schedule / Type system / Const / D / ALGOL 68 / Monad

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
74Disaster 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

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
75Subroutines / C++ / Data types / Procedural programming languages / C++ classes / Const / ALGOL 68 / Recursion / Channel / Parameter

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
76C++ / C++11 / Copy constructor / Constructor / C++ classes / Struct / Const / Pointer / Assignment operator / Initialization / ALGOL 68 / Recursion

N2904=Stroustrup Defining default copy and move N2904=

Add to Reading List

Source URL: www.open-std.org

Language: English
77Parallel computing / Task parallelism / Data parallelism / GNU parallel / ALGOL 68 / Functional programming / Parallelism / Thread / Maths24

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
78Procedural programming languages / C++ / Conditional / Goto / Scope / C / Algorithm / Variable / Statement

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
79Category theory / Functors / Algebraic topology / Homotopy theory / Fibred category / Cartesian closed category / Natural transformation / Universal property / Sheaf / Fibration / Product / Dual

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
80Functional languages / Data types / Object-oriented programming languages / C++ / Procedural programming languages / OCaml / Caml / Const / Tagged union / Higher-order function / C++ classes / ALGOL 68

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
UPDATE