Type-Checking Revisited: Modular Error-Handling

@inproceedings{Dinesh1993TypeCheckingRM,
  title={Type-Checking Revisited: Modular Error-Handling},
  author={T. B. Dinesh},
  booktitle={Semantics of Specification Languages},
  year={1993}
}
Static-semantics determines the validity of a program, while a type-checker provides more specific type error information. Type-checkers are specified based on the static semantics specification, for the purpose of identifying and presenting type errors in invalid programs. 

References

Publications referenced by this paper.
SHOWING 1-10 OF 17 REFERENCES

Interactive speciication of static semantics from dynamic semantics

T B Dinesh
  • Centrum voor Wiskunde en Informatica (CWI)
  • 1993

Origin tracking

A Van Deursen, P Klint, F Tip
  • Journal of Symbolic Computation
  • 1993

Error handling in algebraic speciications

P Klint
  • Error handling in algebraic speciications
  • 1991

Free Software Foundation, 675 Mass Ave

R Stallman, Manual Gnu Emacs
  • Free Software Foundation, 675 Mass Ave
  • 1991