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...