R: a language for data analysis and graphics

R Ihaka, R Gentleman�- Journal of computational and graphical�…, 1996 - Taylor & Francis
In this article we discuss our experience designing and implementing a statistical computing
language. In developing this new language, we sought to combine what we felt were useful�…

[BOOK][B] Compilers principles, techniques & tools

VA Alfred, SL Monica, DU Jeffrey - 2007 - elib.vku.udn.vn
In the time since the 1986 edition of this book, the world of compiler design has changed
significantly. Programming languages have evolved to present new compilation problems�…

Introduction to automata theory, languages, and computation

JE Hopcroft, R Motwani, JD Ullman�- Acm Sigact News, 2001 - dl.acm.org
In the preface from the 1979 predecessor to thOR book, Hopcroft and U11man marveled at
the fact that the subject of automata had exploded, compared with its state at the time they�…

The Esterel synchronous programming language: Design, semantics, implementation

G Berry, G Gonthier�- Science of computer programming, 1992 - Elsevier
We present the E sterel programming language which is especially designed to program
reactive systems, that is systems which maintain a permanent interaction with their�…

[BOOK][B] Modern compiler implementation in ML

AW Appel - 1998 - books.google.com
This new, expanded textbook describes all phases of a modern compiler: lexical analysis,
parsing, abstract syntax, semantic actions, intermediate representations, instruction�…

CVXGEN: A code generator for embedded convex optimization

J Mattingley, S Boyd�- Optimization and Engineering, 2012 - Springer
CVXGEN is a software tool that takes a high level description of a convex optimization
problem family, and automatically generates custom C code that compiles into a reliable�…

[BOOK][B] Digital signal processing with field programmable gate arrays

U Meyer-Baese, U Meyer-Baese - 2007 - Springer
Asia area prefer Verilog, while US east coast and Europe more frequently use VHDL. For
DSP with FPGAs both languages seem to be well suited, although some VHDL examples�…

ANTLR: A predicated‐LL(k) parser generator

TJ Parr, RW Quong�- Software: Practice and Experience, 1995 - Wiley Online Library
Despite the parsing power of LR/LALR algorithms, eg YACC, programmers often choose to
write recursive‐descent parsers by hand to obtain increased flexibility, better error handling�…

[BOOK][B] Synchronous programming of reactive systems

N Halbwachs - 1992 - books.google.com
This book will attempt to give a first synthesis of recent works con cerning reactive system
design. The term" reactive system" has been introduced in order to at'oid the ambiguities�…

Flashmeta: A framework for inductive program synthesis

O Polozov, S Gulwani�- Proceedings of the 2015 ACM SIGPLAN�…, 2015 - dl.acm.org
Inductive synthesis, or programming-by-examples (PBE) is gaining prominence with
disruptive applications for automating repetitive tasks in end-user programming. However�…