ALGOL - PDFSEARCH.IO - Document Search Engine

ALGOL
Results: 3193

#	Item
51	Debugging in REDUCE H. Melenk Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin Takustrasse 7 Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:25 Software engineering Computer programming Subroutines Lisp For loop Return statement ALGOL 68 Foreach loop Recursion Parameter Statement Mouse
52	Option Values, Arrays, Sequences, and Lazy Evaluation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-06 09:27:00 Software engineering Computer programming Computing Data types Abstract data types Evaluation strategy Lazy evaluation Array data type Array data structure ALGOL 68 List Subroutine
53	A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-08-25 14:30:22 Software engineering Computer programming Declarative programming Type theory Functional programming Procedural programming languages Data types Object-oriented programming Monad ALGOL 68 Polymorphism Abstract type
54	Curriculum Vitae et Studiorum Tullio Vardanega Curriculum Vitae et Studiorum of: Add to Reading List Source URL: www.math.unipd.it Language: English - Date: 2006-08-22 09:37:47 Software engineering Computing Programming language theory Ada EUROMICRO ALGOL 68 Association for Computing Machinery
55	FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS) Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-14 11:22:28 Software engineering Computer programming Programming language theory Functional languages Functional programming Procedural programming languages Mathematical proof Coq OCaml Natural deduction Mathematical logic ALGOL 68
56	Towards Deeper Understanding of Syntactic Concepts in Programming Sebastian Gross, Sven Strickroth, Niels Pinkwart, and Nguyen-Thinh Le Clausthal University of Technology, Department of Informatics Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-03 09:16:06 Educational psychology Compiler construction Artificial intelligence Programming languages Educational technology Intelligent tutoring system Cognitive tutor Syntax AutoTutor Compiler ALGOL 68 Exception handling
57	Binding-Time Analysis and the Taming of C Pointers ∗ Lars Ole Andersen DIKU, University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Data types Procedural programming languages Type theory C Struct Type safety Pointer C++ classes Recursion ALGOL 68 Type system This
58	17 CPAdd missing language of content item and descendants to RDSR 1 Add to Reading List Source URL: dicom.nema.org Language: English - Date: 2016-05-30 09:30:00 Internationalization and localization Languages Radiobiology Identifiers ISO 639 IETF language tag ISO 639-3 Code Ionizing radiation Absorbed dose Language code ALGOL 68
59	Implementing Bit-addressing with Specialization Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, USA Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:07 Procedural programming languages Object-oriented programming languages Cross-platform software Functional languages ALGOL 68 Type system D Inline expansion ARM architecture Bit array C Quantization
60	1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Formal methods Monitor Hoare logic Invariant Loop invariant Flag semaphore Variable ALGOL 68 Predicate transformer semantics