「specification」タグのついた1記事

Formal specification for extensibility categories (extensible, semi-extensible, not-extensible) and context injection blocks