Processing

Please wait...

Settings

Settings

Goto Application

1. WO2005024631 - CREATING AND CHECKING RUNTIME DATA TYPES

Publication Number WO/2005/024631
Publication Date 17.03.2005
International Application No. PCT/EP2004/009403
International Filing Date 23.08.2004
IPC
G06F 9/45 2006.1
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
9Arrangements for program control, e.g. control units
06using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
44Arrangements for executing specific programs
45Compilation or interpretation of high level programme languages
CPC
G06F 8/31
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
30Creation or generation of source code
31Programming languages or programming paradigms
G06F 8/437
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
40Transformation of program code
41Compilation
43Checking; Contextual analysis
436Semantic checking
437Type checking
Applicants
  • SAP AKTIENGESELLSCHAFT [DE]/[DE] (AllExceptUS)
  • KLUGER, Gerd [DE]/[DE] (UsOnly)
  • BLUMENTHAL, Andreas [DE]/[DE] (UsOnly)
  • PRESTEL, Helmut [DE]/[DE] (UsOnly)
  • HAMMER, Rolf [DE]/[DE] (UsOnly)
  • JANZ, Holger [DE]/[DE] (UsOnly)
  • BAREISS, Thomas [DE]/[DE] (UsOnly)
Inventors
  • KLUGER, Gerd
  • BLUMENTHAL, Andreas
  • PRESTEL, Helmut
  • HAMMER, Rolf
  • JANZ, Holger
  • BAREISS, Thomas
Agents
  • ROCKE, Carsten
Priority Data
10/657,70909.09.2003US
Publication Language English (en)
Filing Language English (EN)
Designated States
Title
(EN) CREATING AND CHECKING RUNTIME DATA TYPES
(FR) CREATION ET VÉRIFICATION DE TYPES DE DONNÉES D'EXÉCUTION
Abstract
(EN) Methods and apparatus, including computer program products, for defining and using data types at runtime. A procedural source code program is compiled to generate a compiled program having instructions to create a runtime data type and to use the runtime data type. The runtime data type has a compound structure of referenced data types. Instructions to create a runtime data type having a compound structure are executed by creating a runtime data type definition from the compound structure of referenced data types by resolving the referenced data types bottom up into data types known at runtime. A data object having the runtime data type is created. Type checking is performed on uses of the data object at runtime according to the runtime data type.
(FR) L'invention porte sur des procédés et appareils dont des programmes informatiques, de définition et utilisation de types de données d'exécution. A cet effet on compile un programme de code source de procédure pour créer un programme compilé comportant des instructions de création et d'utilisation d'un type de données d'exécution. Un types de données d'exécution présente une structure de types de données de référence. Les instruction de création d'un type de données d'exécution de structure composée s'exécute en créant la définition d'un type de données d'exécution à partir des types de données de référence que l'on résout de manière ascendante en types de données connus lors de l'exécution. On crée un objet de données présentant le type de données d'exécution, et on vérifie le type en fonction des utilisations de l'objet de données lors de l'exécution en fonction du type de données d'exécution
Related patent documents
Latest bibliographic data on file with the International Bureau