QuoteRef: ramsN5_1997

topics > all references > ThesaHelp: references p-r

references p-r
ACM references m-z
machine code and assembly language
packed data
I/O streams
boolean values, binary numbers, and bit strings
pattern specification
consistency testing


Ramsey, N., Fernandez, M.F., "Specifying representations of machine instructions", ACM Transactions on Programming Languages and Systems, 19, 3, May 1997, pp. 492-524. Google

Other Reference

abstract ;;Quote: SLED defines abstract, binary, and assembly-language representations of machine instructions
abstract+;;Quote: define machine instructions with fields, tokens, patterns, and constructors; for a wide variety of processors
495 ;;Quote: an instruction stream consists of tokens in several classes; a token consists of bit fields
495+;;Quote: a SLED pattern constrains the values of fields in one or more tokens
495+;;Quote: a SLED constructor produces abstract, binary, and assembly-language instructions from a operand list
496 ;;Quote: a SLED specification reads like a computer architecture specification; e.g., a specification for a SPARC subset
501 ;;Quote: define bit fields by endian convention, width, low and high bit; generate shifts and masks automatically
501+;;Quote: bit fields are better than bit strings for binary representation: order independent, check for overlaps and gaps, specified length
503 ;;Quote: SLED patterns consist of range constraints and field bindings with conjunction, concatenation, disjunction, and construction; no Kleene closure
519 ;;Quote: check the New Jersey Machine Code toolkit by generating machine code and assembly code; match results with a trusted assembler and a disassembler

Related Topics up

ThesaHelp: references p-r (245 items)
ThesaHelp: ACM references m-z (280 items)
Topic: machine code and assembly language (49 items)
Topic: packed data (11 items)
Topic: I/O streams (17 items)
Topic: boolean values, binary numbers, and bit strings (44 items)
Topic: pattern specification (15 items)
Topic: consistency testing (60 items)

Collected barberCB 2/98
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.