TyS - A framework to facilitate the implementation of object-oriented type checkers

  1. Ortin, F.
  2. Zapico, D.
  3. Quiroga, J.
  4. Garcia, M.
Proceedings:
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

ISSN: 2325-9086,  2325-9000

Year of publication: 2014

Volume: 2014-January

Issue: January

Pages: 150-155

Type: Conference paper

GOOGLE SCHOLAR
Data source: Scopus