US 12,073,198 B2
Preventing garbage object accumulation on minimal runtimes while supporting an implicit deallocation programming experience
Michael Vincent Samuel, Princeton, NJ (US); and Jasvir Nagra, Redwood City, CA (US)
Assigned to Temper Systems, Inc., Dover, DE (US)
Filed by Temper Systems, Inc., Dover, DE (US)
Filed on Jun. 26, 2023, as Appl. No. 18/214,110.
Application 18/214,110 is a continuation of application No. 17/212,477, filed on Mar. 25, 2021, granted, now 11,698,778.
Application 17/212,477 is a continuation of application No. 17/131,583, filed on Dec. 22, 2020, granted, now 10,963,228, issued on Mar. 30, 2021.
Prior Publication US 2024/0028316 A1, Jan. 25, 2024
This patent is subject to a terminal disclaimer.
Int. Cl. G06F 8/41 (2018.01); G06F 16/901 (2019.01)
CPC G06F 8/437 (2013.01) [G06F 16/9024 (2019.01)] 19 Claims
OG exemplary drawing
 
1. A method performed by a compiler or a data type checking tool, the method comprising:
detecting a data type definition in a programming language source code for a library;
determining, from the programming language source code for the library, whether the data type definition allows for a reference cycle at runtime; and
based on determining that the data type definition allows for the reference cycle at runtime, halting compilation of the programming language source code for the library or outputting an alert pertaining to the allowance of the reference cycle at runtime to a user interface, a file, a database, or an integrated development environment.