Making spreadsheets safer

Contents Previous Next

MM's foundations - System Limit Programming

MM is based on category theory, a branch of foundational mathematics, and on Goguen's work in General Systems Theory, that provides an answer to the questions ``What is an object?'' and ``What does it mean to combine objects into a system?''.

Surprising as it may seem, this can be applied to programming in an extremely direct way. For technical reasons, we call this System Limit Programming or SLP. SLP leads to a novel style of object-oriented programming. One of the notable things about this is that, in the jargon of the topic, it does not use methods.

We have also applied SLP to the design of a Web-authoring tool for Java servlets.


Contents Previous Next

Copyright © 1998 J Ireson-Paine. All rights reserved