|
|
Résultats pour
 brevets
1.
|
Preventing garbage object accumulation on minimal runtimes while supporting an implicit deallocation programming experience
| Numéro d'application |
18214110 |
| Numéro de brevet |
12073198 |
| Statut |
Délivré - en vigueur |
| Date de dépôt |
2023-06-26 |
| Date de la première publication |
2024-01-25 |
| Date d'octroi |
2024-08-27 |
| Propriétaire |
Temper Systems, Inc. (USA)
|
| Inventeur(s) |
- Samuel, Michael Vincent
- Nagra, Jasvir
|
Abrégé
Computer-implemented techniques for preventing garbage object accumulation on minimal runtimes. The techniques include checking whether source code written in a source programming language that does not require the programmer to explicitly program when deallocation happens can run within a runtime that provides little or no support for implicit deallocation. At the same time, the techniques ensure that objects in minimal runtimes are deallocated in a timely manner. In one aspect, the techniques encompass generating a compile-time alert (e.g., an error or warning message) to a programmer of source code or halting compilation of the source code upon detecting a data type definition in the source code with the potential for reference cycles. With the techniques, the programmer is provided with an implicit deallocation experience while producing program fragments that interoperate with minimal runtimes that provide no or only minimal support for implicit deallocation (e.g., provide only reference counting).
Classes IPC ?
- G06F 8/41 - Compilation
- G06F 16/901 - IndexationStructures de données à cet effetStructures de stockage
|
2.
|
DERIVING MANY IDIOMATIC PROGRAMMING LANGUAGE INTERFACES
| Numéro d'application |
18122277 |
| Statut |
En instance |
| Date de dépôt |
2023-03-16 |
| Date de la première publication |
2023-10-12 |
| Propriétaire |
Temper Systems, Inc. (USA)
|
| Inventeur(s) |
- Samuel, Michael Vincent
- Nagra, Jasvir
|
Abrégé
Computer-implemented techniques for deriving many idiomatic programming language interfaces. The techniques allow a programmer to provide idiomatic interfaces in many different programming languages without extra per-language effort. The techniques provide a solution to technical problems involved in providing idiomatic interfaces in many different programming languages. In particular, the techniques solve the problem of providing idiomatic interfaces that use the different definitional elements required by different programming languages, and in a way that programmers experienced in the language expect.
|
3.
|
CROSS-PUBLISHING SOFTWARE LIBRARIES TO MODULE REPOSITORIES
| Numéro d'application |
US2021065235 |
| Numéro de publication |
2022/146932 |
| Statut |
Délivré - en vigueur |
| Date de dépôt |
2021-12-27 |
| Date de publication |
2022-07-07 |
| Propriétaire |
TEMPER SYSTEMS, INC. (USA)
|
| Inventeur(s) |
- Samuel, Michael Vincent
- Nagra, Jasvir
|
Abrégé
Embodiments provide computer-implemented techniques for publishing multiple software libraries to multiple source code repositories using a set of repository agents each configured to execute one or more source code repository-specific pre-publication actions for different source code repositories.
|
4.
|
PRODUCING IDIOMATIC SOFTWARE DOCUMENTATION FOR MANY PROGRAMMING LANGUAGES FROM A COMMON SPECIFICATION
| Numéro d'application |
US2021065236 |
| Numéro de publication |
2022/146933 |
| Statut |
Délivré - en vigueur |
| Date de dépôt |
2021-12-27 |
| Date de publication |
2022-07-07 |
| Propriétaire |
TEMPER SYSTEMS, INC. (USA)
|
| Inventeur(s) |
- Samuel, Michael Vincent
- Nagra, Jasvir
|
Abrégé
Computer-implemented techniques solve a number of problems with producing idiomatic software documentation for many programming languages from a common specification written in a common specification programming language. The techniques may be employed by a documentation generator computer program that translates the common specification into software programming interface documentation for each of many different programming language targets. The techniques may also be employed by a source-to-source compiler that incorporates the techniques to generate documentation from the common specification for each of many different programming language targets in addition to compiling the common specification into the different target languages.
|
5.
|
Cross-publishing software libraries to module repositories
| Numéro d'application |
17516461 |
| Numéro de brevet |
11789722 |
| Statut |
Délivré - en vigueur |
| Date de dépôt |
2021-11-01 |
| Date de la première publication |
2022-06-30 |
| Date d'octroi |
2023-10-17 |
| Propriétaire |
Temper Systems, Inc. (USA)
|
| Inventeur(s) |
- Samuel, Michael Vincent
- Nagra, Jasvir
|
Abrégé
Embodiments provide computer-implemented techniques for publishing multiple software libraries to multiple source code repositories using a set of repository agents each configured to execute one or more source code repository-specific pre-publication actions for different source code repositories.
Classes IPC ?
- G06F 8/71 - Gestion de versions Gestion de configuration
- G06F 8/10 - Analyse des exigencesTechniques de spécification
- G06F 8/36 - Réutilisation de logiciel
|
6.
|
DERIVING MANY IDIOMATIC PROGRAMMING LANGUAGE INTERFACES
| Numéro d'application |
US2021064536 |
| Numéro de publication |
2022/140337 |
| Statut |
Délivré - en vigueur |
| Date de dépôt |
2021-12-21 |
| Date de publication |
2022-06-30 |
| Propriétaire |
TEMPER SYSTEMS, INC. (USA)
|
| Inventeur(s) |
- Samuel, Michael Vincent
- Nagra, Jasvir
|
Abrégé
Computer-implemented techniques for deriving many idiomatic programming language interfaces. The techniques allow a programmer to provide idiomatic interfaces in many different programming languages without extra per-language effort. The techniques provide a solution to technical problems involved in providing idiomatic interfaces in many different programming languages. In particular, the techniques solve the problem of providing idiomatic interfaces that use the different definitional elements required by different programming languages, and in a way that programmers experienced in the language expect.
|
7.
|
Producing idiomatic software documentation for many programming languages from a common specification
| Numéro d'application |
17665361 |
| Numéro de brevet |
12032927 |
| Statut |
Délivré - en vigueur |
| Date de dépôt |
2022-02-04 |
| Date de la première publication |
2022-06-30 |
| Date d'octroi |
2024-07-09 |
| Propriétaire |
Temper Systems, Inc. (USA)
|
| Inventeur(s) |
- Samuel, Michael Vincent
- Nagra, Jasvir
|
Abrégé
Computer-implemented techniques solve a number of problems with producing idiomatic software documentation for many programming languages from a common specification written in a common specification programming language. The techniques may be employed by a documentation generator computer program that translates the common specification into software programming interface documentation for each of many different programming language targets. The techniques may also be employed by a source-to-source compiler that incorporates the techniques to generate documentation from the common specification for each of many different programming language targets in addition to compiling the common specification into the different target languages.
|
8.
|
PREVENTING GARBAGE OBJECT ACCUMULATION ON MINIMAL RUNTIMES
| Numéro d'application |
US2021064529 |
| Numéro de publication |
2022/140332 |
| Statut |
Délivré - en vigueur |
| Date de dépôt |
2021-12-21 |
| Date de publication |
2022-06-30 |
| Propriétaire |
TEMPER SYSTEMS, INC. (USA)
|
| Inventeur(s) |
- Samuel, Michael Vincent
- Nagra, Jasvir
|
Abrégé
Computer-implemented techniques for preventing garbage object accumulation on minimal runtimes. The techniques include checking whether source code written in a source programming language that does not require the programmer to explicitly program when deallocation happens can run within a runtime that provides little or no support for implicit deallocation. At the same time, the techniques ensure that objects in minimal runtimes are deallocated in a timely manner. In one aspect, the techniques encompass generating a compile-time alert to a programmer of source code or halting compilation of the source code upon detecting a data type definition in the source code with the potential for reference cycles. With the techniques, the programmer is provided with an implicit deallocation experience while producing program fragments that interoperate with minimal runtimes that provide no or only minimal support for implicit deallocation (e.g., provide only reference counting).
|
9.
|
Deriving many idiomatic programming language interfaces
| Numéro d'application |
17342053 |
| Numéro de brevet |
11609753 |
| Statut |
Délivré - en vigueur |
| Date de dépôt |
2021-06-08 |
| Date de la première publication |
2022-06-23 |
| Date d'octroi |
2023-03-21 |
| Propriétaire |
Temper Systems, Inc. (USA)
|
| Inventeur(s) |
- Samuel, Michael Vincent
- Nagra, Jasvir
|
Abrégé
Computer-implemented techniques for deriving many idiomatic programming language interfaces. The techniques allow a programmer to provide idiomatic interfaces in many different programming languages without extra per-language effort. The techniques provide a solution to technical problems involved in providing idiomatic interfaces in many different programming languages. In particular, the techniques solve the problem of providing idiomatic interfaces that use the different definitional elements required by different programming languages, and in a way that programmers experienced in the language expect.
Classes IPC ?
- G06F 9/44 - Dispositions pour exécuter des programmes spécifiques
- G06F 8/51 - Source à source
- G06F 8/10 - Analyse des exigencesTechniques de spécification
- G06F 8/30 - Création ou génération de code source
- G06F 8/41 - Compilation
|
10.
|
Preventing barbage object accumulation on minimal runtimes while supporting an implicit deallocation programming experience
| Numéro d'application |
17212477 |
| Numéro de brevet |
11698778 |
| Statut |
Délivré - en vigueur |
| Date de dépôt |
2021-03-25 |
| Date de la première publication |
2022-06-23 |
| Date d'octroi |
2023-07-11 |
| Propriétaire |
Temper Systems, Inc. (USA)
|
| Inventeur(s) |
- Samuel, Michael Vincent
- Nagra, Jasvir
|
Abrégé
Computer-implemented techniques for preventing garbage object accumulation on minimal runtimes. The techniques include checking whether source code written in a source programming language that does not require the programmer to explicitly program when deallocation happens can run within a runtime that provides little or no support for implicit deallocation. At the same time, the techniques ensure that objects in minimal runtimes are deallocated in a timely manner. In one aspect, the techniques encompass generating a compile-time alert (e.g., an error or warning message) to a programmer of source code or halting compilation of the source code upon detecting a data type definition in the source code with the potential for reference cycles. With the techniques, the programmer is provided with an implicit deallocation experience while producing program fragments that interoperate with minimal runtimes that provide no or only minimal support for implicit deallocation (e.g., provide only reference counting).
Classes IPC ?
- G06F 8/41 - Compilation
- G06F 16/901 - IndexationStructures de données à cet effetStructures de stockage
|
11.
|
Cross-publishing software libraries to module repositories
| Numéro d'application |
17135626 |
| Numéro de brevet |
11163559 |
| Statut |
Délivré - en vigueur |
| Date de dépôt |
2020-12-28 |
| Date de la première publication |
2021-11-02 |
| Date d'octroi |
2021-11-02 |
| Propriétaire |
Temper Systems, Inc. (USA)
|
| Inventeur(s) |
- Samuel, Michael Vincent
- Nagra, Jasvir
|
Abrégé
Embodiments provide computer-implemented techniques for publishing multiple software libraries to multiple source code repositories using a set of repository agents each configured to execute one or more source code repository-specific pre-publication actions for different source code repositories.
Classes IPC ?
- G06F 8/71 - Gestion de versions Gestion de configuration
- G06F 8/10 - Analyse des exigencesTechniques de spécification
- G06F 8/36 - Réutilisation de logiciel
|
12.
|
Deriving many idiomatic programming language interfaces
| Numéro d'application |
17131574 |
| Numéro de brevet |
11036482 |
| Statut |
Délivré - en vigueur |
| Date de dépôt |
2020-12-22 |
| Date de la première publication |
2021-06-15 |
| Date d'octroi |
2021-06-15 |
| Propriétaire |
Temper Systems, Inc. (USA)
|
| Inventeur(s) |
- Samuel, Michael Vincent
- Nagra, Jasvir
|
Abrégé
Computer-implemented techniques for deriving many idiomatic programming language interfaces. The techniques allow a programmer to provide idiomatic interfaces in many different programming languages without extra per-language effort. The techniques provide a solution to technical problems involved in providing idiomatic interfaces in many different programming languages. In particular, the techniques solve the problem of providing idiomatic interfaces that use the different definitional elements required by different programming languages, and in a way that programmers experienced in the language expect.
Classes IPC ?
- G06F 9/44 - Dispositions pour exécuter des programmes spécifiques
- G06F 8/51 - Source à source
- G06F 8/10 - Analyse des exigencesTechniques de spécification
- G06F 8/30 - Création ou génération de code source
- G06F 8/41 - Compilation
|
13.
|
Preventing garbage object accumulation on minimal runtimes
| Numéro d'application |
17131583 |
| Numéro de brevet |
10963228 |
| Statut |
Délivré - en vigueur |
| Date de dépôt |
2020-12-22 |
| Date de la première publication |
2021-03-30 |
| Date d'octroi |
2021-03-30 |
| Propriétaire |
Temper Systems, Inc. (USA)
|
| Inventeur(s) |
- Samuel, Michael Vincent
- Nagra, Jasvir
|
Abrégé
Computer-implemented techniques for preventing garbage object accumulation on minimal runtimes. The techniques include checking whether source code written in a source programming language that does not require the programmer to explicitly program when deallocation happens can run within a runtime that provides little or no support for implicit deallocation. At the same time, the techniques ensure that objects in minimal runtimes are deallocated in a timely manner. In one aspect, the techniques encompass generating a compile-time alert (e.g., an error or warning message) to a programmer of source code or halting compilation of the source code upon detecting a data type definition in the source code with the potential for reference cycles. With the techniques, the programmer is provided with an implicit deallocation experience while producing program fragments that interoperate with minimal runtimes that provide no or only minimal support for implicit deallocation (e.g., provide only reference counting).
Classes IPC ?
- G06F 8/41 - Compilation
- G06F 16/901 - IndexationStructures de données à cet effetStructures de stockage
|
|