Specification language for encoding and decoding (SLED)

[Google Scholar]

Notes: ISA specification

UQBT: Adaptable binary translation at low cost [cifuentes:computer:2000]
Specifying the semantics of machine instructions [cifuentes:iwpc:1998]
Automatically generating instruction selectors using declarative machine descriptions [dias:popl:2010]
Automatic checking of instruction specifications [fernandez:icse:1997]
Reverse-engineering instruction encodings [hsieh:usenix:2001]
Machine descriptions to build tools for embedded systems [ramsey:lctes:1998]
Specifying representations of machine instructions [ramsey:toplas:1997]
The New Jersey machine-code toolkit [ramsey:usenix:1995]

Notes related to Specification language for encoding and decoding (SLED)