G06F 8/437
Type checking
Official title: {Type checking}
G06F8/437 (Type checking) appears on 341 US grants and 330 published applications in this corpus.
Search patents in G06F- Granted patents
- 341
- Published applications
- 330
- Assignees
- 111
- Inventors
- 692
- Latest grant
- 6 Oct 2026
Filings by year
| Year | Granted patents | Published applications |
|---|---|---|
| 1993 | 1 | 0 |
| 1994 | 1 | 0 |
| 1995 | 2 | 0 |
| 1996 | 2 | 0 |
| 1997 | 5 | 0 |
| 1998 | 9 | 0 |
| 1999 | 4 | 0 |
| 2000 | 9 | 0 |
| 2001 | 4 | 1 |
| 2002 | 5 | 8 |
| 2003 | 2 | 5 |
| 2004 | 3 | 12 |
| 2005 | 3 | 4 |
| 2006 | 5 | 12 |
| 2007 | 3 | 12 |
| 2008 | 7 | 18 |
| 2009 | 8 | 12 |
| 2010 | 14 | 9 |
| 2011 | 9 | 7 |
| 2012 | 12 | 11 |
| 2013 | 10 | 10 |
| 2014 | 18 | 28 |
| 2015 | 20 | 19 |
| 2016 | 18 | 19 |
| 2017 | 22 | 18 |
| 2018 | 12 | 19 |
| 2019 | 21 | 11 |
| 2020 | 24 | 19 |
| 2021 | 30 | 14 |
| 2022 | 10 | 29 |
| 2023 | 26 | 11 |
| 2024 | 13 | 10 |
| 2025 | 7 | 11 |
| 2026 | 2 | 1 |
By publication year. Applications have been published since 2001. 2026 runs to 8 Oct.
Recent patents
- Evaluating and remediating source code variability6 Oct 2026US 12,754,722 B2International Business Machines Corporation
- Systems and methods for unified computing on digital and quantum computers19 May 2026US 12,632,232 B2Horizon Quantum Computing Pte. Ltd.
- Inferring type definitions of user-defined types of variables in application program code7 Oct 2025US 12,436,749 B2Veracode, Inc.
- Determining a resolution state of an anchor constant associated with an application programming interface (API) point16 Sep 2025US 12,417,133 B2Oracle International Corporation
- Method and system for configuring parameter for graphic program2 Sep 2025US 12,405,777 B2Shanghai Tosun Technology Ltd.
- Inferring type definitions of user-defined types of variables in application program code23 Apr 2026US 2026/0111198 A1Veracode, Inc.
- Systems and Methods for Role Extensions in Programming Languages6 Nov 2025US 2025/0342020 A1Zoho Corporation Private Limited
- Systems and Methods for Role Extensions in Programming Languages6 Nov 2025US 2025/0342021 A1Zoho Corporation Private Limited
- Method and system for configuring parameter for graphic program6 Nov 2025US 2025/0342022 A1Shanghai Tosun Technology Ltd.
- Vector test zoned instruction for validity testing2 Oct 2025US 2025/0307124 A1International Business Machines Corporation
Most cited
By later US patents
- Uniform object model having methods and additional features for integrating objects defined by different foreign object type systems into a single type system214US 6,134,559 AOracle Corporation · 2000
- Methods to support multimethod function overloading with compile-time type checking199US 5,488,727 AInternational Business Machines Corporation · 1996
- Interface for symbol table construction in a multilanguage optimizing compiler111US 5,659,753 ADigital Equipment Corporation · 1997
- Link-time and run-time error detection, and program instrumentation102US 6,149,318 A2000
- Method and system for implementing virtual functions and virtual base classes and setting a this pointer for an object-oriented programming language91US 5,297,284 AMicrosoft Corporation · 1994