Na UL FRI bo imel profesor Eric voan Wyk z University of Minnesota, Department of Computer Science and Engineering vabljeno predavanje z naslovom Metatheory for Extensible Languages. Vabljeni!

Predavanje bo v četrtek, 8. 10. 2026, ob 11. uri v diplomski sobi na FRI.

Naslov: Metatheory for Extensible Languages

Povzetek:

There is a longstanding interest in language extension and mechanisms for easily adding (domain-specific) features to programming languages. One notion of extensibility argues that language extensions should be independently developed such that a programmer can pick the ones needed for their task at hand and compose them with a host language. Previously we have developed ways to ensure that the composition of language and extension specifications leads to deterministic parsers and well-defined attribute grammars to implement the language.

Recently, we have been working to establish a modular approach to reasoning about metatheoretic properties for extensible languages. One aim is to ensure that properties established by a host language continue to hold when language extensions are added to the mix. For example, how can a type preservation property introduced by the host language be guaranteed to hold when new extensions that engage in type checking of their new constructs are added? Another aim is to also allow language extensions to introduce new properties that still hold when other extensions, unaware of the property, are added in. An extension that allows variables to be marked as secret or public may wish to establish a property that secret data never leaks to public variables; how is this property established in the presence of other extensions? This talk will discuss some initial techniques and tools we have developed to address these challenges.

Življenjepis:

Eric Van Wyk is a Professor in the Computer Science and Engineering department at the University of Minnesota. His research interests are in programming languages, especially extensible languages. Of special interest are declarative specifications that support the implementation of languages composed from independently-developed language extensions, and more recently in how to establish metatheoric properties for such languages. He earned a Ph.D. from the University of Iowa and was a postdoc at the Oxford Computing Laboratory before joining the University of Minnesota. He is a recipient of an NSF CAREER Award, a McKnight Land Grant Professorship, and a Charles E. Bower Faculty Teaching Award.