The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Aug. 04, 2020
Filed:
Apr. 19, 2018
Applicant:
Amazon Technologies, Inc., Seattle, WA (US);
Inventors:
David R. Cok, Rochester, NY (US);
Serdar Tasiran, New York, NY (US);
Assignee:
Amazon Technologies, Inc., Seattle, WA (US);
Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 11/36 (2006.01);
U.S. Cl.
CPC ...
G06F 11/3608 (2013.01);
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.