NO20021733L - Fremgangsmåte og system for å generere programvarekode ved å benytte en symbolsk språkoversetter - Google Patents
Fremgangsmåte og system for å generere programvarekode ved å benytte en symbolsk språkoversetterInfo
- Publication number
- NO20021733L NO20021733L NO20021733A NO20021733A NO20021733L NO 20021733 L NO20021733 L NO 20021733L NO 20021733 A NO20021733 A NO 20021733A NO 20021733 A NO20021733 A NO 20021733A NO 20021733 L NO20021733 L NO 20021733L
- Authority
- NO
- Norway
- Prior art keywords
- procedure
- software code
- generating software
- language translator
- symbolic language
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Debugging And Monitoring (AREA)
- Complex Calculations (AREA)
- Devices For Executing Special Programs (AREA)
Applications Claiming Priority (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US09/419,717 US6633837B1 (en) | 1999-10-14 | 1999-10-14 | Method and system for generating software code using a symbolic language translator |
| PCT/US2000/028237 WO2001027750A2 (en) | 1999-10-14 | 2000-10-12 | Method and system for generating software code using a symbolic language translator |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| NO20021733D0 NO20021733D0 (no) | 2002-04-12 |
| NO20021733L true NO20021733L (no) | 2002-06-12 |
Family
ID=23663452
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| NO20021733A NO20021733L (no) | 1999-10-14 | 2002-04-12 | Fremgangsmåte og system for å generere programvarekode ved å benytte en symbolsk språkoversetter |
Country Status (11)
| Country | Link |
|---|---|
| US (1) | US6633837B1 (de) |
| EP (1) | EP1230593A2 (de) |
| JP (1) | JP2003524227A (de) |
| CN (1) | CN1172238C (de) |
| AU (1) | AU8016300A (de) |
| BR (1) | BR0014862A (de) |
| CA (1) | CA2386187A1 (de) |
| EA (1) | EA004383B1 (de) |
| MX (1) | MXPA02003699A (de) |
| NO (1) | NO20021733L (de) |
| WO (1) | WO2001027750A2 (de) |
Families Citing this family (25)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7369973B2 (en) * | 2000-06-29 | 2008-05-06 | Object Reservoir, Inc. | Method and system for representing reservoir systems |
| WO2002003103A2 (en) * | 2000-06-29 | 2002-01-10 | Object Reservoir, Inc. | Method and system for solving finite element models using multi-phase physics |
| US7319945B1 (en) * | 2000-11-10 | 2008-01-15 | California Institute Of Technology | Automated methods for simulating a biological network |
| US6895574B2 (en) * | 2001-06-28 | 2005-05-17 | Sun Microsystems, Inc. | Method and apparatus for automatically producing efficient code for computing derivatives |
| US7219352B2 (en) * | 2002-04-15 | 2007-05-15 | Microsoft Corporation | Methods and apparatuses for facilitating processing of interlaced video images for progressive video displays |
| US7302677B2 (en) * | 2003-05-08 | 2007-11-27 | Microsoft Corporation | Event driven graph explorer for model-based testing of software |
| CN100489558C (zh) | 2004-06-07 | 2009-05-20 | 埃克森美孚上游研究公司 | 用于求解隐式储层仿真矩阵的方法 |
| US20080086432A1 (en) * | 2006-07-12 | 2008-04-10 | Schmidtler Mauritius A R | Data classification methods using machine learning techniques |
| US20090150124A1 (en) * | 2007-12-07 | 2009-06-11 | Schlumberger Technology Corporation | Model based workflow for interpreting deep-reading electromagnetic data |
| CN101896690B (zh) | 2007-12-13 | 2015-02-18 | 埃克森美孚上游研究公司 | 使用非结构化网格的储层模拟上的并行自适应数据分区 |
| US20120109604A1 (en) * | 2009-07-01 | 2012-05-03 | Halliburton Energy Services, Inc. | Estimating Mineral Content Using Geochemical Data |
| US20150142399A1 (en) * | 2010-11-17 | 2015-05-21 | Toyota Motor Engineering & Manufacturing North America, Inc. | Exact parameter space reduction |
| FR2969207B1 (fr) * | 2010-12-15 | 2021-05-07 | Ifp Energies Now | Methode de recuperation assistee d'hydrocarbures comprenant l'optimisation de l'injection d'une solution aqueuse de conditionnement |
| CN102063555B (zh) * | 2011-01-26 | 2012-08-15 | 河海大学 | 基于网格结构的有限元数值模型查错方法 |
| US9146652B1 (en) * | 2011-08-31 | 2015-09-29 | Comsol Ab | System and method for creating user interfaces in a multiphysics modeling system |
| US9922453B1 (en) * | 2013-05-03 | 2018-03-20 | Msc.Software Corporation | Shrink wrap generation systems and methods |
| CN104298497A (zh) * | 2014-04-04 | 2015-01-21 | 沈阳化工大学 | 大规模非线性动态优化算法代码生成系统 |
| US20160061974A1 (en) * | 2014-09-02 | 2016-03-03 | Reeshidev Bansal | Full-Wavefield Inversion Using Mirror Source-Receiver Geometry |
| US20170228225A1 (en) * | 2016-02-05 | 2017-08-10 | Honeywell International, Inc. | System and method for preserving value and extending life of legacy software in face of processor unavailability, rising processor costs, or other issues |
| US10387210B2 (en) * | 2016-04-04 | 2019-08-20 | International Business Machines Corporation | Resource schedule optimization |
| CN108304166A (zh) * | 2018-01-18 | 2018-07-20 | 北京航空航天大学 | 一种人工智能程序员根据公式描述书写源程序的方法 |
| US20210174233A1 (en) * | 2019-12-05 | 2021-06-10 | Fujitsu Limited | Graph equation modeling for mathematical equation decomposition and automated code generation |
| CN111309302B (zh) * | 2020-02-06 | 2023-04-18 | 杭州电子科技大学 | 一种基于LaTeX的四则运算与三角函数混合运算公式转换Verilog代码的方法 |
| CN113051725B (zh) * | 2021-03-12 | 2022-09-09 | 哈尔滨工程大学 | 基于通用型辅助变量法的det与relap5耦合的动态特性分析方法 |
| CN115756416B (zh) * | 2022-10-18 | 2023-06-02 | 元计算(天津)科技发展有限公司 | 物理机理求解器计算单元的程序生成方法及装置 |
Family Cites Families (23)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5099413A (en) | 1987-12-12 | 1992-03-24 | Sadashiro Sakai | System which reads type and position of task element marks on a matrix of program tasks for automatically generating programs |
| US5103421A (en) | 1988-11-29 | 1992-04-07 | Massachusetts Institute Of Technology | Process and apparatus for designing a system made of components |
| IE69192B1 (en) * | 1990-12-21 | 1996-08-21 | Hitachi Europ Ltd | A method of generating partial differential equations for simulation a simulation method and a method of generating simulation programs |
| US5289567A (en) | 1991-04-01 | 1994-02-22 | Digital Equipment Corporation | Computer apparatus and method for finite element identification in interactive modeling |
| US5557773A (en) * | 1991-06-12 | 1996-09-17 | Wang; Cheh C. | Computational automation for global objectives |
| JPH0778742B2 (ja) * | 1992-08-12 | 1995-08-23 | インターナショナル・ビジネス・マシーンズ・コーポレイション | コンピユータ・プログラム言語変換装置及びその方法 |
| US5442569A (en) * | 1993-06-23 | 1995-08-15 | Oceanautes Inc. | Method and apparatus for system characterization and analysis using finite element methods |
| US5537641A (en) * | 1993-11-24 | 1996-07-16 | University Of Central Florida | 3D realtime fluid animation by Navier-Stokes equations |
| US5526475A (en) * | 1994-03-02 | 1996-06-11 | Mathsoft, Inc. | Method for live symbolic calculations in a mathematical document editor |
| US5784553A (en) * | 1996-01-16 | 1998-07-21 | Parasoft Corporation | Method and system for generating a computer program test suite using dynamic symbolic execution of JAVA programs |
| US5675147A (en) * | 1996-01-22 | 1997-10-07 | Schlumberger Technology Corporation | System and method of petrophysical formation evaluation in heterogeneous formations |
| US5668374A (en) * | 1996-05-07 | 1997-09-16 | Core Laboratories N.V. | Method for stabilizing near-infrared models and determining their applicability |
| US6272556B1 (en) * | 1996-07-01 | 2001-08-07 | Sun Microsystems, Inc. | Object-oriented system, method and article of manufacture for migrating a client-server application (#5) |
| US6018497A (en) * | 1997-02-27 | 2000-01-25 | Geoquest | Method and apparatus for generating more accurate earth formation grid cell property information for use by a simulator to display more accurate simulation results of the formation near a wellbore |
| US5813798A (en) * | 1997-03-28 | 1998-09-29 | Whiffen; Greg | Piecewise continuous control of groundwater remediation |
| GB9707550D0 (en) * | 1997-04-15 | 1997-06-04 | British Telecomm | Design of computer networks |
| US6106561A (en) * | 1997-06-23 | 2000-08-22 | Schlumberger Technology Corporation | Simulation gridding method and apparatus including a structured areal gridder adapted for use by a reservoir simulator |
| US6167155A (en) * | 1997-07-28 | 2000-12-26 | Physical Optics Corporation | Method of isomorphic singular manifold projection and still/video imagery compression |
| US5796678A (en) * | 1997-08-11 | 1998-08-18 | Trans Seismic International, Inc. | Method for determining the presence of fluids in a subterranean formation |
| US6236738B1 (en) * | 1998-04-09 | 2001-05-22 | Board Of Trustees Of The Leland Stanford Junior University | Spatiotemporal finite element method for motion analysis with velocity data |
| US6271856B1 (en) * | 1998-11-19 | 2001-08-07 | Paraform, Inc. | Creating and modifying parameterizations of surfaces |
| US6256038B1 (en) * | 1998-12-10 | 2001-07-03 | The Board Of Trustees Of The Leland Stanford Junior University | Parameterized surface fitting technique having independent control of fitting and parameterization |
| US6353801B1 (en) * | 1999-04-09 | 2002-03-05 | Agilent Technologies, Inc. | Multi-resolution adaptive solution refinement technique for a method of moments-based electromagnetic simulator |
-
1999
- 1999-10-14 US US09/419,717 patent/US6633837B1/en not_active Expired - Lifetime
-
2000
- 2000-10-12 CN CNB008160643A patent/CN1172238C/zh not_active Expired - Fee Related
- 2000-10-12 MX MXPA02003699A patent/MXPA02003699A/es unknown
- 2000-10-12 WO PCT/US2000/028237 patent/WO2001027750A2/en not_active Ceased
- 2000-10-12 AU AU80163/00A patent/AU8016300A/en not_active Abandoned
- 2000-10-12 CA CA002386187A patent/CA2386187A1/en not_active Abandoned
- 2000-10-12 EA EA200200433A patent/EA004383B1/ru not_active IP Right Cessation
- 2000-10-12 JP JP2001530696A patent/JP2003524227A/ja not_active Withdrawn
- 2000-10-12 BR BR0014862-8A patent/BR0014862A/pt not_active IP Right Cessation
- 2000-10-12 EP EP00970842A patent/EP1230593A2/de not_active Ceased
-
2002
- 2002-04-12 NO NO20021733A patent/NO20021733L/no not_active Application Discontinuation
Also Published As
| Publication number | Publication date |
|---|---|
| EP1230593A2 (de) | 2002-08-14 |
| CN1172238C (zh) | 2004-10-20 |
| NO20021733D0 (no) | 2002-04-12 |
| CA2386187A1 (en) | 2001-04-19 |
| AU8016300A (en) | 2001-04-23 |
| MXPA02003699A (es) | 2005-06-30 |
| US6633837B1 (en) | 2003-10-14 |
| EA200200433A1 (ru) | 2003-02-27 |
| WO2001027750A2 (en) | 2001-04-19 |
| JP2003524227A (ja) | 2003-08-12 |
| EA004383B1 (ru) | 2004-04-29 |
| WO2001027750A3 (en) | 2002-06-13 |
| BR0014862A (pt) | 2003-07-29 |
| CN1421004A (zh) | 2003-05-28 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| NO20021733D0 (no) | Fremgangsmåte og system for å generere programvarekode ved å benytte en symbolsk språkoversetter | |
| AU2003264088A8 (en) | Software for generating a computer application code and software description language | |
| AU2286601A (en) | Method and apparatus of data exchange using runtime code generator and translator | |
| AU7358900A (en) | Computer-assisted language translation | |
| GB2359645B (en) | XML server pages language | |
| GB2342473B (en) | Code generation for a bytecode compiler | |
| AU2001239976A1 (en) | System and method for common code generation | |
| AU2002238019A1 (en) | System and method for generating and maintaining software code | |
| ID21420A (id) | Penggerak pelepasan total untuk kaleng aerosol | |
| AU5581599A (en) | Natural language sentence parser | |
| NO975910D0 (no) | Anordning ved utblåsningssikring (BOP) | |
| GB2321731B (en) | Remote compiling of source code for cross development | |
| AUPP949599A0 (en) | Visual architecture software language | |
| EP1233347A4 (de) | Sprachen-übersetzungssystem | |
| EE04213B1 (et) | Ühest keelest teise keelde tõlkimist võimaldav mobiiltelefon ja meetod märgistringi tõlkimiseks | |
| AU5293700A (en) | Compiling and persisting of intermediate language code | |
| AU3598500A (en) | System and method for generating recovery code | |
| FI20011015L (fi) | Menetelmä translaattorin kehittämiseksi ja vastaava järjestelmä | |
| NO976139D0 (no) | Fremgangsmåte for å forsinke brönndestruksjon p.g.a. formasjonssetninger | |
| GB2352066B (en) | An instruction set for a computer | |
| IL141871A0 (en) | Operating system for a dynamically re-configurable pc | |
| AU2001278329A1 (en) | System and methods providing runtime byte code simplification for platform independent languages | |
| AU2001253122A1 (en) | System and method for generating computer source code | |
| AU2262101A (en) | A system and method for modifying output of a computer program without source code modifications | |
| AUPR745301A0 (en) | Method and system for compiling and verifying computer code |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| FC2A | Withdrawal, rejection or dismissal of laid open patent application |