Patent · US Active

Declarative program engine for large-scale program analysis

US9875087B2 · kind B2 · utility

10Cited by

10References

18Claims

0Family size

Assignee

Oracle International Corporation · US

Inventors

Bernhard Scholz · Heroldsbach, DE
Till Westmann · Munich, DE

Key dates

Filing date	May 15, 2015
Grant date	Jan 23, 2018
Priority date	—
Expiry date	Oct 14, 2035

Classification

Technology area (CPC G)Physics
CPC primaryG06F8/443
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

A method and system for staged compilation of a declarative program that includes receiving the declarative program, parsing and semantically checking the declarative program, translating the declarative program into a relational algebra machine (RAM) using a modified semi-naïve algorithm, performing a translation of the RAM into code of an imperative programming language to obtain a translated RAM, generating specialized extractor code in the imperative programming language, generating query application programming interface (API) code in the imperative programming language, and compiling the translated RAM, the specialized extractor code, and the query API code to obtain a program analysis module.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.