Prof. W. Kahan's web pages edit / delete

Includes a variety of splendid publications on floating-point maths and how it's implemented. Worth referring to for occam-pi's maths implementation.

to compiler floating-point maths papers research ... on 13 December 2007

/trunk/hsloopo/LMath/Algo/OmegaTest.hs - LooPo - Trac edit / delete

The Omega test mostly in Haskell. I'd hope we can replace the C++ libraries it uses, or at least use it as a guide to implementation.

to compiler research ... on 06 December 2007

Alex edit / delete

Lexer generator for Haskell. May be worth using for Tock, with a follower pass that applies the line ending rules.

to compiler haskell lexer research ... on 23 July 2007

What Every Computer Scientist Should Know About Floating-Point Arithmetic edit / delete

Extremely handy guide to how floating-point arithmetic works. Well worth reading if you're implementing FP stuff.

to compiler fp maths research vm ... on 12 June 2007

SDCC - Small Device C Compiler edit / delete

Another small C compiler -- this one targets the Z80, among others.

to compiler research software z80 ... on 02 June 2007

Dom's software - BBC Micro software and utilities edit / delete

Partial port of CC65 to the BBC.

to bbc c compiler retrocomputing software ... on 20 May 2007

Vala – Trac edit / delete

Compiler from a C#-like language to C with GObject. Perhaps worth looking at for Potamus in the future?

to c compiler design gtk language programming ... on 05 March 2007

Mike Acton edit / delete

Some interesting stuff about GCC and optimisation; in particular, a good discussion of strict aliasing and how it can help the optimiser.

to c compiler optimisation programming research ... on 16 December 2006

HS XML queries via SYB3 like generic transformations edit / delete

Another generic transformations approach, with some HsXML examples. It appears from the provided code to be a "semi-structured data" system, which may be exactly what we want.

to compiler generics haskell research ... on 07 October 2006

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to compiler

- compiler
 
1 + 1802
3 + 6502
2 + 6809
1 + 8bit
1 + abi
1 + ag0700
3 + ag0803
1 + ai
1 + algol
3 + amiga
2 + amusements
1 + apple2
1 + assembler
1 + atari
1 + atomic
1 + autocode
1 + backdoor
1 + backend
1 + bbc
1 + bcpl
1 + bell-labs
3 + benchmarking
1 + bindings
1 + binutils
1 + build
1 + bytecode
23 + c
11 + c++
1 + c++11
2 + c64
2 + c99
1 + cas
1 + clang
1 + cmp201
5 + cmp409
1 + coco
1 + commodore
4 + concurrency
1 + confidence
1 + continuations
1 + coroutines
1 + correctness
3 + cpm
1 + cpp
1 + cross
1 + cross-compile
2 + cross-compiler
3 + cute-code
1 + debian
1 + debugging
1 + decompiler
3 + design
1 + dice
1 + dragon
1 + e
1 + editor
1 + effect-size
2 + electronics
1 + embedded
1 + emscripten
1 + emulation
1 + error
2 + etext
2 + floating-point
1 + formal-methods
1 + fortran
1 + fp
3 + fpga
3 + functional
1 + fuzzing
1 + games
9 + gcc
1 + generics
1 + gnu
1 + gpgpu
2 + gpu
1 + grammar
1 + gtk
1 + hardening
12 + haskell
4 + history
1 + ice
1 + indentation
1 + independence
3 + interpreter
1 + ir
1 + iso
2 + java
5 + javascript
3 + jit
3 + language
14 + language-design
1 + lexer
1 + library
1 + linker
2 + lisp
10 + llvm
1 + loop
1 + low-level
1 + lto
1 + macro
1 + make
1 + mali
3 + maths
1 + metaprogramming
1 + mingw
1 + minimal
1 + ml
1 + mud
2 + numeric
1 + numpy
1 + ocaml
5 + occam
1 + oo
1 + ooc
1 + opencl
10 + optimisation
2 + papers
1 + parallel
9 + parsing
2 + pascal
1 + pcc
3 + performance
3 + perl
1 + pli
1 + pocl
2 + porting
4 + programming
20 + python
1 + quake
2 + reproducibility
64 + research
17 + retrocomputing
2 + reverse-engineering
3 + security
34 + software
2 + static-checking
3 + statistics
1 + swig
1 + syntax
1 + tcl
3 + teaching
1 + templates
2 + testing
1 + timing
1 + to-package
4 + tock
1 + toolchain
1 + transactional-memory
2 + translation
1 + type-checking
1 + type-inference
2 + types
2 + unix
1 + varan
1 + verilog
1 + vhdl
7 + vm
1 + vms
1 + web
1 + win32
2 + z80