KernelCORE - History and motivation

Kernel/CORE notation is the result of my 10 year straggle with special-purpose languages, namely:

• PDL/PTL (Packet Description/Transformation Language) - a configuration notation used in Solidum/IDT Canada for programming a wire-speed network co-processor PAX-Works.
• RTEdge - a real-time programming language developed at Edgewater Computer Systems, Inc. with an integrated verification engine for "meeting deadlines".

In both cases the proprietary languages were needed even though hundreds of programming languages had already existed. Kernel/CORE notation aims to be a notation easily extensible to meet requirements similar to those present in PTL or RTEdge projects.

The Kernel/CORE notation is not a full featured general purpose programming language for IT professionals. Even though one could use Kernel to develop a Web site or a graphical user interface, the Kernel/CORE notation was not designed for it. Kernel/CORE is a kernel from which many variations of different programming and/or specification languages can be derived. Thus, Kernel/CORE notation seeks to be a starting point for the development of new, special purpose, target specific computer languages.

Still, you may be interested in Kernel/CORE notation if you want to develop relatively small systems which are fast, resource efficient, and correct. More precisely, using Kernel/CORE notation will facilitate the task of certification of your system.