Type checking

Industry

CPC
G06F8/437

This industry / category may be too specific. Please go to a parent level for more data

Parent Industries

GPHYSICS G06Computing G06FELECTRICAL DIGITAL DATA PROCESSING G06F8/00Arrangements for software engineering

Current Industry

G06F8/437Type checking

Industries

Please log in for detailed analytics

Patents Grantslast 30 patents

Information Patent Grant
Accessing a parametric field within a specialized context
- Patent number 12,141,629
- Issue date Nov 12, 2024
- Oracle International Corporation
- John Robert Rose
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for compatibility detection, device and non-tr...
- Patent number 12,124,825
- Issue date Oct 22, 2024
- INSPUR ELECTRONIC INFORMATION INDUSTRY CO., LTD
- Jing Shi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Preventing garbage object accumulation on minimal runtimes while su...
- Patent number 12,073,198
- Issue date Aug 27, 2024
- Temper Systems, Inc.
- Michael Vincent Samuel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type-constrained operations for plug-in types
- Patent number 12,014,190
- Issue date Jun 18, 2024
- Oracle International Corporation
- John Robert Rose
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determining different resolution states for a parametric constant i...
- Patent number 11,972,308
- Issue date Apr 30, 2024
- Oracle International Corporation
- John Robert Rose
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Implementing a type restriction that restricts to a singleton value...
- Patent number 11,966,798
- Issue date Apr 23, 2024
- Oracle International Corporation
- John Robert Rose
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
User customizable compiler attributes for code checking
- Patent number 11,941,382
- Issue date Mar 26, 2024
- Red Hat, Inc.
- Ulrich Drepper
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Accessing a parametric field within a specialized context
- Patent number 11,922,238
- Issue date Mar 5, 2024
- Oracle International Corporation
- John Robert Rose
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reducing compiler type check costs through thread speculation and h...
- Patent number 11,880,669
- Issue date Jan 23, 2024
- Intel Corporation
- Shiyu Zhang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for evaluating code by a hybrid of local and clou...
- Patent number 11,868,231
- Issue date Jan 9, 2024
- Certinia Inc.
- Kevin James Jones
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic recommendations for resolving static code issues
- Patent number 11,842,175
- Issue date Dec 12, 2023
- SAP SE
- Prabal Mahanta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Implementing a type restriction that restricts to a maximum or spec...
- Patent number 11,836,552
- Issue date Dec 5, 2023
- Oracle International Corporation
- John Robert Rose
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for handling macro compatibility for documents...
- Patent number 11,829,761
- Issue date Nov 28, 2023
- Google LLC
- Paneendra Anantha Rao Bapu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Instantiating a parametric class within a specialized context
- Patent number 11,789,793
- Issue date Oct 17, 2023
- Oracle International Corporation
- John Robert Rose
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Implementing optional specialization when compiling code
- Patent number 11,782,774
- Issue date Oct 10, 2023
- Oracle International Corporation
- John Robert Rose
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Accessing a migrated member in an updated type
- Patent number 11,733,985
- Issue date Aug 22, 2023
- Oracle International Corporation
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Executing a parametric method within a specialized context
- Patent number 11,726,849
- Issue date Aug 15, 2023
- Oracle International Corporation
- John Robert Rose
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Preventing barbage object accumulation on minimal runtimes while su...
- Patent number 11,698,778
- Issue date Jul 11, 2023
- Temper Systems, Inc.
- Michael Vincent Samuel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Implementing a type restriction that restricts to a non-polymorphic...
- Patent number 11,693,719
- Issue date Jul 4, 2023
- Oracle International Corporation
- John Robert Rose
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and device of protecting a first software application to gen...
- Patent number 11,687,440
- Issue date Jun 27, 2023
- THALES DIS CPL USA, INC.
- Andreas Weber
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Implementing optional specialization when executing code
- Patent number 11,687,388
- Issue date Jun 27, 2023
- Oracle International Corporation
- John Robert Rose
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamically-imposed field and method type restrictions for managed...
- Patent number 11,645,129
- Issue date May 9, 2023
- Oracle International Corporation
- Daniel Lee Smith
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Function summarization via type inference
- Patent number 11,620,119
- Issue date Apr 4, 2023
- Raytheon Company
- Andrew Ralph Calvano
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Language interoperability to automate code analysis
- Patent number 11,599,345
- Issue date Mar 7, 2023
- Microsoft Technology Licensing, LLC
- Shao Kun Deng
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program rewrite device, storage medium, and program rewrite method
- Patent number 11,599,341
- Issue date Mar 7, 2023
- Fujitsu Limited
- Masaki Arai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Accessing a migrated member in an updated type
- Patent number 11,599,346
- Issue date Mar 7, 2023
- Oracle International Corporation
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Distributed extensible dynamic graph
- Patent number 11,556,316
- Issue date Jan 17, 2023
- Intuit Inc.
- Jeremy Alan Jessup
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for handling macro compatibility for documents...
- Patent number 11,550,583
- Issue date Jan 10, 2023
- Google LLC
- Paneendra Anantha Rao Bapu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System of type inference for tuple graph programs
- Patent number 11,429,355
- Issue date Aug 30, 2022
- Google LLC
- Gautham Thambidorai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic type determination for database programming
- Patent number 11,385,874
- Issue date Jul 12, 2022
- SAP SE
- Chanho Jeong
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
METHOD AND SYSTEM FOR CONFIGURING PARAMETER FOR GRAPHIC PROGRAM
- Publication number 20250060952
- Publication date Feb 20, 2025
- Shanghai TOSUN Technology Ltd.
- Chu LIU
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD, APPARATUS, AND COMPUTER-READABLE MEDIUM FOR MITIGATING NONC...
- Publication number 20250004734
- Publication date Jan 2, 2025
- Informatica LLC
- Vinay Kumar MISHRA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EVALUATING AND REMEDIATING SOURCE CODE VARIABILITY
- Publication number 20240385818
- Publication date Nov 21, 2024
- International Business Machines Corporation
- Zachary A. Silverstein
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INFERRING TYPE DEFINITIONS OF USER-DEFINED TYPES OF VARIABLES IN AP...
- Publication number 20240329955
- Publication date Oct 3, 2024
- Veracode, Inc.
- Beth Cockerham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RUNTIME SUPPORT FOR LINK TYPE OBJECT MANAGEMENT
- Publication number 20240241735
- Publication date Jul 18, 2024
- Zoho Corporation Private Limited
- Sridhar Vembu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR HANDLING MACRO COMPATIBILITY FOR DOCUMENTS...
- Publication number 20240095033
- Publication date Mar 21, 2024
- Google LLC
- Paneendra Anantha Rao Bapu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Accessing A Parametric Field Within A Specialized Context
- Publication number 20240061733
- Publication date Feb 22, 2024
- ORACLE INTERNATIONAL CORPORATION
- JOHN ROBERT ROSE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and Apparatus for Compatibility Detection, Device and Non-tr...
- Publication number 20240036841
- Publication date Feb 1, 2024
- Inspur Electronic Information Industry Co., Ltd.
- Jing SHI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PREVENTING GARBAGE OBJECT ACCUMULATION ON MINIMAL RUNTIMES WHILE SU...
- Publication number 20240028316
- Publication date Jan 25, 2024
- Temper Systems, Inc.
- Michael Vincent Samuel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ROLE EXTENSIONS FOR PROGRAMMING LANGUAGES
- Publication number 20230409301
- Publication date Dec 21, 2023
- Zoho Corporation Private Limited
- Sridhar Vembu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USER CUSTOMIZABLE COMPILER ATTRIBUTES FOR CODE CHECKING
- Publication number 20230251837
- Publication date Aug 10, 2023
- Red Hat, Inc.
- Ulrich Drepper
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
User-defined Secure Remote Code Execution from No-code Platforms
- Publication number 20230185544
- Publication date Jun 15, 2023
- Google LLC
- Michael Jeffrey Procopio
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR HANDLING MACRO COMPATIBILITY FOR DOCUMENTS...
- Publication number 20230146245
- Publication date May 11, 2023
- Google LLC
- Paneendra Anantha Rao Bapu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMIC RECOMMENDATIONS FOR RESOLVING STATIC CODE ISSUES
- Publication number 20230016697
- Publication date Jan 19, 2023
- SAP SE
- Prabal Mahanta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REDUCING COMPILER TYPE CHECK COSTS THROUGH THREAD SPECULATION AND H...
- Publication number 20220326921
- Publication date Oct 13, 2022
- Shiyu Zhang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DISTRIBUTED EXTENSIBLE DYNAMIC GRAPH
- Publication number 20220317984
- Publication date Oct 6, 2022
- Intuit Inc.
- Jeremy Alan Jessup
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMPLEMENTING OPTIONAL SPECIALIZATION WHEN COMPILING CODE
- Publication number 20220300264
- Publication date Sep 22, 2022
- ORACLE INTERNATIONAL CORPORATION
- John Robert Rose
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMPLEMENTING A TYPE RESTRICTION THAT RESTRICTS TO A NON-POLYMORPHIC...
- Publication number 20220300298
- Publication date Sep 22, 2022
- ORACLE INTERNATIONAL CORPORATION
- JOHN ROBERT ROSE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMICALLY-IMPOSED FIELD AND METHOD TYPE RESTRICTIONS FOR MANAGED...
- Publication number 20220300263
- Publication date Sep 22, 2022
- ORACLE INTERNATIONAL CORPORATION
- Daniel Lee Smith
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR AUTOMATED CREATION OF A TIME SERIES ARTIFICIA...
- Publication number 20220269994
- Publication date Aug 25, 2022
- Averroes.ai Inc.
- Omar Altamimi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ACCESSING A MIGRATED MEMBER IN AN UPDATED TYPE
- Publication number 20220261229
- Publication date Aug 18, 2022
- ORACLE INTERNATIONAL CORPORATION
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ACCESSING A MIGRATED MEMBER IN AN UPDATED TYPE
- Publication number 20220261230
- Publication date Aug 18, 2022
- ORACLE INTERNATIONAL CORPORATION
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND DEVICE OF PROTECTING A FIRST SOFTWARE APPLICATION TO GEN...
- Publication number 20220245052
- Publication date Aug 4, 2022
- THALES DIS CPL USA, Inc.
- Andreas WEBER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
POINTER CONSTRAINT MODELING THROUGH A MULTIGRAPH
- Publication number 20220237062
- Publication date Jul 28, 2022
- Correct Computation, Inc.
- Michael W. Hicks
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ACYCLIC DATA TYPES
- Publication number 20220197612
- Publication date Jun 23, 2022
- Temper Systems, Inc.
- Michael Vincent Samuel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SMART CONTRACT CLIENT PROGRAM GENERATION METHOD, SYSTEM AND DEVICE,...
- Publication number 20220179651
- Publication date Jun 9, 2022
- HANGZHOU QULIAN TECHNOLOGY CO., LTD.
- Weiwei QIU
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LANGUAGE INTEROPERABILITY TO AUTOMATE CODE ANALYSIS
- Publication number 20220058007
- Publication date Feb 24, 2022
- Microsoft Technology Licensing, LLC
- SHAO KUN DENG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS, METHODS AND MEDIA FOR DYNAMICALLY SHAPED TENSORS USING LIQ...
- Publication number 20220027255
- Publication date Jan 27, 2022
- Ende JIN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM REWRITE DEVICE, STORAGE MEDIUM, AND PROGRAM REWRITE METHOD
- Publication number 20220012026
- Publication date Jan 13, 2022
- Fujitsu Limited
- MASAKI ARAI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HETEROGENEITY-AGNOSTIC AND TOPOLOGY-AGNOSTIC DATA PLANE PROGRAMMING
- Publication number 20210365253
- Publication date Nov 25, 2021
- ALIBABA GROUP HOLDING LIMITED
- Ennan Zhai
- G06 - COMPUTING CALCULATING COUNTING

Type checking

Industry

Parent Industries

Current Industry

Patents Grantslast 30 patents

Accessing a parametric field within a specialized context

Method and apparatus for compatibility detection, device and non-tr...

Preventing garbage object accumulation on minimal runtimes while su...

Type-constrained operations for plug-in types

Determining different resolution states for a parametric constant i...

Implementing a type restriction that restricts to a singleton value...

User customizable compiler attributes for code checking

Accessing a parametric field within a specialized context

Reducing compiler type check costs through thread speculation and h...

System and method for evaluating code by a hybrid of local and clou...

Dynamic recommendations for resolving static code issues

Implementing a type restriction that restricts to a maximum or spec...

Systems and methods for handling macro compatibility for documents...

Instantiating a parametric class within a specialized context

Implementing optional specialization when compiling code

Accessing a migrated member in an updated type

Executing a parametric method within a specialized context

Preventing barbage object accumulation on minimal runtimes while su...

Implementing a type restriction that restricts to a non-polymorphic...

Method and device of protecting a first software application to gen...

Implementing optional specialization when executing code

Dynamically-imposed field and method type restrictions for managed...

Function summarization via type inference

Language interoperability to automate code analysis

Program rewrite device, storage medium, and program rewrite method

Accessing a migrated member in an updated type

Distributed extensible dynamic graph

Systems and methods for handling macro compatibility for documents...

System of type inference for tuple graph programs

Automatic type determination for database programming

Patents Applicationslast 30 patents

METHOD AND SYSTEM FOR CONFIGURING PARAMETER FOR GRAPHIC PROGRAM

METHOD, APPARATUS, AND COMPUTER-READABLE MEDIUM FOR MITIGATING NONC...

EVALUATING AND REMEDIATING SOURCE CODE VARIABILITY

INFERRING TYPE DEFINITIONS OF USER-DEFINED TYPES OF VARIABLES IN AP...

RUNTIME SUPPORT FOR LINK TYPE OBJECT MANAGEMENT

SYSTEMS AND METHODS FOR HANDLING MACRO COMPATIBILITY FOR DOCUMENTS...

Accessing A Parametric Field Within A Specialized Context

Method and Apparatus for Compatibility Detection, Device and Non-tr...

PREVENTING GARBAGE OBJECT ACCUMULATION ON MINIMAL RUNTIMES WHILE SU...

ROLE EXTENSIONS FOR PROGRAMMING LANGUAGES

USER CUSTOMIZABLE COMPILER ATTRIBUTES FOR CODE CHECKING

User-defined Secure Remote Code Execution from No-code Platforms

SYSTEMS AND METHODS FOR HANDLING MACRO COMPATIBILITY FOR DOCUMENTS...

DYNAMIC RECOMMENDATIONS FOR RESOLVING STATIC CODE ISSUES

REDUCING COMPILER TYPE CHECK COSTS THROUGH THREAD SPECULATION AND H...

DISTRIBUTED EXTENSIBLE DYNAMIC GRAPH

IMPLEMENTING OPTIONAL SPECIALIZATION WHEN COMPILING CODE

IMPLEMENTING A TYPE RESTRICTION THAT RESTRICTS TO A NON-POLYMORPHIC...

DYNAMICALLY-IMPOSED FIELD AND METHOD TYPE RESTRICTIONS FOR MANAGED...

SYSTEM AND METHOD FOR AUTOMATED CREATION OF A TIME SERIES ARTIFICIA...

ACCESSING A MIGRATED MEMBER IN AN UPDATED TYPE

ACCESSING A MIGRATED MEMBER IN AN UPDATED TYPE

METHOD AND DEVICE OF PROTECTING A FIRST SOFTWARE APPLICATION TO GEN...

POINTER CONSTRAINT MODELING THROUGH A MULTIGRAPH

ACYCLIC DATA TYPES

SMART CONTRACT CLIENT PROGRAM GENERATION METHOD, SYSTEM AND DEVICE,...

LANGUAGE INTEROPERABILITY TO AUTOMATE CODE ANALYSIS

SYSTEMS, METHODS AND MEDIA FOR DYNAMICALLY SHAPED TENSORS USING LIQ...

PROGRAM REWRITE DEVICE, STORAGE MEDIUM, AND PROGRAM REWRITE METHOD

HETEROGENEITY-AGNOSTIC AND TOPOLOGY-AGNOSTIC DATA PLANE PROGRAMMING