SPECL: A system programming dialect of ECL

  title={SPECL: A system programming dialect of ECL},
  author={David Udin},
  • David Udin
  • Published 1973
  • Computer Science
  • The SPECL programming system is an attempt to combine the characteristics of an implementation language with those desirable for verifiability (human and mechanical) and transportability. The former requires efficient code generation and access to hardware; the latter requires a highly structured language and isolation of machine dependencies. SPECL will be embedded in the ECL programming system, which currently includes an interpreter and compatible compiler for the extensible language EL1… CONTINUE READING
    1 Citations