Elsa Gunter

1988 …2019
If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 4 Similar Profiles
Specifications Engineering & Materials Science
Semantics Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Communication Engineering & Materials Science
Concurrent Mathematics
Temporal logic Engineering & Materials Science
Algebra Engineering & Materials Science
Model checking Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1988 2019

Dynamic class initialization semantics: A Jinja extension

Mansky, S. & Gunter, E., Jan 14 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 209-221 13 p. (CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019).

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

Semantics
Specifications
Virtual machine

A method to translate order-sorted algebras to many-sorted algebras

Li, L. & Gunter, E., Feb 16 2018, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 265, p. 20-34 15 p.

Research output: Contribution to journalConference article

Algebra
Specification languages

IsaK-static: A complete static semantics of K

Li, L. & Gunter, E., Jan 1 2018, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Ölveczky, P. C. & Bae, K. (eds.). Springer-Verlag, p. 196-215 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).

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

Semantics
Specifications
Computer programming languages
Specification
Programming Languages

Using a computer-based testing facility to improve student learning in a programming languages and compilers course

Nip, T., Gunter, E., Herman, G. L., Morphew, J. W. & West, M., Feb 21 2018, SIGCSE 2018 - Proceedings of the 49th ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, Inc, p. 568-573 6 p. (SIGCSE 2018 - Proceedings of the 49th ACM Technical Symposium on Computer Science Education; vol. 2018-January).

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

programming language
Computer programming languages
Students
Testing
learning

Specifying and executing optimizations for generalized control flow graphs

Mansky, W., Gunter, E., Griffith, D. & Adams, M. D., Nov 15 2016, In : Science of Computer Programming. 130, p. 2-23 22 p.

Research output: Contribution to journalArticle

Flow graphs
Specifications
Semantics
Peeling
Temporal logic