Published August 21, 2025
| Version v0.1.2
Software
Open
Artifact for "React-tRace: A Semantics for Understanding React Hooks"
Description
We introduce React-tRace, a formalization of the semantics of the essence of React Hooks.
This artifact contains the implementation of the React-tRace definitional interpreter and the web frontend that visualizes the execution of React programs (Section 5). The conformance test suite is also included, which consists of the React-tRace side and the React side (Section 6.2). Example React programs presented in the paper can be found inside samples/oopsla25/ (Sections 2, 3, and 4.3).
Files
Zeta611/react-trace-v0.1.2.zip
Files
(6.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:79bf4a9bf1b77aeba2e3a8b7790cc774
|
6.8 MB | Preview Download |
Additional details
Related works
- Is continued by
- Software: https://github.com/Zeta611/react-trace/tree/v0.1.2 (URL)
- Is supplement to
- Publication: 10.1145/3763067 (DOI)
Software
- Repository URL
- https://github.com/Zeta611/react-trace
- Programming language
- OCaml , TypeScript , ReScript , JavaScript
- Development Status
- Active