Gradually typing strategies

The Stratego language supports program transformation by means of term rewriting with programmable rewriting strategies. Stratego's traversal primitives support concise definition of generic tree traversals. Stratego is a dynamically typed language because its features cannot be captured fully by a static type system. While dynamic typing makes...

Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System

Context Compilation time is an important factor in the adaptability of a software project. Fast recompilation enables cheap experimentation with changes to a project, as those changes can be tested quickly. Separate and incremental compilation has been a topic of interest for a long time to facilitate fast recompilation. Inquiry Despite the...

FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis

Data-flow analysis is the static analysis of programs to estimate their approximate run-time behavior or approximate intermediate run-time values. It is an integral part of modern language specifications and compilers. In the specification of static semantics of programming languages, the concept of data-flow allows the description of well...

Shaping Forces: Review of two Bridge Design Methodologies towards Architectural and Structural Symbiosis

This paper investigates the symbiotic relationship between the architectural appearance of a bridge and the structural design. The research is done by reviewing and comparing the design methodology employed by the first author in the conceptualization of two of his bridges; an early work from 1997 and a recent work from 2017. The review of the...