S-algol - PDFSEARCH.IO - Document Search Engine

S-algol
Results: 142

#	Item
131	Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler∗ Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A. Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2005-06-09 19:14:00 Data types Procedural programming languages C Standard Library Type theory Abstract interpretation Symbolic execution Printf format string C ALGOL 68 Computing Software engineering Computer programming
132	I/O (F book, chapters 9, 10 and 15) All I/O in Fortran90 is record-based, typically with record delimiters of some kind. This is in contrast to C, which has stream I/O, with no record delimiters required. First let’s l Add to Reading List Source URL: exodus.physics.ucla.edu Language: English - Date: 2002-04-23 02:52:58 Programming language theory Fortran ALGOL 68 Fortran 95 language features Data file Computing Software engineering Procedural programming languages
133	This is the author’s version of a work that was submitted/accepted for publication in the following source: Sorensen, Andrew C. & Gardner, Henry[removed]Programming with time : cyber-physical programming with Impromptu. In Proceedings of OOPSLA10 : ACM International Conference on Object Oriented Programming Add to Reading List Source URL: eprints.qut.edu.au Language: English - Date: 2013-04-22 20:01:28 Procedural programming languages Mathematical logic Theoretical computer science Functional languages Parallel computing Programming language Functional programming Lisp ALGOL 68 Software engineering Computing Computer programming
134	Why is this form of overloading usually disallowed? It’s because overload resolution Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2008-02-08 12:22:06 C++ Subroutines Method Parameter Source code ALGOL 68 Reference C++ classes Function overloading Software engineering Computer programming Computing
135	S t r u c t u r e d P r o g r a m m i n g w i t h go to S t a t e m e n t s DONALD E. KNUTH Stanford University, Stanford, California 9~S05 Add to Reading List Source URL: sbel.wisc.edu Language: English - Date: 2012-02-28 16:04:30 Procedural programming languages ALGOL 68 MUMPS Fortran Control flow Stack International Obfuscated C Code Contest Classical cipher Computing Software engineering Computer programming
136	Dijkstra’s Crisis: The End of Algol and Beginning of Software Engineering, [removed]Thomas Haigh, [removed], www.tomandmaria.com/tom Draft for discussion in SOFT-EU Project Meeting, September 2010 Add to Reading List Source URL: www.tomandmaria.com Language: English - Date: 2010-09-10 02:26:09 Procedural programming languages Turing Award laureates Software engineers Fellows of the British Computer Society ALGOL IFIP Working Group 2.1 Edsger W. Dijkstra Friedrich L. Bauer Peter Naur Software engineering Computing Programming language theory
137	S t r u c t u r e d P r o g r a m m i n g w i t h go to S t a t e m e n t s DONALD E. KNUTH Stanford University, Stanford, California 9~S05 Add to Reading List Source URL: cs.sjsu.edu Language: English - Date: 2011-09-14 17:03:19 Procedural programming languages ALGOL 68 MUMPS Fortran Control flow Stack International Obfuscated C Code Contest Classical cipher Computing Software engineering Computer programming
138	Go T o S t a t e m e n t Considered Harmful Add to Reading List Source URL: www.cs.uiuc.edu Language: English - Date: 2005-07-01 15:49:58 Mathematical logic Theoretical computer science Software engineering ALGOL 68 Dynamic programming Formal methods Programming language theory Computing Algorithm
139	PDF Document Add to Reading List Source URL: conservancy.umn.edu Language: English - Date: 2012-02-24 14:58:57 Procedural programming languages Burroughs Corporation Calculators ALGOL Edgar Rice Burroughs Burroughs MCP Robert S. Barton Burroughs Burroughs large systems Computing Software engineering Programming language theory
140	PDF Document Add to Reading List Source URL: klabs.org Language: English - Date: 2009-01-20 22:37:24 Procedural programming languages HAL/S ALGOL 68 PL/I C Ada MAD Computing Software engineering Programming language theory

UPDATE