Compilation
Compilation
foldoc: Free On-Line Dictionary Of Computing
Catalog of Free Compilers and Interpreters
High Level Assembler
Yacc, Lex
www.combo.org/lex_yacc_page/
grammaire C (yacc): Jutta Degener
Catalog of Free Compilers and Interpreters
Abstract State Machines
dea Orléans
Zephyr
ASDL
lcc
elegant
directions strategiques : ACM 50th birthday
Parallélisation automatique
binary translation
Parallélisme, langages fonctionnels, orientés objet, JAVA
embedded processors
Méthodes formelles, spécifications
Logique
Interprétation abstraite, data flow analysis
Génération de code, allocation de registres
Cache performance
Sémantique
Petri nets
Différentiation automatique
Liste des outils
Odyssée (SAFIR)
ADIFOR, ADIC : Argonne
Détection des erreurs d'arrondi
CADNA: J.Vignes (IBP)
(estimer l'impact des erreurs d'arrondi)
IntegriSoft : environnement de programmation
Livres
Reinhard Wilhelm et Dietrich Maurer
en anglais
en français
Andrew Appel
Let's build a compiler
Jack Crenshaw
Connected Components Corp: Luddy Harrison
SUIF
A.Aiken (Berkeley)
Susan Eggers
Scheduling, register allocation, multithread
EAPLS
European Association for Programming Languages and Systems
la revue des langages : François-René Rideau (ENS)
projet Tunes
Merlin
Cours systèmes de D.W. Jones (Iowa) - deadlock
SUIF : pointer analysis
Robert P. Wilson and Monica S. Lam
Software pipelining
McGill
McGill : ACAPS
McGill : McCAT
Dennis Ritchie
Colorado : William Waite
g77