Abstract: An optimal method of storing, computing, and communicating knowledge is disclosed herein. The method of organizing computer information which allows for more flexible retrieval and manipulation using an ARB paradigm. This paradigm combines and extends elements of a graph database, row-column database, query language, declarative logic language, and functional programming language.
Abstract: An improved method for generating complex formal language documents from simple input values, reducing the barrier to formal communications. The techniques described may be applied to different domains to generate different types of documents requiring formal language. For illustration, this disclosure focuses on generating a computer program document as programming languages are among the most formal.
Abstract: A method for an uncontrolled modeling language to be hyperpiled into a general purpose language is disclosed herein. The method overcomes previous limitations by allowing for a modeling language that is syntactically simple, while conceptually unlimited, while offloading the burdens of minutia and control structure to the hyperpiler.
Abstract: An improved method for generating complex formal language documents from simple input values, reducing the barrier to formal communications. The techniques described may be applied to different domains to generate different types of documents requiring formal language. For illustration, this disclosure focuses on generating a computer program document as programming languages are among the most formal.
Abstract: An improved method for generating complex formal language documents from simple input values, reducing the barrier to formal communications. The techniques described may be applied to different domains to generate different types of documents requiring formal language. For illustration, this disclosure focuses on generating a computer program document as programming languages are among the most formal.
Abstract: A method for an uncontrolled modeling language to be hyperpiled into a general purpose language is disclosed herein. The method overcomes previous limitations by allowing for a modeling language that is syntactically simple, while conceptually unlimited, while offloading the burdens of minutia and control structure to the hyperpiler.