USING PROGRAM CALL GRAPHS TO DETERMINE THE MAXIMUM FIXED POINT SOLUTION OF INTERPROCEDURAL BIDIRECTIONAL DATA FLOW PROBLEMS IN A COMPLIER

Patent №

US 5,485,616

Granted

1996-01-16

Filed 1993

Owner

IBM CORPORATION

Lab

IBM Research

AI components

nlp · kr · hardware

Assignment

Recorded

Dataset

AIPD

2023_r1 edition

Application

08135199

View graph

RACT). L. J. Hendren, J. Hummel, A. Nicolau "Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs" SIGPLAN Not.USA vol. 27, No. 7, pp. 249-260 Jul. 1992 (

Natural language Knowledge representation AI hardwareG06F 8/433G06F 8/434

Google Patents

AI classification

AI hardware1.00

Knowledge representation1.00

Natural language0.55

Planning0.06

Evolutionary computation0.01

Machine learning0.00

Vision0.00

Speech0.00

Ownership

IBM CORPORATION

assignment · 67330962

Assignors

BURKE, MICHAEL GEORGE, CARINI, PAUL R., CHOI, JONG-DEOK

On an employer assignment, the assignors are typically the inventors.

From the same owner

RELATION EXTRACTION FROM TEXT USING MACHINE LEARNINGUS 11,625,573 · 2023 Prohibited Content Propagation using a Social Network Data StructureUS 11,611,522 · 2023 System and Method for Supplier Information ManagementUS 11,488,271 · 2022 INTERACTIVE AVATAR IN MESSAGING ENVIRONMENTUS 11,425,068 · 2022 Prohibited Content Propagation using a Social Network Data StructureUS 11,223,589 · 2022 PRODUCING COMPREHENSIBLE SUBTITLES AND CAPTIONS FOR AN EFFECTIVE GROUP VIEWING EXPERIENCEUS 10,950,254 · 2021 DIELECTRIC HOLDER FOR QUANTUM DEVICESUS 10,784,431 · 2020 INTELLIGENT MULTI-DEVICE USER INTERACTIONUS 10,778,786 · 2020

Cites (9)

SYSTEM AND METHOD FOR SOLVING MONOTONE INFORMATION PROPAGATION PROBLEMSUS 5,327,561 · 1994 INCREMENTAL COMPILER FOR SOURCE-CODE DEVELOPMENT SYSTEMUS 5,182,806 · 1993 COMPUTER WITH INTEGRATED HIERARCHICAL REPRSENTATION (IHR) OF PROGRAM WHEREIN IHR FILE IS AVAILABLE FOR DEBUGGING AND OPTIMIZING DURING TARGET EXECUTIONUS 5,175,856 · 1992 INCREMENTAL-SCANNING COMPILER FOR SOURCE-CODE DEVELOPMENT SYSTEMUS 5,170,465 · 1992 INTERPROCEDURAL SLICING OF COMPUTER PROGRAMS USING DEPENDENCE GRAPHSUS 5,161,216 · 1992 METHOD FOR REPRESENTING SCALAR DATA DEPENDENCES FOR AN OPTIMIZING COMPILERUS 5,107,418 · 1992 MULTI-PROCESSOR INCLUDING DATA FLOW ACCELERATOR MODULEUS 4,893,234 · 1990 APPARATUS AND METHODS FOR DERIVING ADDRESSES OF DATA USING POINTERS WHOSE VALUES REMAIN UNCHANGED DURING AN EXECUTION OF A PROCEEDUREUS 4,503,492 · 1985 Patent US 4,922,414US 4,922,414

Cited by (73)

UPDATING CODE OF AN APP FEATURE BASED ON A VALUE OF A QUERY FEATUREUS 11,755,387 · 2023 APPLICATION PROGRAMMING INTERFACE FOR A REGISTRYUS 11,726,774 · 2023 SYSTEM FOR GENERATING A MAP ILLUSTRATING BINDINGSUS 11,210,072 · 2021 Using the Same Query Language for Static and Dynamic Application Security Testing ToolsUS 11,087,002 · 2021 REPLAYING INTERACTIONS WITH TRANSACTIONAL AND DATABASE ENVIRONMENTS WITH RE-ARRANGEMENT

Related research

Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow AnalysisOpenAlex Program Derivation and Mechanized Verification of Imperative Dynamic Programming AlgorithmsOpenAlex Pointer Data Structure Synthesis from Answer Set Programming SpecificationsOpenAlex Bounding Fixed Points of Non-Monotone Processes: Theory to PracticeOpenAlex FABLE: A Novel Data-Flow Analysis Benchmark on Procedural Text for Large Language Model EvaluationarXiv

Full text

Google Patents