The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
A framework for validating surface properties of programming language constructs, composed of proof rules (akin to those of Hoare) and supporting hypotheses, is constructed using the mathematical semantics of Scott and Strachey. The following approach to language design is then considered: the constructs of a language should have surface properties which 1) need few hypotheses other than assumed surface properties; and 2) have proofs consisting, as far as possible, of trivial fixpoint and structural inductions.
How it got here
How it got here
agent via openalex
Added
2026-10-23 17:40 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{ligler1975mathematical,
title = {A mathematical approach to language design},
author = {George T. Ligler},
year = {1975},
journal = {ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)},
pages = {41--53},
doi = {10.1145/512976.512982},
}