Stories tagged as compilers – Compiler design
  1. 5
    Lost in Translation (Exploring the BEAM Compiler's Front End) compilers elixir erlang blog.erlang.org
    skunkwerks avatar via skunkwerks 4 months ago | cached | no comments
  2. 1
    Programmatic Control of a Compiler for Generating High-Performance, Spatial Hardware (2017) ☶ pdf compilers hardware programming arxiv.org
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  3. 3
    What you get is what you C: Controlling side effects in mainstream C compilers ☶ pdf c compilers drive.google.com
    fcbsd avatar via fcbsd 4 months ago | cached | 1 comment
  4. 2
    Custom Alias Analysis in LLVM compilers blog.tartanllama.xyz
    hashemi avatar via hashemi 4 months ago | cached | no comments
  5. 4
    The story of ispc: first users compilers pharr.org
    sanxiyn avatar via sanxiyn 4 months ago | cached | no comments
  6. 12
    How to prove a compiler fully abstract compilers formalmethods plt dbp.io
    dbp avatar authored by dbp 4 months ago | cached | 3 comments
  7. 2
    The story of ispc: first benchmark results compilers pharr.org
    sanxiyn avatar via sanxiyn 4 months ago | cached | no comments
  8. 3
    The story of ispc: C's influence and implementing SPMD on SIMD (part 4) c compilers pharr.org
    1amzave avatar via 1amzave 4 months ago | cached | no comments
  9. 6
    Can Logic Programming Execute as Fast as Imperative Programming? (1990) ☶ pdf compilers compsci performance programming eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 6 comments
  10. 5
    Œuf: Minimizing the Coq Extraction TCB ☶ pdf compilers formalmethods programming oeuf.uwplse.org
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  11. 7
    Automatic Generation of Provably Correct Embedded Systems (2012) ☶ pdf compilers formalmethods programming pat.comp.nus.edu.sg
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  12. 11
    The story of ispc compilers pharr.org
    sanxiyn avatar via sanxiyn 4 months ago | cached | no comments
  13. 23
    SCUMM internals and syntax for the sake of nostalgia compilers games monades.roperzh.com
    roperzh avatar authored by roperzh 4 months ago | cached | no comments
  14. 2
    Help needed: Static typing and algebra ☶ compilers compsci math plt
    HenriTuhola avatar authored by HenriTuhola 4 months ago | 1 comment
  15. 16
    Announcing GraalVM: Run Programs Faster Anywhere compilers java blogs.oracle.com
    trousers avatar via trousers 4 months ago | cached | 4 comments
  16. 2
    An Overview Of The Marpa Parser (2015) compilers lukasatkinson.de
    adsouza avatar via adsouza 4 months ago | cached | no comments
  17. 67
    Parsing: a timeline compilers historical math jeffreykegler.github.io
    derek-jones avatar via derek-jones 4 months ago | cached | 15 comments
  18. 14
    Papers from the Lost Culture of Array Languages apl compilers compsci programming prog21.dadgum.com
    mfeathers avatar via mfeathers 4 months ago | cached | 5 comments
  19. 4
    An Interpreter for a Novice-Oriented Programming Language with Runtime Macros (2017) ☶ compilers education plt dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  20. 1
    Writing a Managed JIT in C# with CoreCLR compilers dotnet xoofx.com
    calvin avatar via calvin 4 months ago | cached | no comments
  21. 3
    Futhark 0.4.0 released compilers release futhark-lang.org
    sanxiyn avatar via sanxiyn 4 months ago | cached | no comments
  22. 10
    Nandlang: A programming language based on NAND completeness compilers github.com
    nil avatar via nil 4 months ago | cached | no comments
  23. 11
    A catamorphic lambda-calculus interpreter compilers compsci haskell michaelpj.com
    mpdehnel avatar via mpdehnel 4 months ago | cached | no comments
  24. 32
    Writing a recursive ascent parser by hand compilers rust abubalay.com
    pushcx avatar via pushcx 4 months ago | cached | 2 comments
  25. 22
    PostgreSQL Begins Landing LLVM JIT Support For Faster Performance compilers databases phoronix.com
    calvin avatar via calvin 4 months ago | cached | 1 comment
<< Page 4 | Page 6 >>