No photo of Artur Miguel de Andrade Vieira Dias

Artur Miguel de Andrade Vieira Dias

  • 6 Citations
  • 1 h-Index

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

Programming languages.
Programming tools.

Fingerprint Dive into the research topics where Artur Miguel de Andrade Vieira Dias is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 26 Similar Profiles

Research Output at NOVA

  • 6 Citations
  • 1 h-Index
  • 1 Conference contribution

L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory

Dias, A. M. D. A. V., 1 Jan 2011, Proceedings of the 11th Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011). p. 17 pages

Research output: Chapter in Book/Report/Conference proceedingConference contribution