Ad hoc geospatial directory of users based on optimizing non-Turing complete executable application
US8380700B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Apr 13, 2011 |
| Grant date | Feb 19, 2013 |
| Priority date | — |
| Expiry date | Apr 13, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F16/29
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
In one embodiment, a method comprises receiving from a user interface, by a computing device, a request for execution of at least one lambda function in an operation of a geospatial application, the geospatial application having lambda functions for operating on one or more entities of an ad hoc geospatial directory accessible by the computing device, the lambda functions having strongly typed definitions according to a prescribed symbol manipulation language that is a non-Turing complete language, that does not permit partial functions, and that is independent of any attribute of any computing system; optimizing execution by the computing device of the operation on the ad hoc geospatial directory; and the computing device returning to the user interface a response to the request based on the optimizing execution of the operation, the response including a data structure including at least one of the lambda functions for a corresponding at least one of generating a query of the ad hoc geospatial directory, modifying a state of at least a first of the entities, or accessing the first of the entities.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.