Path: ...!news.roellig-ltd.de!open-news-network.org!weretis.net!feeder8.news.weretis.net!newsfeed.bofh.team!paganini.bofh.team!not-for-mail
From: antispam@fricas.org (Waldek Hebisch)
Newsgroups: comp.lang.c++,comp.theory
Subject: Re: Universal Compiler
Date: Mon, 10 Feb 2025 20:09:19 -0000 (UTC)
Organization: To protect and to server
Message-ID: <vodmdd$35esu$2@paganini.bofh.team>
References: <i9veqjte3fgrr1270n4m78i8u77s4oth47@4ax.com> <vo80nd$4bgi$1@dont-email.me> <pt1fqj1mh03trhqppu0tj9pik63nfitjc3@4ax.com> <vo81d9$4frb$1@dont-email.me> <ng2fqjlablg2ts8dpvddgam4rqli19u350@4ax.com> <vo9dse$fk66$1@dont-email.me>
Injection-Date: Mon, 10 Feb 2025 20:09:19 -0000 (UTC)
Injection-Info: paganini.bofh.team; logging-data="3324830"; posting-host="WwiNTD3IIceGeoS5hCc4+A.user.paganini.bofh.team"; mail-complaints-to="usenet@bofh.team"; posting-account="9dIQLXBM7WM9KzA+yjdR4A";
User-Agent: tin/2.6.2-20221225 ("Pittyvaich") (Linux/6.1.0-9-amd64 (x86_64))
X-Notice: Filtered by postfilter v. 0.9.3
Bytes: 2612
Lines: 35

In comp.lang.c++ Jeff Barnett <jbb@notatt.com> wrote:
> 
> At about this time - the 1960s - Alan Perlis, then department chair at 
> CMU, had two relevant PhD theses written by his students. The first, by 
> Tom/Tim Standish, introduced a set of data definition primitives claimed 
> to be able to define virtually any know structure type. These primitives 
> were used as output by language-specific macros that expanded data 
> declarations in some top level language.
> 
> The second thesis was by a fellow named Fischer (sp?) whose first name 
> I've forgotten. He defined a set of control primitives: think of 
> relations between pieces of computations. Once again these were to be 
> used to form the end result when macros were used to translate from some 
> high level language. It was assumed here (as was above) that some 
> hardware specific back end would turn these expansions either into code 
> (compiler) or into behavior (interpreter). Fischer built such an 
> interpreter.

Google finds:

David Allen Fisher,
Control Structures for Programming Languages, 1970
Alan Perlis, advisor

Thomas A. Standish,
A data definition facility for programming languages, 1967
Alan Perlis, advisor

> Big pieces of basic technology that were missing included the binding 
> and visibility rules for names and the management of namespaces.
> 
> Wiki article on UNCOL: https://en.wikipedia.org/wiki/UNCOL
> ACM paper Part I: https://dl.acm.org/doi/10.1145/368892.368915

-- 
                              Waldek Hebisch