WIPO logo
Mobile | Deutsch | English | Español | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO2014161731) PROCÉDÉ DE VÉRIFICATION ET/OU DE TRANSFORMATION D'UN PROGRAMME INFORMATIQUE COMPRENANT DES FONCTIONS STATIQUES DE PREMIÈRE CLASSE
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2014/161731    N° de la demande internationale :    PCT/EP2014/055751
Date de publication : 09.10.2014 Date de dépôt international : 21.03.2014
CIB :
G06F 9/45 (2006.01)
Déposants : DASSAULT SYSTEMES 3DEXCITE GMBH [DE/DE]; Rosenheimer Str. 145 81671 München (DE)
Inventeurs : TROJAHNER, Kai; (DE)
Mandataire : MANITZ FINSTERWALD UND PARTNER GBR; Postfach 31 02 20 80102 München (DE)
Données relatives à la priorité :
13162073.4 03.04.2013 EP
Titre (DE) VERFAHREN ZUR ÜBERPRÜFUNG UND/ODER TRANSFORMATION EINES COMPUTERPROGRAMMS MIT STATISCHEN FUNKTIONEN ERSTER KLASSE
(EN) METHOD FOR CHECKING AND/OR TRANSFORMATION OF A COMPUTER PROGRAM WITH FIRST-CLASS STATIC FUNCTIONS
(FR) PROCÉDÉ DE VÉRIFICATION ET/OU DE TRANSFORMATION D'UN PROGRAMME INFORMATIQUE COMPRENANT DES FONCTIONS STATIQUES DE PREMIÈRE CLASSE
Abrégé : front page image
(DE)Die Erfindung betrifft ein Verfahren zur Überprüfung und/ oder Transformation eines Computerprogramms, das in einer Programmiersprache vorliegt, welche Funktionen erster Klasse unterstützt, bei dem eine Typüberprüfung des Programms oder zumindest eines Teils des Programms durchgeführt wird, um jedem Ausdruck des Programms oder Teils des Programms einen Typen zuzuordnen, der aus einem Grundtypen und einer Bindungszeit besteht, wobei die Menge der Grundtypen mindestens Basistypen zur Beschreibung einfacher Werte und einen Funktionstypen zur Beschreibung von Funktionen umfasst und die Menge der Bindungszeiten mindestens eine statische Bindungszeit und eine dynamische Bindungszeit umfasst und wobei bei der Typüberprüfung ein Funktionstyp nur gemeinsam mit der statischen Bindungszeit akzeptiert wird.
(EN)The invention relates to a method for checking and/or transformation of a computer program present in a programming language which supports first-class functions and in which a type check of the program or of at least a part of the program is performed in order to assign a type to each expression of the program or part of the program, the type consisting of a base type and a binding time. The set of base types comprises at least base types for describing simple values and a function type for describing functions, and the set of binding times comprises at least one static binding time and one dynamic binding time, and a function type is only accepted during the type check together with the static binding time.
(FR)L'invention concerne un procédé de vérification et/ou de transformation d'un programme informatique, créé dans un langage de programmation qui supporte les fonctions de première classe, dans lequel on effectue une vérification du type du programme ou d'une partie au moins du programme afin d'associer à chaque listage du programme ou de la partie de programme un type constitué d'un type de base et d'un temps de liaison. La pluralité des types de base comprend au moins des types basiques servant à décrire des valeurs simples et un type de fonction servant à décrire des fonctions, et la pluralité de temps de liaison comprend au moins un temps de liaison statique et un temps de liaison dynamique. Lors de la vérification du type, un type de fonction n'est accepté que conjointement avec le temps de liaison statique.
États désignés : AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JP, KE, KG, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB) (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG).
Langue de publication : allemand (DE)
Langue de dépôt : allemand (DE)