Elijah Brick

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 3

Top Topics

Temporal Relations

Polynomial Equations

Programming Language

Quasi Invariant

Top Venues

Softw. Syst. Model.

Publications

Hessamaldin Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili
Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis. QRS Companion (2023)
Wided Ghardallou, Hessamaldin Mohammadi, Elijah Brick, Ali Mili
Invariant Relations: A Bridge from Programs to Equations. CoRR (2023)
Hessam Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili
On the persistent rumors of the programmer's imminent demise. Softw. Syst. Model. 22 (6) (2023)