ALGOL - PDFSEARCH.IO - Document Search Engine

ALGOL
Results: 3193

#	Item
841	i c h i r n 01 C U L T U R A I . H E R I T A G E a n d Add to Reading List Source URL: www.archimuse.com Language: English - Date: 2011-09-09 18:19:46 XML ALGOL 68 Regular expression Modal logic Computing Software engineering Technical communication
842	Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy INRIA Paris-Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-03-11 04:28:36 Compiler construction Programming language implementation Debugging HTML Validator ALGOL 68 Static single assignment form Structure Compiler Software engineering Computing Computer programming
843	Coelho & Jouvelot & Ancourt & Irigoin Data and Process Abstraction in PIPS Internal Representation Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, Franc¸ois Irigoin Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-04-08 11:00:15 Computer programming C programming language C++ Procedural programming languages Type theory Typedef Pointer Struct ALGOL 68 Computing Software engineering Data types
844	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.6) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-09-19 09:34:02 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
845	Making Aspects Natural: Events and Composition Christoph Bockisch, Somayeh Malakuti, Mehmet Ak¸sit Software Engineering group, University of Twente, 7500 AE Enschede, The Netherlands Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-04-03 09:06:12 Aspect-oriented software development Aspect-oriented programming AspectJ Join point E Aspect ALGOL 68 C++ classes Runtime verification Software development Software Computing
846	Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama Oleg Kiselyov Chung-chieh Shan Add to Reading List Source URL: okmij.org Language: English - Date: 2014-01-05 02:30:19 Procedural programming languages Data types Lambda calculus C++ Functional programming ALGOL 68 Generator List comprehension Type system Software engineering Computing Computer programming
847	Tips for Computer Scientists on Standard ML (Revised) Mads Tofte Add to Reading List Source URL: www.itu.dk Language: English - Date: 2009-08-30 11:24:46 Procedural programming languages Functional languages Data types C++ Type theory Standard ML C++ classes Declaration ALGOL 68 Software engineering Computing Computer programming
848	Polymorphic Functions with Set-Theoretic Types Ar tifact Introduction Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-10-31 06:48:56 Computer science Lambda calculus Type inference Hindley–Milner Type system Unification Symbol System F ALGOL 68 Type theory Programming language theory Theoretical computer science
849	7tthh International Abilympics IA2007 V ttiioonnaallofSSWeb kkiillllPages Add to Reading List Source URL: ia2007.jeed.or.jp Language: English - Date: 2008-10-02 22:14:55 HTML element Cascading Style Sheets Web page Microsoft Word ALGOL 68 TeX Computing Software HTML
850	Linguistics 555 — Programming for Computational Linguists Robert Felty Fall 2008 Instructor: Robert Felty Class meeting times: Monday and Wednesday, 4:00-5:15 p.m., LH 030 Add to Reading List Source URL: robfelty.com Language: English - Date: 2008-11-17 12:45:14 Procedural programming languages Scripting languages Python C Unix Object-oriented programming ALGOL 68 Software engineering Computing Computer programming

UPDATE