4 ms·
pasv looks interesting, too. The FOLDOC entry for Pascal-F[1] says the Pascal-F paper was published in 1968, but Wikipedia says at that time Wirth had only jus
by carussell 9y ago
pasv looks interesting, too.
The FOLDOC entry for Pascal-F[1] says the Pascal-F paper was published in 1968, but Wikipedia says at that time Wirth had only just started working on Pascal. Do you know anyone who might have a copy of the Nelson paper?
1. http://foldoc.org/pascal-f http://foldoc.org/pascal-f
- Animats 9y agoThat was Ed Nelson, at Ford Scientific Research Labs. He did that work in the late 1970s and early 1980s, not the 1960s. Pascal-F extended Pascal with fixed-point arithmetic, monitors, and interrupt handling. The "pasv" repository contains the front end of the compiler, which generates byte code. The back end generated code for the Intel 8061, the Ford EEC IV engine control processor. The back end was proprietary to Ford. There was a summer hire trying to write an interpreter for the byte code for test purposes, but he didn't finish it. I've been trying to revive "pasv", but I'm stuck on a bug in the rule handling in the Oppen-Nelson (Greg Nelson, not Ed Nelson) theorem prover. It's in Franz Lisp, and I'm trying to make it work in GNU Common LISP, which has slightly different semantics for some of the same constructs.
- deleted 9y ago[deleted]