Michael Pointer

Results: 48



#Item
41Binary trees / Binary search tree / Model checking / Tree traversal / Abstraction / Null / Pointer / SQL / C / Computing / Computer programming / Software engineering

ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October[removed]Efficient Modular Glass Box Software Model Checking Michael Roberson Chandrasekhar Boyapati

Add to Reading List

Source URL: web.eecs.umich.edu

Language: English - Date: 2010-10-19 08:49:44
42Cross-platform software / Procedural programming languages / C++ / C programming language / Application programming interfaces / External variable / C / Typedef / Pointer / Computing / Computer programming / Software engineering

SLIRP Reference Manual, Version[removed]Michael S. Noble, [removed] Sep 23, 2009 ii

Add to Reading List

Source URL: space.mit.edu

Language: English - Date: 2009-09-23 14:28:13
43Operations research / Procedural programming languages / Data types / Numerical software / Mathematical optimization / Linear programming / Differential equation / Pointer / Nonlinear programming / Software engineering / Computing / Computer programming

NLPAPI: An API to Nonlinear Programming Problems. User’s Guide Michael E. Henderson IBM Research Division T. J. Watson Research Center Yorktown Heights, NY 10598

Add to Reading List

Source URL: www.coin-or.org

Language: English - Date: 2011-09-11 15:32:25
44Memory management / Automatic memory management / Data types / C programming language / Garbage collection / Software bugs / Reference counting / Garbage / Pointer / Computing / Software engineering / Computer programming

Why You Should Use Garbage Collection in Your Program gene m. stover created Sunday, 20 April 2003 updated Wednesday, 30 April 2003 c 2003 by Gene Michael Stover. All rights reserved. Permission to

Add to Reading List

Source URL: cybertiggyr.com

Language: English - Date: 2014-06-08 02:24:29
45Cross-platform software / Type theory / Software bugs / Data types / Memory management / Pointer / C / Memory safety / Type system / Computing / Software engineering / Computer programming

A JVM for Soft-Error-Prone Embedded Systems Isabella Stilkerich Michael Strotz Christoph Erhardt Martin Hoffmann Fabian Scheler Wolfgang Schr¨oder-Preikschat

Add to Reading List

Source URL: www4.cs.fau.de

Language: English - Date: 2013-04-25 10:47:45
46C++ / Programming language implementation / Data types / C programming language / DWARF / Debugging data format / COFF / Object file / Pointer / Computing / Software engineering / Computer programming

Introduction to the DWARF Debugging Format Michael J. Eager, Eager Consulting

Add to Reading List

Source URL: www.dwarfstd.org

Language: English - Date: 2012-04-18 10:27:31
47C++ / Data types / Type theory / Method / Primitive types / C++11 / Copy constructor / C++ classes / Pointer / Software engineering / Computing / Computer programming

Explicit Conversion Operator Draft Working Paper (revision 3) Lois Goldthwaite, Michael Wong, Jens Maurer, Alisdair

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2007-10-05 10:53:12
48C++ / Data types / Type theory / Method / Primitive types / C++11 / Copy constructor / C++ classes / Pointer / Software engineering / Computing / Computer programming

Explicit Conversion Operator Draft Working Paper (revision 3) Lois Goldthwaite, Michael Wong, Jens Maurer, Alisdair

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2007-10-05 10:53:12
UPDATE