Compilers - PDFSEARCH.IO - Document Search Engine

Compilers
Results: 1282

#	Item
531	MELT a Translated Domain Specific Language Embedded in the GCC Compiler Basile S TARYNKEVITCH CEA, LIST Software Safety Laboratory, boˆıte courrier 94, 91191 G IF /Y VETTE C EDEX, France Add to Reading List Source URL: starynkevitch.net Language: English - Date: 2011-07-17 05:22:17 Functional languages Lisp programming language Cross-platform software Procedural programming languages Compilers GNU Compiler Collection Lisp Register transfer language C Software Computing Computer programming
532	aiT for MPC755 (Simple Memory Model) aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrin Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Compilers Programming language implementation Real-time computing Worst-case execution time CodeWarrior GNU Compiler Collection C Programming tool Porting Software Computing Computer programming
533	aiT for MPC5xx aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Integrated development environments Instruction set architectures Compilers Real-time computing Worst-case execution time CodeWarrior PowerPC GNU Compiler Collection 64-bit Software Computing Power Architecture
534	R Installation and Administration VersionUnder developmentR Core Team This manual is for R, versionUnder development). Add to Reading List Source URL: ftp.acc.umu.se Language: English - Date: 2015-05-03 13:31:57 Cross-platform software Compiling tools Portable software Compilers Cygwin Red Hat Debian Rsync NetBSD Software System software Computing
535	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
536	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
537	LLVM STABLE RELEASES TOM STELLARD OCTOBER 28, 2014 1 \| Add to Reading List Source URL: llvm.org Language: English - Date: 2014-12-05 00:49:34 Clang Computing platforms Cross-platform software LLVM OpenCL Linux kernel FreeBSD Debian GNU Compiler Collection Software Computing Compilers
538	GeoFEM/Tiger Quick Start English Version Ver.6.00 EJune Add to Reading List Source URL: geofem.tokyo.rist.or.jp Language: English - Date: 2004-10-08 06:11:33 Compilers Parallel computing Debuggers Free software MPICH Public domain software The Portland Group Intel Fortran Compiler Intel C++ Compiler Software Computing Computer programming
539	Unix Programming Tools By Parlante, Zelenski, and many others Copyright ©, Stanford University Add to Reading List Source URL: cslibrary.stanford.edu Language: English - Date: 2008-04-01 19:05:41 Debuggers Compiling tools Compilers GNU Debugger Make Emacs GNU Compiler Collection CFLAGS Apache Ant Software Computing Build automation
540	aiT for ERC32 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Compilers ERC32 Worst-case execution time Compiler construction GNU Compiler Collection Toolchain Compiler Programming tool Software Computing Programming language implementation

UPDATE