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.
NLnet; All projectshttps://nlnet.nl/project/
2024 Purely functional programming language designed to "type" binary files Armbian User-operated Internet Fund 2021 Versatile OS for ARM-based single board computers ARMify NGI0
https://www.rogerarrick.com/osiris/burgett.txthttps://www.rogerarrick.com/osiris/burgett.txt
thought about possible programming languages for the 8008. I told him that I had taken several summer short courses from Bill McKeeman at UC Santa Cruz, and had learned about the
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
Lewis Loflin Electronics Background Biographyhttps://www.bristolwatch.com/biolewis.htm
learn some hardware and programming at little cost. See Build Serial HD44780 LCD Display Connect to Parallel Port . Who would have thought to use a SIDAC or DIAC (used for solid s
How a general interest in science led to an interest in electronics technology. This led to a career in electronics and technology.
1401Restoration-CHMhttps://ibm-1401.info/
Comments Nov 2012 Programming Class Proposal(s) Programming the IBM 1401 a 6.0 megabyte .pdf file BillWorthington-1401Tour--VisibleStorageSegment.pdf updated Dec 28, 2007 Power On
Garbage Collectionhttp://synthcode.com/blog/2009/06/Garbage_Collection
en.wikipedia.org/wiki/C_(programming_language)" title="C (programming language)" C</a and <a href="http://en.wikipedia.org/wiki/C%2B%2B" title="
S.U.P.E.R. - The Largest 200LX Software Archivehttp://mizj.com/
KB) added 12/20/1998 (Programming) Version 1 by Norman Newman Courtesy of The HP Palmtop Paper This file contains an old but interesting artificial intelligence system that you ca
The Palmtop Network's SUPER Site is the largest collection of Hewlett-Packard 200LX palmtop computer software on the Internet.
Command Line Interface Guidelineshttps://clig.dev/
talking about ways of programming computers that offer the power of the CLI and that transcend writing software in text files. There is a belief among Kay’s disciples that we need
An open-source guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.
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
Finite State Machines in Forth - Noblehttp://galileo.phys.virginia.edu/classes/551.jvn.fall01/fsm.html
Introduction Certain programming problems are difficult to solve procedurally even using structured code, but simple to solve using abstract finite state machines (FSMs) [1]. For
NLnet; All projectshttps://nlnet.nl/project/index.html
2024 Purely functional programming language designed to "type" binary files Armbian User-operated Internet Fund 2021 Versatile OS for ARM-based single board computers ARMify NGI0
Find more...