Abstract interpretation: A semantics-based tool for program analysis
https://www.researchgate.net/publication/234803097_Abstract_interpretation_A_semantics-based_tool_for_program_analysis
https://www.researchgate.net/publication/234803097_Abstract_interpretation_A_semantics-based_tool_for_program_analysis
ResearchGate
(PDF) Abstract interpretation: A semantics-based tool for program analysis
PDF | Desirable mathematical background for this chapter includes basic concepts such as lattices, complete partial orders, homomorphisms, etc.the... | Find, read and cite all the research you need on ResearchGate
🔥1
Reflection and Metaprogramming in Smalltalk
https://m-sp.org/downloads/titech_programming_langauge_design.pdf
https://m-sp.org/downloads/titech_programming_langauge_design.pdf
👍1
Experimental undelimited continuations in C via x86-64 assembly
https://github.com/cslarsen/callcc-c/blob/master/callcc.c
https://github.com/cslarsen/callcc-c/blob/master/callcc.c
GitHub
callcc-c/callcc.c at master · cslarsen/callcc-c
Experimental undelimited continuations in C via x86-64 assembly - cslarsen/callcc-c
👍2
Build systems a la carte: theory and practice
https://simon.peytonjones.org/build-systems-a-la-carte-theory-and-practice/
https://simon.peytonjones.org/build-systems-a-la-carte-theory-and-practice/
Simon Peyton Jones
Build systems a la carte: theory and practice
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones Published in Journal of Functional Programming, Vol 30(E11) View PDF Download BibTex
👍1🔥1👏1🤯1
CONS Should not CONS its Arguments, or, a Lazy Alloc is a Smart Alloc
https://www.cs.tufts.edu/~nr/cs257/archive/henry-baker/cons-lazy-alloc.pdf
https://www.cs.tufts.edu/~nr/cs257/archive/henry-baker/cons-lazy-alloc.pdf
👍2
Garbage Collection for Systems Programmers
https://bitbashing.io/gc-for-systems-programmers.html
https://bitbashing.io/gc-for-systems-programmers.html
Bit Bashing
Garbage Collection for Systems Programmers
Yet another programming blog. Thoughts on software and related misadventures.
👍2👌1
Fixing a Bug in PyPy's Incremental GC
https://www.pypy.org/posts/2024/03/fixing-bug-incremental-gc.html
https://www.pypy.org/posts/2024/03/fixing-bug-incremental-gc.html
PyPy
Fixing a Bug in PyPy's Incremental GC
Introduction
Since last summer, I've been looking on and off into a weird and hard to
reproduce crash bug in PyPy. It was
manifesting only on CI, and it seemed to always happen in the AST rewriting
ph
Since last summer, I've been looking on and off into a weird and hard to
reproduce crash bug in PyPy. It was
manifesting only on CI, and it seemed to always happen in the AST rewriting
ph
👍2
Improvements to static analysis in the GCC 14 compiler
https://developers.redhat.com/articles/2024/04/03/improvements-static-analysis-gcc-14-compiler
https://developers.redhat.com/articles/2024/04/03/improvements-static-analysis-gcc-14-compiler
Red Hat Developer
Improvements to static analysis in the GCC 14 compiler | Red Hat Developer
I work at Red Hat on GCC, the GNU Compiler Collection. For the last five releases of GCC, I've been working on -fanalyzer, a static analysis pass that tries to identify various problems at
Asymptotic speedup via effect handlers
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/asymptotic-speedup-via-effect-handlers/296879DE2FD96FB6CF388F27978C76E4
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/asymptotic-speedup-via-effect-handlers/296879DE2FD96FB6CF388F27978C76E4
Cambridge Core
Asymptotic speedup via effect handlers | Journal of Functional Programming | Cambridge Core
Asymptotic speedup via effect handlers - Volume 34
The Preprocessor Iceberg Meme
https://jadlevesque.github.io/PPMP-Iceberg/
https://jadlevesque.github.io/PPMP-Iceberg/
jadlevesque.github.io
The Preprocessor Iceberg Meme
👍5
Metaprogramming (Julia)
https://docs.julialang.org/en/v1/manual/metaprogramming/#Metaprogramming
https://docs.julialang.org/en/v1/manual/metaprogramming/#Metaprogramming
👍2👎1
A simple program specializer (based on partial evaluation) for a subset of Scheme.
https://github.com/sergei-romanenko/unmix
https://github.com/sergei-romanenko/unmix
GitHub
GitHub - sergei-romanenko/unmix: A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes…
A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes a binding time analyzer, a residual program generator and an arity raiser. Imported from Google Code. ...
What every programmer should know about memory, Part 1
https://lwn.net/Articles/250967/
https://lwn.net/Articles/250967/
LWN.net
What every programmer should know about memory, Part 1
Ulrich Drepper recently approached us asking if we would be interested in publishing a lengthy [...]
❤3👍2