William Steingartner

Papers

Total Citations

H-Index

About

William Steingartner is a researcher dedicated to the formal foundations of programming languages, with a specific focus on domain-specific languages (DSLs) and their semantic definition. His primary research area is the application of natural semantics—a formal method for describing program behavior—to DSLs, particularly those used for robotic control. Steingartner’s major contribution lies in bridging the gap between abstract semantic theory and practical, visualizable computation. His work on "Natural Semantics for Domain-Specific Language" (2021) provides a foundational framework for defining program meaning in a DSL for robot motion control on an orthogonal grid. He has further advanced this field by developing methods to visualize natural semantics calculations, as detailed in his 2022 and 2023 papers, making complex semantic derivations more accessible for verification and educational purposes. While his citation counts (5 and 2) reflect a niche but growing impact, his focus on visualization is particularly notable for making formal semantics tangible. Steingartner’s research is essential for anyone interested in the rigorous design, verification, and teaching of domain-specific languages, offering a clear path from mathematical semantics to practical implementation.