History of Computing Science: BASIC & Other Languageshttp://lecture.eingang.org/other.html
the standard choice for programming requiring detailed control of hardware. After that came COBOL--COmmon Business Oriented Language. COBOL was developed in 1960 by a joint commit
Part of a multipage presentation on the history of computers. This page talks about BASIC and other computer languages.
Spin - Formal Verificationhttp://spinroot.com/spin/old.html
and Distributed Programming (the 2nd Edition , which is based on Spin), Ben-Ari, Addison-Wesley, 2006. Model Checking with Spin (in Japanese), by Shin Nakajima, Publ. Kindai Kagud
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
Welcome!https://aartaka.me/
ed(1) is a versatile programming system. Yet no one talks about metaprogramming and algorithms in it. Now someone did, and that’s me! Line-based Lisp Editing (13 Oct 2025) Not all
A blog of Artyom Bologov, programmer-poet, privacy freak, and eco-activist. Programming, art, F
Xlib - C Language X Interfacehttps://www.x.org/releases/current/doc/libX11/libX11/libX11.html
Conventions within Xlib Programming Considerations Character Sets and Encodings Formatting Conventions 2. Display Functions Opening the Display Obtaining Information about the Dis
IS THIS WORKING???https://lukesmith.neocities.org/vids/is_this_working
that. Neuro-linguistic programming. Is that like the Dilbert merchant stuff? I think a lot of the stuff actually talking about the Dilbert merchant, Scott Adams or whatever, I thi
UNATLe: United Nations AntiTerrorism Leaugehttp://www.unatle.net/NuclearWar.html
control education in programming/hacking among practically everything else there is to learn, which will program you to red flag any hacker occurrences which may arise while progr
A load out of the current Nuclear Cold War Scenario. Everything you need to know about nukes and the New World Order!
An Evaluative Study of Modern Technology in Educationhttp://papert.org/articles/AnEvaluativeStudyofModernTechnology.html
the concept of a programming language. The conceptual gap between, say, BASIC or APL and the languages used, for example, in Artificial Intelligence research is growing exponentia
Accessible Rich Internet Applications (WAI-ARIA) 1.0https://www.w3.org/TR/2014/REC-wai-aria-20140320/complete
the spelling of "programming" to "programing", correcting the spelling of "assistive", and updating some references to latest versions. This document has been reviewed by W3C Memb
Don’t Use ISO/IEC 14977 Extended Backus-Naur Form (EBNF)https://dwheeler.com/essays/dont-use-iso-14977-ebnf.html
a language (such as a programming language or complex data structure) it’s often helpful to use some kind of Extended Backus-Naur form (EBNF). Often people do a Google searc
A description of why you should not use ISO
http://www.call-with-current-continuation.org/microfleng/microfleng.htmlhttp://www.call-with-current-continuation.org/microfleng/microfleng.html
level concurrent logic programming language descended from Prolog. A cross-compiler for UNIX-compatible systems is provided to translate programs written in FLENG into executable
ICPUG Electronic Journal - Article Number 6 - Volume 2 Number 6http://www.icpug.org.uk/national/journals/jnls2000/ej600/art6.htm
EFFICIENCY OF iCab AND PROGRAMMING IN THE 80s by John A. Ardelli: gelfling@syd.eastlink.ca Mario wrote: Makes me wonder how is it possible for an unknown German guy to crea
Noel Welsh: About Mehttps://noelwelsh.com/landing/about/
I'm more involved with programming and programming languages. A large part of my work is helping people become more effective with functional programming. This has put me in conta
Find more...