Journal ArticleOPEN ACCESS

(Re)configuration based on model generation

  • Friedrich G
  • Ryabokon A
  • Falkner A
  • et al.
Electronic Proceedings in Theoretical Computer Science (2011) 65 26-35
DOI: 10.4204/eptcs.65.3
N/ACitations
Citations of this article
15Readers
Mendeley users who have this article in their library.

Abstract

Symbolic evaluation, aka evaluation of terms with free variables, is used, amongst others, for optimization through partial evaluation in compilers and for checking term equivalence in languages based on dependent types—such as the theorem provers Agda, Coq, Epigram, and ...

Cite

CITATION STYLE

APA

Friedrich, G., Ryabokon, A., Falkner, A., Haselböck, A., Schenner, G., & Schreiner, H. (2011). (Re)configuration based on model generation. Electronic Proceedings in Theoretical Computer Science, 65, 26–35. https://doi.org/10.4204/eptcs.65.3

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free