Tiny programming language - PDFSEARCH.IO - Document Search Engine

Tiny programming language
Results: 78

#	Item
1	Atomicity and Visibility in Tiny Embedded Systems John Regehr Nathan Cooprider University of Utah, School of Computing {regehr, coop}@cs.utah.edu Abstract Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2006-11-03 15:17:08 Compiler construction Concurrency control Programming language implementation Memory barrier TinyOS Volatile variable Memory model NesC Atom Computing Software engineering Computer memory
2	PCRPCSECPCRPCSECPRCCPCRPCSEC ro irDctlro irDctlriDrro irDctl ongoShhiongoShhiogSeongoShhi tfhtOeintfhtOeinthOdtfhtOein eitegdcieitegdcietgieitegdci cdscuusccdscuusccsubcdscuusc Add to Reading List Source URL: tmc.gov.in Language: English - Date: 2014-01-21 07:09:28 Documents Military terminology Pharmaceutical industry Standard operating procedure V1 Computer programming Documentation Tiny Encryption Algorithm ALGOL 68 Programming language theory Software engineering Clinical research
3	Atomicity and Visibility in Tiny Embedded Systems John Regehr Nathan Cooprider David Gay Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-07-12 19:27:44 Concurrency control Computer memory Compiler construction Programming language implementation Transaction processing Memory barrier Volatile variable TinyOS Memory model Computing Software engineering Computer programming
4	ANT A TY P E S E TT I N G S Y S T E M “ant is not TEX.” Achim Blumensath December 16, 2007 Add to Reading List Source URL: ftp.rrze.uni-erlangen.de Language: English - Date: 2007-12-16 11:06:11 Software Expr ECL programming language Regular expression Tiny programming language Computing Formal languages Unix
5	VX-toolset for M16C and R8C/Tiny HIGHLIGHTS Incorporates nextgeneration Viper compiler technology State-of-the-art C compiler Fast and compact Add to Reading List Source URL: www.tasking.com Language: English - Date: 2010-12-15 10:29:39 Programming language implementation Procedural programming languages Microcontrollers R8C Renesas Electronics Debugging Assembly language Debugger Embedded system Computing Software engineering Computer programming
6	MkImage Specification† Version 0.2 Jonathan Shapiro, Ph.D. The EROS Group, LLC. February 26, 2007 Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:08:56 Formal languages Expr Map Regular expression ECL programming language C Comparison of Pascal and C Tiny programming language Computing Software engineering Computer programming
7	Formalization of SPARK Subset in Coq Zhi Zhang Conservatoire National des Arts et Metiers Pierre Courtieu Maria Virginia Aponte Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2013-12-06 05:12:06 Procedural programming languages Ada programming language SPARK Tcl Coq ALGOL 68 Formal languages Comparison of Pascal and C Tiny programming language Software engineering Computing Programming language theory
8	A Tiny Specification Metalanguage Walter Wilson, Yu Lei Dept. of Computer Science and Engineering, The University of Texas at Arlington Arlington, Texas 76019, USA [removed], [removed] Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2012-06-25 15:11:07 Lisp programming language Model theory Mathematical logic Formal languages Functional languages Prolog First-order logic Lisp Logic programming Software engineering Logic Computing
9	[Faculty of Science Information and Computing Sciences] Generic programming with the multirec library Andres L¨oh Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Expr Generic programming Functor Fexpr Formal languages Parsing Map Tiny programming language Computing Unix Software engineering
10	ANT A TY P E S E TT I N G S Y S T E M “ant is not TEX.” Achim Blumensath December 16, 2007 Add to Reading List Source URL: ftp.yzu.edu.tw Language: English - Date: 2007-12-16 11:06:11 Software Expr ECL programming language Regular expression Tiny programming language Computing Formal languages Unix