DE602006000728D1 - pisierten Assemblersprachen - Google Patents
pisierten AssemblersprachenInfo
- Publication number
- DE602006000728D1 DE602006000728D1 DE602006000728T DE602006000728T DE602006000728D1 DE 602006000728 D1 DE602006000728 D1 DE 602006000728D1 DE 602006000728 T DE602006000728 T DE 602006000728T DE 602006000728 T DE602006000728 T DE 602006000728T DE 602006000728 D1 DE602006000728 D1 DE 602006000728D1
- Authority
- DE
- Germany
- Prior art keywords
- paced
- assembly languages
- languages
- assembly
- paced assembly
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/43—Checking; Contextual analysis
- G06F8/436—Semantic checking
- G06F8/437—Type checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/445—Program loading or initiating
- G06F9/44589—Program code verification, e.g. Java bytecode verification, proof-carrying code
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US96933 | 1987-09-14 | ||
US11/096,933 US7574700B2 (en) | 2005-03-31 | 2005-03-31 | Supporting dynamically-typed languages in typed assembly languages |
Publications (2)
Publication Number | Publication Date |
---|---|
DE602006000728D1 true DE602006000728D1 (de) | 2008-04-30 |
DE602006000728T2 DE602006000728T2 (de) | 2009-04-23 |
Family
ID=36561750
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
DE602006000728T Active DE602006000728T2 (de) | 2005-03-31 | 2006-03-30 | Unterstützung dynamisch typisierter Sprachen in typisierten Assemblersprachen |
Country Status (3)
Country | Link |
---|---|
US (1) | US7574700B2 (de) |
EP (1) | EP1708083B1 (de) |
DE (1) | DE602006000728T2 (de) |
Families Citing this family (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7975121B2 (en) * | 2008-05-12 | 2011-07-05 | Microsoft Corporation | Simple stack types |
US8806457B2 (en) * | 2008-12-15 | 2014-08-12 | Apple Inc. | Deferred constant pool generation |
CA2759516C (en) * | 2011-11-24 | 2019-12-31 | Ibm Canada Limited - Ibm Canada Limitee | Serialization of pre-initialized objects |
US8943474B1 (en) * | 2011-10-26 | 2015-01-27 | The Mathworks, Inc. | Code generation and execution for dynamic programming languages |
US9135027B1 (en) | 2011-10-26 | 2015-09-15 | The Mathworks, Inc. | Code generation and execution for dynamic programming languages |
US9524175B2 (en) | 2012-11-14 | 2016-12-20 | Oracle International Corporation | Target typing of overloaded method and constructor arguments |
US9195441B2 (en) * | 2013-07-30 | 2015-11-24 | Facebook, Inc. | Systems and methods for incremental compilation at runtime using relaxed guards |
US10929160B1 (en) | 2018-12-12 | 2021-02-23 | The Mathworks, Inc. | Composite-trace just-in-time compilation |
Family Cites Families (15)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6704923B1 (en) * | 1994-12-20 | 2004-03-09 | Sun Microsystems, Inc. | System and method for pre-verification of stack usage in bytecode program loops |
US5748964A (en) * | 1994-12-20 | 1998-05-05 | Sun Microsystems, Inc. | Bytecode program interpreter apparatus and method with pre-verification of data type restrictions |
JP3381927B2 (ja) * | 1997-01-17 | 2003-03-04 | インターナシヨナル・ビジネス・マシーンズ・コーポレーシヨン | 分散コンピュータ・システムにおいて資源を保護する方法 |
US6513156B2 (en) * | 1997-06-30 | 2003-01-28 | Sun Microsystems, Inc. | Interpreting functions utilizing a hybrid of virtual and native machine instructions |
US5966702A (en) * | 1997-10-31 | 1999-10-12 | Sun Microsystems, Inc. | Method and apparatus for pre-processing and packaging class files |
US6081665A (en) * | 1997-12-19 | 2000-06-27 | Newmonics Inc. | Method for efficient soft real-time execution of portable byte code computer programs |
US6330709B1 (en) * | 1998-03-30 | 2001-12-11 | International Business Machines Corporation | Virtual machine implementation for shared persistent objects |
US6745384B1 (en) * | 1998-05-29 | 2004-06-01 | Microsoft Corporation | Anticipatory optimization with composite folding |
JP4130713B2 (ja) * | 1998-10-21 | 2008-08-06 | 松下電器産業株式会社 | プログラム変換装置 |
GB9825102D0 (en) * | 1998-11-16 | 1999-01-13 | Insignia Solutions Plc | Computer system |
US6338160B1 (en) * | 1998-12-08 | 2002-01-08 | Nazomi Communications, Inc. | Constant pool reference resolution method |
US6327700B1 (en) * | 1999-06-08 | 2001-12-04 | Appliant Corporation | Method and system for identifying instrumentation targets in computer programs related to logical transactions |
US6463521B1 (en) * | 1999-06-23 | 2002-10-08 | Sun Microsystems, Inc. | Opcode numbering for meta-data encoding |
US6560774B1 (en) * | 1999-09-01 | 2003-05-06 | Microsoft Corporation | Verifier to check intermediate language |
JP3900485B2 (ja) * | 2002-07-29 | 2007-04-04 | インターナショナル・ビジネス・マシーンズ・コーポレーション | 最適化装置、コンパイラプログラム、最適化方法、及び記録媒体 |
-
2005
- 2005-03-31 US US11/096,933 patent/US7574700B2/en active Active
-
2006
- 2006-03-30 EP EP06251778A patent/EP1708083B1/de active Active
- 2006-03-30 DE DE602006000728T patent/DE602006000728T2/de active Active
Also Published As
Publication number | Publication date |
---|---|
EP1708083A1 (de) | 2006-10-04 |
EP1708083B1 (de) | 2008-03-19 |
US7574700B2 (en) | 2009-08-11 |
US20060225045A1 (en) | 2006-10-05 |
DE602006000728T2 (de) | 2009-04-23 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
DE602006020996D1 (de) | Hreren eingängen | |
ATE408603T1 (de) | Pyrazolylcarboxanilide | |
CR9974A (es) | Gavión | |
DE502005010582D1 (de) | Kabeldurchführung | |
DE502006003394D1 (de) | Lehnenklappung | |
DE602006004941D1 (de) | Tretkurbellager-Anordnung | |
DK1885966T3 (da) | Forbedret hoved-t-forbindelse | |
DE602006015649D1 (de) | Gehhilfsvorrichtung | |
DE502006005667D1 (de) | Gelenklager | |
ATE549324T1 (de) | Tetrahydrobenzoxazine | |
DE502006005768D1 (de) | Hydrolysestabilisatorformulierungen | |
DE602006011280D1 (de) | Lcopolymerkautschukzusammensetzung | |
DE602006001022D1 (de) | Verbinderanordnung | |
DE502005007580D1 (de) | Baugruppe | |
DE602006000728D1 (de) | pisierten Assemblersprachen | |
DE602006000333D1 (de) | Verbinderanordnung | |
DE502005005839D1 (de) | Feldgeerät | |
DE502006001397D1 (de) | Lagerbuchse | |
DE502006006589D1 (de) | Teils | |
ATE485368T1 (de) | Hiv - impfung | |
DE502006004302D1 (de) | Verschlusskappe | |
DE502006001004D1 (de) | Hydrolager | |
DE102005052834B8 (de) | Punktschweißklebverbindung | |
DE502006003210D1 (de) | Nohydrogenpolysiloxanen | |
AT501523A3 (de) | Estrich |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
8364 | No opposition during term of opposition |