G06F 8/49
Partial evaluation
Official title: {Partial evaluation}
G06F8/49 (Partial evaluation) appears on 49 US grants and 45 published applications in this corpus.
Search patents in G06F- Granted patents
- 49
- Published applications
- 45
- Assignees
- 33
- Inventors
- 143
- Latest grant
- 3 Sep 2024
Filings by year
| Year | Granted patents | Published applications |
|---|---|---|
| 1997 | 2 | 0 |
| 1998 | 1 | 0 |
| 1999 | 1 | 0 |
| 2000 | 1 | 0 |
| 2001 | 1 | 0 |
| 2002 | 0 | 0 |
| 2003 | 2 | 2 |
| 2004 | 0 | 0 |
| 2005 | 0 | 0 |
| 2006 | 1 | 0 |
| 2007 | 0 | 2 |
| 2008 | 0 | 0 |
| 2009 | 1 | 3 |
| 2010 | 2 | 1 |
| 2011 | 0 | 2 |
| 2012 | 1 | 2 |
| 2013 | 2 | 2 |
| 2014 | 3 | 2 |
| 2015 | 1 | 5 |
| 2016 | 5 | 7 |
| 2017 | 5 | 2 |
| 2018 | 8 | 5 |
| 2019 | 1 | 1 |
| 2020 | 3 | 1 |
| 2021 | 1 | 2 |
| 2022 | 2 | 4 |
| 2023 | 1 | 1 |
| 2024 | 4 | 0 |
| 2025 | 0 | 0 |
| 2026 | 0 | 1 |
By publication year. Applications have been published since 2001. 2026 runs to 8 Oct.
Recent patents
- Computer implemented program specialization3 Sep 2024US 12,079,607 B2Wisconsin Alumni Research Foundation
- Software development environment11 Jun 2024US 12,008,362 B2Mckinsey & Company, Inc.
- Automated integration of a source modification engine14 May 2024US 11,983,265 B2Runsafe Security, Inc.
- Compilation of a quantum program14 May 2024US 11,983,600 B2International Business Machines Corporation
- Static versioning in the polyhedral model4 Jul 2023US 11,693,636 B2Reservoir Labs, Inc.
- Mechanism to optimize code translation1 Oct 2026US 2026/0299909 A1Unisys Corporation
- Software development environment24 Aug 2023US 2023/0266965 A1Mckinsey & Company, Inc.
- Computer Implemented Program Specialization10 Nov 2022US 2022/0357933 A1Wisconsin Alumni Research Foundation
- Static versioning in the polyhedral model21 Jul 2022US 2022/0229641 A1Reservoir Labs, Inc.
- Automated integration of a source modification engine23 Jun 2022US 2022/0198001 A1Runsafe Security, Inc.
Most cited
By later US patents
- Method and system for translating a software implementation with data-dependent conditions to a data flow graph with conditional expressions44US 5,650,948 ATexas Instruments Incorporated · 1997
- Method and apparatus for statically analyzing a computer program for data dependencies37US 5,987,252 ADigital Equipment Corporation · 1999
- Systems and methods for pre-processing variable initializers31US 6,110,227 AMicrosoft Corporation · 2000
- Method and apparatus for compiling source code using symbolic execution30US 6,588,009 B1Adelante Technologies, NV · 2003
- Versioning optimization for dynamically-typed languages24US 7,493,610 B1International Business Machines Corporation · 2009