EP 2965199 A1 20160113 - METHOD FOR CHECKING AND/OR TRANSFORMATION OF A COMPUTER PROGRAM WITH FIRST-CLASS STATIC FUNCTIONS
Title (en)
METHOD FOR CHECKING AND/OR TRANSFORMATION OF A COMPUTER PROGRAM WITH FIRST-CLASS STATIC FUNCTIONS
Title (de)
VERFAHREN ZUR ÜBERPRÜFUNG UND/ODER TRANSFORMATION EINES COMPUTERPROGRAMMS MIT STATISCHEN FUNKTIONEN ERSTER KLASSE
Title (fr)
PROCÉDÉ DE VÉRIFICATION ET/OU DE TRANSFORMATION D'UN PROGRAMME INFORMATIQUE COMPRENANT DES FONCTIONS STATIQUES DE PREMIÈRE CLASSE
Publication
Application
Priority
- EP 13162073 A 20130403
- EP 2014055751 W 20140321
- EP 14711534 A 20140321
Abstract (en)
[origin: WO2014161731A1] 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.
IPC 8 full level
G06F 9/45 (2006.01)
CPC (source: EP US)
G06F 8/437 (2013.01 - EP US); G06F 8/49 (2013.01 - EP US)
Citation (search report)
See references of WO 2014161731A1
Designated contracting state (EPC)
AL AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO PL PT RO RS SE SI SK SM TR
Designated extension state (EPC)
BA ME
DOCDB simple family (publication)
EP 2787437 A1 20141008; EP 2965199 A1 20160113; US 10048951 B2 20180814; US 2016124727 A1 20160505; WO 2014161731 A1 20141009
DOCDB simple family (application)
EP 13162073 A 20130403; EP 14711534 A 20140321; EP 2014055751 W 20140321; US 201414782169 A 20140321