Java com.orcmid.LLC Logic, Language, and Computation

Java com.orcmid.LLC
Logic, Language, and Computation

com.orcmid> LLC>

index.htm>
2004-09-18 -13:07 -0700

You've reached the Orcmid's Lair Java packages section for Logic, Language, and Computation (LLC). This section is for software projects that illustrate the interplay of logic, language, computation, and mathematics using concrete programs for the Java Language, the Java computation model, and Java platform implementations.

This section carries material designed to illustrate a number of aspects of

syntax versus semantics versus behavior versus abstraction using programming languages
manifestation of abstractions using a very simple realization of Peano Arithmetic, namely Peano Numerals.
demonstration of the degree to which such a manifestation is dominated by platform-dependent notions and accidental characteristics necessitated by the platform

Subordinate Packages

pa - Peano Arithmetic, explorations in the rudiments of arithmetic from a logic and object-oriented-computation perspective

This web page, index.htm, is part of the engineering, construction management, maintenance, and infrastructure of Orcmid's Lair. It is placed here, as in every section of the site, as a placeholder, initial scaffolding, and temporary "home page" while the section is under construction. That can be for an extended time.

You are welcome to explore this and other construction-information pages. You'll need your hard hat and safety shoes.

You are navigating the
Orcmid's Lair construction structure.

created 2004-05-23 12:08 -0700 (pdt) by orcmid
$$Author: Orcmid $
$$Date: 05-03-05 11:56 $
$$Revision: 25 $

Home