SDF
1 program
Added 2026-03-06T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: Syntax Definition Formalism, SDF2, SDF3
Provenance: commit 468106205a · authored 2026-03-06T01:54:54+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
4 sources · pl_id:
pl/sdfRelated languages
LLM-contributed programs
Expression Grammar
Provenance: commit 468106205a · authored 2026-03-06T01:54:54+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
module Expressions
imports
basic/Whitespace
basic/IdentifierCon
exports
sorts Exp
lexical syntax
[0-9]+ -> IntConst
[a-zA-Z][a-zA-Z0-9]* -> Id
context-free syntax
IntConst -> Exp {cons("Int")}
Id -> Exp {cons("Var")}
Exp "+" Exp -> Exp {left, cons("Add")}
Exp "*" Exp -> Exp {left, cons("Mul")}
"(" Exp ")" -> Exp {bracket}
context-free priorities
Exp "*" Exp -> Exp >
Exp "+" Exp -> Exp
Real 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.)