Prof. Dr. Guido Salvaneschi | Programming Grouphttps://programming-group.com/members/salvaneschi
Salvaneschi Head of the Programming Group guido.salvaneschi@unisg.ch guido-salvaneschi-7201668 0000-0002-9324-8894 guidosalva School of Computer Science Office 64-114 Torstrasse 2
Profile of Prof. Dr. Guido Salvaneschi, Head of the Programming Group.
40 years of programminghttps://liw.fi/40/
enius → 40 years of programming 2024-03-12 18:55 article Introduction The core skills On productivity On governance On politics and ethics On diversity and quality On maintena
SIGPLAN Research Highlights Papershttps://www.sigplan.org/Highlights/Papers/
describing and teaching programming languages, focusing on one of the “hottest” languages to date: Rust. The work contains multiple aspects, such as analysing common misconception
Program - Balisage 2018https://www.balisage.net/2018/Program.html
the road to declarative programming in XSLT for imperative programmers Abel Braaksma , Abrasoft Programmers who learned their trade in mainstream languages like C, C#, Java, Pytho
The program for Balisage: The Markup Conference 2018
Server Operating Systems Technical Comparisonhttp://www.osdata.com/
OSdata.com Free Computer Programming Text Book Programming computers using any programming language free book on UNIX/Linux System Administration Teach Yourself UNIX/Linux System A
A technical answer to the question: how does Rhapsody stack up as a server operating system?
Digital Research Source Codehttp://www.cpm.z80.de/source.html
Also contains some programming tools. MP/M-86 NEW 03/22/2004 MP/M-86 2.0 SOURCES : 560K It contains the contents of 11 8" SSSD disks labeled 01 through 11. These are from Dig
Source codes of Digital Research Software Products, includingCP
Sammlung Interessanter Webseitenhttps://wwwcip.informatik.uni-erlangen.de/~oj14ozun/links.html
for Learning and Programming From Nand to Tetris The Missing Semester of Your CS Education Teach Yourself Computer Science Programming from the Ground Up Parsing: a timeline Syste
Holy Warshttp://webarchive.me/geocities/ResearchTriangle/3483/HolyWars.html
of the younger programming groups. In our business change is inevitable, but there are some practices and principles that have proven useful. So to my younger programming siblings
Sky Nethttp://www.sonex.org/SkyNet.html
statements, any kind of programming code, or anything else that has been designed in(she does some of that). A good analogy is a Japanese character which has the variation on the
Sky Net: What makes nukes fly, what commands navies and armies, what makes all organisms think and intercommunicate, and what tweaks all the Ons in the universe, Sky Command: Defen
Jones on reciprocal multiplicationhttp://homepage.cs.uiowa.edu/~jones/bcd/divide.html
using it because most programming languages on 32-bit machines provide no way to access the high 32 bits of the 64-bit product of two 32-bit unsigned numbers. n scaled reciprocal
A tutorial on using reciprocal multiplication to do division
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.
Linux Gazette Indexhttps://www.linuxdoc.org/LDP/LG/lg_index.html
Spiel Linux Socket Programming In C++ , by Rob Tougher Play with the Lovely Netcat , by zhaoway The Back Page Table of Contents December 2001 Issue #73 The MailBag More 2-Cent Tip
Find more...