Struct - PDFSEARCH.IO - Document Search Engine

Struct
Results: 936

#	Item
111	Under consideration for publication in Math. Struct. in Comp. Science Characteristic Formulae for Fixed-Point Semantics: A General Framework L U C A A C E T O1 A N N A I N G O L F D O T T I R1 P A U L B L A I N L E V Y2 Add to Reading List Source URL: www.joshuasack.info Language: English - Date: 2013-07-22 08:24:55
112	Memory-safe Execution of C on a Java VM Matthias Grimmer Roland Schatz Chris Seaton Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-02-28 16:25:13 Software engineering Computing Computer programming Data types C++ Memory management Primitive types Software bugs Pointer Struct Memory safety C dynamic memory allocation
113	On recovering multi-dimensional arrays in Polly Tobias Grosser, Sebastian Pop, J. Ramanujam, P. Sadayappan ETH Z¨ urich, Samsung R&D Center Austin, Louisiana State University, Ohio State University 19. January 2015 Add to Reading List Source URL: www.grosser.es Language: English - Date: 2015-08-09 09:14:53 Software engineering Programming language theory Computer programming C++ C Procedural programming languages C++ classes Struct ALGOL 68 Polytope model Array data structure Compatibility of C and C++
114	User-defined Data Types in Rhapsody Techletter Nr 5 Content Add to Reading List Source URL: www.willert.de Language: English - Date: 2015-06-15 03:53:21 Software engineering Computer programming Computing Data types C++ C Type theory C++ classes Const Enumerated type Typedef Struct
115	CELTGenerated by DoxygenMon Oct 26 10:06: Contents Add to Reading List Source URL: celt-codec.org Language: English - Date: 2009-10-26 14:00:08 Software Computing Technical communication C++ Online help C Struct Doxygen Stat C++ classes Documentation E
116	Struct Multidisc Optim:309–328 DOIs00158z EDUCATIONAL ARTICLE PolyMesher: a general-purpose mesh generator for polygonal Add to Reading List Source URL: paulino.ce.gatech.edu Language: English - Date: 2015-02-10 17:46:18
117	Under consideration for publication in Math. Struct. in Comp. Science Characteristic Formulae for Fixed-Point Semantics: A General Framework L U C A A C E T O1 A N N A I N G O L F D O T T I R1 P A U L B L A I N L E V Y2 Add to Reading List Source URL: www.ru.is Language: English - Date: 2010-09-16 05:58:45
118	Under consideration for publication in Math. Struct. in Comp. Science Relating timed and register automata† D I E G O F I G U E I R A1,2,3‡ , P I O T R H O F M A N3 and S L A W O M I R L A S O T A3 1 2 Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2014-04-01 07:46:03
119	c Cambridge University Press 2011 Math. Struct. in Comp. Science (2011), vol. 21, pp. 1339–1362. doi:S0960129511000223 On the computational complexity of dynamic slicing problems for program schemas Add to Reading List Source URL: sebastian.doc.gold.ac.uk Language: English - Date: 2014-04-14 11:04:56
120	Whiley: a Platform for Research in Software Verification David J. Pearce and Lindsay Groves School of Engineering and Computer Science Victoria University of Wellington Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2013-10-27 00:48:28 C Data types Whiley Struct Foreach loop C++ classes ALGOL 68 Union type Type system Typedef C Sharp syntax

UPDATE