公开(公告)号：US10733074B1

公开(公告)日：2020-08-04

申请号：US15957746

申请日：2018-04-19

Applicant: Amazon Technologies, Inc.

Inventor： David R. Cok ,  Serdar Tasiran

IPC: G06F11/36

Abstract: A processing device receives first specification information for an executable functional programming feature from a program and second specification information for the executable functional programming feature from a specification associated with the program. The processing device aggregates the first specification information with the second specification information to form combined specification information for the executable functional programming feature. The processing device verifies the executable programming feature using the combined specification information.