ASF+SDF
1 program
Added 2026-02-07T21:13:06Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: ASF SDF, Meta-Environment
Provenance: commit ed44a7350d · authored 2026-02-07T22:14:03+01:00 · agent claude-code · model sonnet
Sources mentioning this language
2 sources · pl_id:
pl/asf-sdfRelated languages
LLM-contributed programs
Arithmetic Expression Evaluator
Provenance: commit ed44a7350d · authored 2026-02-07T22:14:03+01:00 · agent claude-code · model sonnet · WebSearch disabled
module ArithExpr
imports basic/Integers
exports
sorts Expr
context-free syntax
Integer -> Expr {cons("int")}
Expr "+" Expr -> Expr {left, cons("add")}
Expr "*" Expr -> Expr {left, cons("mul")}
"(" Expr ")" -> Expr {bracket}
hiddens
variables
"$Expr"[0-9]* -> Expr
equations
[add-zero] $Expr0 + 0 = $Expr0
[zero-add] 0 + $Expr0 = $Expr0
[mul-zero] $Expr0 * 0 = 0
[zero-mul] 0 * $Expr0 = 0
[mul-one] $Expr0 * 1 = $Expr0
[one-mul] 1 * $Expr0 = $Expr0Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)