Bjarne - PDFSEARCH.IO - Document Search Engine

Bjarne
Results: 356

#	Item
321	Programming and Validation Techniques for Reliable Goal-driven Autonomic Software Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer and Bjarne Stroustrup Abstract 1 Future space missions such as the Mars Science Labora Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:45 Software engineering Compiler optimizations Formal methods Logic in computer science Parallel computing Local consistency Actor model Reliability engineering Automatic parallelization Theoretical computer science Computing Constraint programming
322	Learning Standard C++ as a New Language Bjarne Stroustrup AT&T Labs ABSTRACT To get the most out of Standard C++ [C++,1998], we must rethink the way we write Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:49 Procedural programming languages Cross-platform software C Generic programming Pointer Type safety ALGOL 68 Programming language Comparison of Pascal and C Software engineering Computing Computer programming
323	Sibling Rivalry: C and C++ Bjarne Stroustrup AT&T Labs Florham Park, NJ, USA ABSTRACT Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:52 C programming language C++ Data types Cross-platform software Type theory C99 C Inline function Pointer Computing Computer programming Software engineering
324	A Principled, Complete, and Efficient Representation of C++ Gabriel Dos Reis and Bjarne Stroustrup Abstract. We present a systematic representation of C++, called IPR, for complete semantic analysis and semantics-based p Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:46 C++ Data types Type theory Cross-platform software Generic programming C++11 Type safety Decltype Type system Software engineering Computing Programming language theory
325	Support for the Evolution of C++ Generic Functions Peter Pirkelbauer, Damian Dechev, and Bjarne Stroustrup Department of Computer Science and Engineering Texas A&M University College Station, TX[removed] Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:52 C++ Generic programming Type theory Cross-platform software Concepts Template C++11 Type system Type safety Software engineering Computing Computer programming
326	Open Pattern Matching for C++ Yuriy Solodkyy Gabriel Dos Reis Bjarne Stroustrup Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2013-10-14 16:06:12 Functional programming C++ Software design patterns Generic programming Type theory Pattern matching Algebraic data type C++11 Template Software engineering Computing Computer programming
327	Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems Damian Dechev, Rabi Mahapatra, Bjarne Stroustrup The dynamic cast operation allows flexibility in the design and use of data management facilities in o Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:46 Operations research Applied mathematics Heuristic Problem solving Algorithm Bjarne Stroustrup Mathematical optimization Scientific modelling C++ Computing Theoretical computer science Software engineering
328	C OV ER F E AT U RE Software Development for Infrastructure Bjarne Stroustrup, Texas A&M University Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:45 Data types Cross-platform software Type theory Procedural programming languages C++ C Type system Pointer Generic programming Computing Software engineering Computer programming
329	Microsoft Word - abstraction Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:45 Cross-platform software Numerical software Procedural programming languages C++ Generic programming Bjarne Stroustrup Standard library C Andrew Koenig Computing Software engineering Computer programming
330	Doc. No. 2RDU00001 Rev C Date: December 2005 JOINT STRIKE FIGHTER AIR VEHICLE C++ CODING STANDARDS Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:40 Source code Software architecture Cross-platform software Software metrics Object-oriented programming MISRA C C++ Coupling Bjarne Stroustrup Software engineering Computing Computer programming

UPDATE