Search alternatives:
simulation example » simulations examples, regulation example, simulated example
pointer programs » power programs, computer programs, oriented programs
example finding » example building, example printing, example finite
simulation example » simulations examples, regulation example, simulated example
pointer programs » power programs, computer programs, oriented programs
example finding » example building, example printing, example finite
1
by Guerra, Esther.
Published 2021
Format:
Published 2021
Table of Contents: “... Families with Numerical Features -- 1 Introduction -- 2 Motivating Example -- 3 A Language for Program...”
Click to View
2
by Sankaranarayanan, Sriram.
Published 2023
Format:
Published 2023
Table of Contents: “... Verification of Pointer Programs -- 1 Introduction -- 2 A tour of WhyRel -- 3 Patterns of alignment -- 4...”
Click to View