On Wednesday, February 27, 2019 at 5:20:35 AM UTC-6, Edward K. Ream wrote: I never dreamed that program verification would actually be done > automatically for any significant program, nor that any language might be > formally verified. Both are integral parts of WebAssembly. >
WebAssembly is fascinating engineering. For example, consider the GC proposal <https://github.com/WebAssembly/gc/blob/master/proposals/gc/Overview.md>, referenced from this wasm proposal <https://github.com/WebAssembly/proposals/issues/16>. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.