Compositional CompCert Andrew W. Appel tifact * Complete

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Software
• Logic in computer science
• Formal methods
• Compiler construction
• Cross-platform software
• Object-oriented programming languages
• Stack
• Semantics
• Optimizing compiler
• Operational semantics

A version of this paper will appear in the Communications of the ACM (CACM). Memory Models: A Case for Rethinking Parallel Languages and Hardware Sarita V. Adve

Source URL: rsim.cs.uiuc.edu

• Computer memory
• Concurrency control
• Concurrency
• Compiler construction
• Parallel computing
• Memory model
• Java memory model
• Memory barrier
• OpenMP
• Thread
• Synchronization
• Stream processing

Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the

Source URL: www.ccs.neu.edu

• Logic
• Theoretical computer science
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Mathematical logic
• Security type system
• Symbol

Katahdin A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Chris Seaton Traditional Development Tools

Source URL: chrisseaton.com

• Software engineering
• Computing
• Computer programming
• Compiler construction
• Formal languages
• Procedural programming languages
• Programming language implementation
• Parsing algorithms
• Compiler-compiler
• Parsing
• Compiler
• Syntax

888: LLVM Week 2 - LLVM-IR Tobias Grosser I

Source URL: grosser.es

• Software
• Computer programming
• Compilers
• Object-oriented programming languages
• Compiler construction
• Procedural programming languages
• LLVM
• Clang
• High-level programming languages
• Intermediate representation
• GNU Compiler Collection
• Compiler

c Cambridge University Press 2010 JFP 20 (3 & 4): 271–302, 2010.  271 doi:S095679681000016X First published online 29 September 2010

Source URL: publications.lib.chalmers.se

• Software engineering
• Computer programming
• Computing
• Type theory
• Functional programming
• Data types
• Generic programming
• C++
• Type class
• Glasgow Haskell Compiler
• Monad
• Haskell

Identifying Memory Corruption Bugs with Compiler Instrumentations 이병영 (조지아공과대학교) @POC2014

Source URL: www.powerofcommunity.net

Compiler Support for Fine-Grain Software-only Checkpointing Chuck (Chengyan) Zhao1 , J. Gregory Steffan1 , Cristiana Amza1 , and Allan Kielstra2 1

Source URL: www.eecg.toronto.edu

C Compiler V3 使用手冊 版本 : V1.00 日期 :

Source URL: www.holtek.com.tw