Post-compiler Software Optimization for Reducing Energy Eric Schulte ∗ Jonathan Dorn † Stephen Harding Stephanie Forrest ∗ Westley Weimer † ∗ Department

Source URL: dijkstra.cs.virginia.edu

Porting GCC Compiler Part I : How GCC works? Choi, Hyung-Kyu July 17, 2003

Source URL: gcc.gnu.org

The final publication is available at: http://www.springerlink.com/content/d753r27550257252 Milepost GCC: machine learning enabled self-tuning compiler Grigori Fursin12 · Yuriy Kashnikov2 ·

Source URL: pages.saclay.inria.fr

Argument Optionality: A New Library for the Grammar Matrix Customization System Safiyyah Saleem

Source URL: www.delph-in.net

• Grammar
• Cognitive science
• Syntax
• Linguistics
• Language
• Formal languages
• Generative linguistics
• Compiler construction
• Head-driven phrase structure grammar
• Thesis
• Formal grammar
• Parsing

Coala: A Compiler from Action Languages to ASP Martin Gebser, Torsten Grote, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. Action languages allow fo

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Answer set programming
• ASCII
• Coala
• Linear temporal logic
• Stable model semantics

Bolt: On-Demand Infinite Loop Escape in Unmodified Binaries Michael Kling Sasa Misailovic

Source URL: people.csail.mit.edu

• Software engineering
• Computer programming
• Computing
• Recursion
• Edsger W. Dijkstra
• Programming paradigms
• Theoretical computer science
• Infinite loop
• Control flow
• Optimizing compiler
• For loop
• Bolt

Q. Should all CS majors take a compiler and/or a language design course? Alex Aiken PLDI Panel on Teaching

Source URL: wp.acm.org

DEPARTMENT OF COMPUTER SCIENCE A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Christopher Graham Seaton

Source URL: chrisseaton.com

• Software
• Computing
• Parsing algorithms
• Compiler construction
• Formal languages
• Parser generators
• Parsing
• Compiler-compiler
• Syntax
• Programming language
• Compiler
• Yacc

ARSENAL: Automatic Requirements Specification Extraction from Natural Language Shalini Ghosh1 , Daniel Elenius1 , Wenchao Li1 , Patrick Lincoln1 , Natarajan Shankar1 , Wilfried Steiner2 1

Source URL: arxiv.org

• Logic
• Abstraction
• Software
• Predicate logic
• Compiler construction
• Computational linguistics
• Natural language parsing
• Programming language implementation
• Parsing
• Natural language processing
• Dependency grammar
• Domain-specific language

vbcc compiler system Volker Barthelmann i

Source URL: server.owl.de