Declarative computer programming language method and system
US7836428B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Mar 15, 2005 |
| Grant date | Nov 16, 2010 |
| Priority date | — |
| Expiry date | Oct 26, 2028 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/4492
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method and system for instructing a computer in a system of a declarative computer programming language. Unlike traditional declarative languages, the programming language may be neither relational nor functional, neither procedural nor imperative. The declarative elements may be defined as a meta-description of logic and data. The basic morphology of this meta-description may be a data construct known as a Lattice. Lattices derive declarative power from their inclusion of “Attributes” and “Sites”. Attributes are declarative properties that determine the internal behavior of a Lattice; while Sites are declarative data access points that establish the external relationship a Lattice may have with other Lattices, Lattice Containers, and Lattice Elements. Each of these data constructs are highly adaptable, recursive, and expandable, providing the entire language with a degree of flexibility that facilitates a very high level of abstraction.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.