Shared flashcard

Software · L5 · Programming Language Semantics

Sign in to clone

Small-step and big-step operational semantics, denotational semantics, and type soundness via progress and preservation.

by @openstemUpdated Software

We use privacy-friendly product analytics (no session recording, PII masked) to improve OpenStem. Load analytics? Privacy Policy