Any semantic manipulations, such as transforming dates, have to be manually encoded by the designer of the inductive programming framework. Recent advances in large language models have shown these ...

For example, a denotational semantics is automatically compositional, while typically this is not the case for an operational semantics; nevertheless one can usually still justify modular program ...

Abstract: A promising way to improve the programming process is increasing the declarativeness of programming, approximation to natural language on the base of accumulating and actively using ...

This course uses the Scheme language (Racket) and TypeScript for teaching the general theory and practice of language design and implementation. Meta-programming tools are developed to demonstrate the ...

As part of COMP_SCI 424, a graduate-level Programming Languages course, I developed Clighter alongside Master's Degree student Jerry Lu. Clighter is implemented as a mechanized big-step operational ...

Our last example consists of one of the most common characteristics in all modern programming language: Recursion. As with the previous example first we need to introduce a recursion operation, which ...