Executable Formal Semantics for the POSIX Shell

preview_player
Показать описание
Presented by Michael Greenberg.

Presented at POPL'20
  1. ACM SIGPLAN
  2. POPL
  3. POPL 2020
  4. Programming languages
  5. Michael Greenberg
  6. POPL'20
Рекомендации по теме
Executable Formal Semantics 0:21:34

Executable Formal Semantics for the POSIX Shell

#InvitedTalk: Michael Greenberg 1:01:41

#InvitedTalk: Michael Greenberg - Executable Formal Semantics for the POSIX Shell

Modular, Compositional, and 0:13:46

Modular, Compositional, and Executable Formal Semantics for LLVM IR

[WAW'24] Generating Executable 0:55:07

[WAW'24] Generating Executable Specification from Formal Semantics of WebAssembly

Linguistics : P-09.A. 0:31:07

Linguistics : P-09.A. Introduction to Formal Semantics, M-13. Mathematical Preliminaries- II

A Complete Formal 0:20:54

A Complete Formal Semantics of x86-64 User Level Instruction Set Architecture

[SLE23] An Executable 0:27:19

[SLE23] An Executable Semantics for Faster Development of Optimizing Python Compilers

Semantic Understanding of 0:16:18

Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity

K-Smali: an Executable 0:18:41

K-Smali: an Executable Semantics for Program Verification of Reversed Android Applications

ETAPS 2016 - 1:30:38

ETAPS 2016 - K: a semantic framework for programming languages and formal analysis tools - G. Rosu

Semantic Understanding of 0:16:18

Semantic Understanding of Smart Contracts Executable Operational Semantics of Solidity

Reut Tsarfaty: 'Natural 0:45:55

Reut Tsarfaty: 'Natural Language Programming (NLPRO): Turning Texts into Executable Code'

Professor Angelika Kratzer 0:57:34

Professor Angelika Kratzer on Formal Semantics

Part 1: learning 0:08:03

Part 1: learning executable semantic parsers for natural language understanding

GReTA seminar #20: 1:46:40

GReTA seminar #20: 'GReTA-ExACT: towards Executable Applied Category Theory'

IFL 2012. Ken 0:29:21

IFL 2012. Ken Madlener: Verified and Executable Semantics in Coq

Introduction to the 0:20:24

Introduction to the K Framework and KSolidity by Rikard Hjort and Shang Wei Lin

Multi-Engine Executable Modeling: 0:38:37

Multi-Engine Executable Modeling: System Level Execution Paradigm, Keynote MODELS 2020

Wasm Research Day 0:29:06

Wasm Research Day 2023 – Sukyoung Ryu

ASPLOS'24 - Session 1:17:08

ASPLOS'24 - Session 4D - Static Analysis and Verification

Making The Case 0:36:42

Making The Case For A (Semi) Formal Specification Of CPython

IOHK | Formal 1:28:03

IOHK | Formal Design, Implementation and Verification - Prof. Grigore Rosu

KWasm: Executable (E)Wasm 0:04:29

KWasm: Executable (E)Wasm Semantics for Verification and Profit by Rikard Hjort (Devcon5)

DY*: A Modular 1:07:12

DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

Комментарии
Автор

Yeah, expansion, you may, think you have a pattern that returns nil if it does not match, but no, it returns itself because it could not be expanded, what a beautiful way of thinking

hhskladby