Method for type checking and transformation of a computer program with first-class static… Application US-10048951-B2 United States of America 14 Aug 2018
METHOD FOR CHECKING AND/OR TRANSFORMATION OF A COMPUTER PROGRAM WITH FIRST-CLASS STATIC… Application WO-2014161731-A1 World Intellectual Property Organisation (WIPO) 09 Oct 2014
Method for checking and/or transforming a computer program with static functions of the… Application EP-2787437-A1 European Patent Office 08 Oct 2014