Patent · US Expired

Validating programs

US7584457B2 · kind B2 · utility

14Cited by

4References

9Claims

0Family size

Assignee

SAP AG · DE

Inventors

Reiner Hammerich · Wiesloch, DE
Werner Baechle · Heidelberg, DE
Thorsten Dencker · Ludwigshafen, DE
Ulf Fildebrandt · Schwetzingen, DE
Josef Dietl · Schallstadt, DE

Key dates

Filing date	Sep 30, 2003
Grant date	Sep 1, 2009
Priority date	—
Expiry date	May 7, 2025

Classification

Technology area (CPC G)Physics
CPC primaryG06F11/2294
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

Methods and apparatus, including computer program products implement techniques for validating programs. A language-independent description of a computer program is received, and the language-independent description is validated. The language-independent description includes a definition module and an implementation module. A language-dependent program is generated from the language-independent description, where the language-dependent program includes an interface and a class, and the language-dependent program is validated.

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