HackerPapers

arXiv:1603.08949cs.PL

The While language

Cláudio Vasconcelos, António Ravara

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

Abstract

This article presents a formalisation of a simple imperative programming language. The objective is to study and develop "hands-on" a formal specifcation of a programming language, namely its syntax, operational semantics and type system. To have an executable version of the language, we implemented in Racket its operational semantics and type system.

arXiv comments
15 pages, 21 figures
Journal reference
DOI
Subjects
cs.PLProgramming Languages

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Sep 2018 to Sep 2018.

Comments linking this paper, per year.

Discussed in comments1 thread

  1. Ask HN: What's a starting point for learning how to write programming languages? 1 comment

    • To understand how computers work is the reason that compilers is the capstone class in many CS programs. It unites automata with algorithms and machine code, bringing everything together in one program. I'm pretty sure I wouldn't have gotten through this exercise myself outside…

      fusiongyroView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.