ATE238586T1 - Ableitung von operandtypen innerhalb einer zwischensprache - Google Patents

Ableitung von operandtypen innerhalb einer zwischensprache

Info

Publication number
ATE238586T1
ATE238586T1 AT00936325T AT00936325T ATE238586T1 AT E238586 T1 ATE238586 T1 AT E238586T1 AT 00936325 T AT00936325 T AT 00936325T AT 00936325 T AT00936325 T AT 00936325T AT E238586 T1 ATE238586 T1 AT E238586T1
Authority
AT
Austria
Prior art keywords
intermediate language
opcode
derivation
opcodes
operand types
Prior art date
Application number
AT00936325T
Other languages
English (en)
Inventor
Vance P Morrison
Original Assignee
Microsoft Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Microsoft Corp filed Critical Microsoft Corp
Application granted granted Critical
Publication of ATE238586T1 publication Critical patent/ATE238586T1/de

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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 OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/44—Encoding
    • G06F8/447—Target code generation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/45—Exploiting coarse grain parallelism in compilation, i.e. parallelism between groups of instructions

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computational Linguistics (AREA)
  • Devices For Executing Special Programs (AREA)
AT00936325T 1999-06-07 2000-05-26 Ableitung von operandtypen innerhalb einer zwischensprache ATE238586T1 (de)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US09/326,863 US6484312B1 (en) 1999-06-07 1999-06-07 Inferring operand types within an intermediate language
PCT/US2000/014522 WO2000075777A2 (en) 1999-06-07 2000-05-26 Inferring operand types within an intermediate language

Publications (1)

Publication Number Publication Date
ATE238586T1 true ATE238586T1 (de) 2003-05-15

Family

ID=23274054

Family Applications (1)

Application Number Title Priority Date Filing Date
AT00936325T ATE238586T1 (de) 1999-06-07 2000-05-26 Ableitung von operandtypen innerhalb einer zwischensprache

Country Status (8)

Country Link
US (1) US6484312B1 (de)
EP (2) EP1192536B1 (de)
JP (1) JP2003501742A (de)
AT (1) ATE238586T1 (de)
AU (1) AU5165100A (de)
DE (1) DE60002327T2 (de)
DK (1) DK1192536T3 (de)
WO (1) WO2000075777A2 (de)

Families Citing this family (21)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CA2279222C (en) * 1999-07-30 2002-07-16 Ibm Canada Limited-Ibm Canada Limitee Direct call threaded code
US20030028864A1 (en) * 2001-01-29 2003-02-06 Matt Bowen System, method and article of manufacture for successive compilations using incomplete parameters
US7516441B2 (en) * 2001-06-04 2009-04-07 Microsoft Corporation Method and system for program editing and debugging in a common language runtime environment
US6966053B2 (en) * 2001-08-10 2005-11-15 The Boeing Company Architecture for automated analysis and design with read only structure
US6976249B1 (en) * 2001-11-12 2005-12-13 Apple Computer, Inc. Method for embedding object codes in source codes
JP4044756B2 (ja) * 2001-12-11 2008-02-06 松下電器産業株式会社 プログラム変換装置、プログラム変換方法、及び当該プログラム変換装置を実現するプログラム
EP1588230A4 (de) * 2003-01-10 2008-05-07 Nexaweb Technologies Inc System und verfahren zur netzwerkgestützten datenverarbeitung
US7478408B2 (en) 2003-04-04 2009-01-13 Sesma Systems, Inc. System and method for accessing objects in a platform dependent environment from a platform independent environment
US7490332B2 (en) * 2003-04-04 2009-02-10 Sesma Systems, Inc. System and method for accessing ActiveX objects in a platform dependent environment from objects in a platform independent environment
US7707566B2 (en) * 2003-06-26 2010-04-27 Microsoft Corporation Software development infrastructure
US7559050B2 (en) * 2003-06-30 2009-07-07 Microsoft Corporation Generating software development tools via target architecture specification
US7086041B2 (en) * 2003-06-27 2006-08-01 Microsoft Corporation Extensible type system for representing and checking consistency of program components during the process of compilation
US7685581B2 (en) * 2003-06-27 2010-03-23 Microsoft Corporation Type system for representing and checking consistency of heterogeneous program components during the process of compilation
US7788652B2 (en) * 2003-06-27 2010-08-31 Microsoft Corporation Representing type information in a compiler and programming tools framework
US7617531B1 (en) * 2004-02-18 2009-11-10 Citrix Systems, Inc. Inferencing data types of message components
KR100763177B1 (ko) * 2005-04-21 2007-10-04 삼성전자주식회사 자바 가상 머신의 명령어 수행 방법 및 그 장치
DE602006014192D1 (de) 2005-12-02 2010-06-17 Citrix Systems Inc Uthentifizierungsbescheinigungen von einem proxy-server für eine virtualisierte berechnungsumgebung zum zugriff auf eine remote-ressource
US8095917B2 (en) * 2007-06-04 2012-01-10 Microsoft Corporation Debugger for virtual intermediate language operations
KR100964582B1 (ko) * 2008-08-20 2010-06-21 주식회사 컴퍼니원헌드레드 스크립트 언어의 실행속도 향상 시스템
JP7622483B2 (ja) * 2021-03-11 2025-01-28 オムロン株式会社 開発支援装置、開発支援方法および開発支援プログラム
US11809839B2 (en) 2022-01-18 2023-11-07 Robert Lyden Computer language and code for application development and electronic and optical communication

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0540631A (ja) * 1991-08-06 1993-02-19 Fuji Xerox Co Ltd 型推論装置
JPH05143356A (ja) * 1991-11-19 1993-06-11 Oki Electric Ind Co Ltd コンパイラ装置
EP1416374A3 (de) 1993-05-27 2004-09-01 Matsushita Electric Industrial Co., Ltd. Programmumsetzungseinheit und verbesserter Prozessor für Adressierung
US5842017A (en) * 1996-01-29 1998-11-24 Digital Equipment Corporation Method and apparatus for forming a translation unit
US5930509A (en) * 1996-01-29 1999-07-27 Digital Equipment Corporation Method and apparatus for performing binary translation
US6021275A (en) * 1996-08-05 2000-02-01 General Magic, Inc. Object code structure and method for translation of architecture independent program implementations
US6317872B1 (en) * 1997-07-11 2001-11-13 Rockwell Collins, Inc. Real time processor optimized for executing JAVA programs

Also Published As

Publication number Publication date
EP1192536B1 (de) 2003-04-23
EP1192536A2 (de) 2002-04-03
DE60002327T2 (de) 2004-02-12
WO2000075777A2 (en) 2000-12-14
EP1296236A2 (de) 2003-03-26
JP2003501742A (ja) 2003-01-14
AU5165100A (en) 2000-12-28
EP1296236A3 (de) 2006-01-25
DE60002327D1 (de) 2003-05-28
WO2000075777A3 (en) 2001-05-03
US6484312B1 (en) 2002-11-19
DK1192536T3 (da) 2003-06-02

Similar Documents

Publication Publication Date Title
ATE238586T1 (de) Ableitung von operandtypen innerhalb einer zwischensprache
BR9914552A (pt) Análise de impacto de um modelo
ATE268921T1 (de) Xml-roboter
WO2002025425A3 (en) Mutability analysis in java
WO2001061435A3 (en) System and method for referencing object instances and invoking methods on those object instances from within a speech recognition grammar
DE69916962D1 (de) Datenverarbeitungssystem mit bedingter Ausführung von erweiterten Verbundbefehlen
WO2002077822A3 (en) Dynamic software code instrumentation method and system
WO2004102303A3 (en) Compiling intermediate language bytecodes into java bytecodes
WO2000041075A3 (en) Generating compiled programs for interpretive runtime environments
DE60222929D1 (de) Bereitstellen einer benutzereingabeschnittstelle vor der einleitung eines betriebssystems
WO2005052760A3 (en) System for optimizing application start-up
TW200508973A (en) An extensible type system for representing and checking consistency of program components during the process of compilation
EP0672283A1 (de) Sprachabhängiges textvergleichssystem.
ATE343172T1 (de) Tokenbasierte verknüpfung
FI20010644A7 (fi) Merkkisekvenssin kielen määrittäminen
EP1486870A3 (de) System und Methode zur Anwendung von markierten Datentypen in einer dynamischen Laufzeitumgebung
EP1065588A3 (de) Mechanismus zur automatischen Synchronisierung von Skript-Variablen
MY131818A (en) Data processing using multiple instruction sets.
MXPA03004606A (es) Algoritmo de verificacion de lenguaje intermedio de paso individual.
ATE542577T1 (de) Ansteuerung von mehreren vorrichtungen
DE60002577D1 (de) Variablen unbestimmter grösse in einer zwischensprache
WO2003032152A3 (en) Device running a user interface application
WO1998057258A3 (en) Object oriented operating system
WO2004079511A3 (en) Securely enabling native code execution on a java enabled subscriber device
DE3484512D1 (de) Gleitkomma-zustandskode-erzeugung.

Legal Events

Date Code Title Description
RER Ceased as to paragraph 5 lit. 3 law introducing patent treaties