CN100351783C - 语言子集证实 - Google Patents

语言子集证实 Download PDF

Info

Publication number
CN100351783C
CN100351783C CNB008181969A CN00818196A CN100351783C CN 100351783 C CN100351783 C CN 100351783C CN B008181969 A CNB008181969 A CN B008181969A CN 00818196 A CN00818196 A CN 00818196A CN 100351783 C CN100351783 C CN 100351783C
Authority
CN
China
Prior art keywords
computer language
error
class
indicating
package
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.)
Expired - Lifetime
Application number
CNB008181969A
Other languages
English (en)
Chinese (zh)
Other versions
CN1678989A (zh
Inventor
陈志群
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Sun Microsystems Inc
Original Assignee
Sun Microsystems Inc
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 Sun Microsystems Inc filed Critical Sun Microsystems Inc
Publication of CN1678989A publication Critical patent/CN1678989A/zh
Application granted granted Critical
Publication of CN100351783C publication Critical patent/CN100351783C/zh
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/362—Debugging of software
    • G06F11/3624—Debugging of software by performing operations on the source code, e.g. via a compiler
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Devices For Executing Special Programs (AREA)
  • Stored Programmes (AREA)
  • Debugging And Monitoring (AREA)
CNB008181969A 1999-11-12 2000-11-10 语言子集证实 Expired - Lifetime CN100351783C (zh)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US09/439,645 US6581206B2 (en) 1999-11-12 1999-11-12 Computer program language subset validation
US09/439,645 1999-11-12

Publications (2)

Publication Number Publication Date
CN1678989A CN1678989A (zh) 2005-10-05
CN100351783C true CN100351783C (zh) 2007-11-28

Family

ID=23745548

Family Applications (1)

Application Number Title Priority Date Filing Date
CNB008181969A Expired - Lifetime CN100351783C (zh) 1999-11-12 2000-11-10 语言子集证实

Country Status (7)

Country Link
US (1) US6581206B2 (OSRAM)
EP (1) EP1236080A4 (OSRAM)
JP (1) JP4913302B2 (OSRAM)
CN (1) CN100351783C (OSRAM)
AU (1) AU775261B2 (OSRAM)
CA (1) CA2391313A1 (OSRAM)
WO (1) WO2001040900A2 (OSRAM)

Families Citing this family (34)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2790844B1 (fr) * 1999-03-09 2001-05-25 Gemplus Card Int Procede et dispositif de surveillance du deroulement d'un programme, dispositif programme permettant la surveillance de son programme
US6845498B1 (en) * 1999-05-11 2005-01-18 Microsoft Corporation Method and apparatus for sharing data files among run time environment applets in an integrated circuit card
US6938244B1 (en) 1999-05-11 2005-08-30 Microsoft Corp. Interlaced protocol for smart card application development
FR2795835B1 (fr) * 1999-07-01 2001-10-05 Bull Cp8 Procede de verification de transformateurs de codes pour un systeme embarque, notamment sur une carte a puce
US7506175B2 (en) * 2000-11-06 2009-03-17 International Business Machines Corporation File language verification
US20020099953A1 (en) * 2000-11-30 2002-07-25 International Business Machines Corporation Debugging of chipcards
US7181724B2 (en) * 2001-06-20 2007-02-20 Sun Microsystems, Inc. Representation of Java® data types in virtual machines
US6948156B2 (en) * 2001-10-24 2005-09-20 Sun Microsystems, Inc. Type checking in java computing environments
US7073168B2 (en) * 2001-12-06 2006-07-04 Microsoft Corporation Customizing binary content files
US20050177816A1 (en) * 2002-03-08 2005-08-11 National Instruments Corporation Automatic generation of graphical program code for a graphical program based on the target platform of the graphical program
US7028222B2 (en) * 2002-06-21 2006-04-11 National Instruments Corporation Target device-specific syntax and semantic analysis for a graphical program
EP1639462B1 (en) 2003-06-27 2022-05-11 Oracle America, Inc. Hybrid system implementing distinct and co-existing application execution environments and methods for implementing the same
US7263690B1 (en) * 2003-11-14 2007-08-28 Sun Microsystems, Inc. Mechanism for safe byte code in a tracing framework
US8302111B2 (en) 2003-11-24 2012-10-30 Time Warner Cable Inc. Methods and apparatus for hardware registration in a network device
US7266726B1 (en) 2003-11-24 2007-09-04 Time Warner Cable Inc. Methods and apparatus for event logging in an information network
US9213538B1 (en) 2004-02-06 2015-12-15 Time Warner Cable Enterprises Llc Methods and apparatus for display element management in an information network
US8078669B2 (en) 2004-02-18 2011-12-13 Time Warner Cable Inc. Media extension apparatus and methods for use in an information network
JP4215037B2 (ja) 2004-12-27 2009-01-28 セイコーエプソン株式会社 リソース管理システム、プリンタ、プリンタ用ネットワークカードおよびリソース管理プログラム、並びにリソース管理方法
JP2006244451A (ja) * 2005-02-01 2006-09-14 Seiko Epson Corp リソース管理システムおよびリソース管理プログラム、並びにリソース管理方法
JP4311386B2 (ja) 2005-02-14 2009-08-12 セイコーエプソン株式会社 ファイル操作制限システムおよびファイル操作制限プログラム、ファイル操作制限方法、電子機器並びに印刷装置
JP4232767B2 (ja) * 2005-03-14 2009-03-04 セイコーエプソン株式会社 ソフトウェア認証システムおよびソフトウェア認証プログラム、並びにソフトウェア認証方法
US20080127128A1 (en) * 2006-10-30 2008-05-29 Daniel Mateescu Type Validation for Applications Incorporating A Weakly-Typed Language
US8370818B2 (en) * 2006-12-02 2013-02-05 Time Warner Cable Inc. Methods and apparatus for analyzing software interface usage
US8539443B2 (en) * 2008-05-13 2013-09-17 National Instruments Corporation Edit time analyzer in a loosely typed textual language
US8479156B2 (en) * 2009-06-18 2013-07-02 National Instruments Corporation Providing target specific information for textual code at edit time
US9170825B2 (en) * 2011-04-21 2015-10-27 Oracle International Corporation Interface method resolution for virtual extension methods
US9710234B2 (en) * 2013-12-26 2017-07-18 International Business Machines Corporation Generating software code
CN104146793B (zh) * 2014-07-28 2015-12-30 浙江大学 一种具有生物活性器官的制造方法
US11716558B2 (en) 2018-04-16 2023-08-01 Charter Communications Operating, Llc Apparatus and methods for integrated high-capacity data and wireless network services
US11044597B2 (en) 2018-08-07 2021-06-22 Charter Communications Operating, Llc Apparatus and methods for registration and operation in wireless networks
WO2020077346A1 (en) 2018-10-12 2020-04-16 Charter Communications Operating, Llc Apparatus and methods for cell identification in wireless networks
US10980025B2 (en) 2019-01-31 2021-04-13 Charter Communications Operating, Llc Methods and apparatus for frequency transition management in a quasi-licensed wireless system
US11129171B2 (en) 2019-02-27 2021-09-21 Charter Communications Operating, Llc Methods and apparatus for wireless signal maximization and management in a quasi-licensed wireless system
US11026205B2 (en) 2019-10-23 2021-06-01 Charter Communications Operating, Llc Methods and apparatus for device registration in a quasi-licensed wireless system

Family Cites Families (15)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5838965A (en) 1994-11-10 1998-11-17 Cadis, Inc. Object oriented database management system
US5748964A (en) * 1994-12-20 1998-05-05 Sun Microsystems, Inc. Bytecode program interpreter apparatus and method with pre-verification of data type restrictions
US5668999A (en) * 1994-12-20 1997-09-16 Sun Microsystems, Inc. System and method for pre-verification of stack usage in bytecode program loops
US6067575A (en) 1995-12-08 2000-05-23 Sun Microsystems, Inc. System and method for generating trusted, architecture specific, compiled versions of architecture neutral programs
BR9713267A (pt) * 1996-10-25 2004-06-15 Schlumberger Systems & Service Cartão de circuito integrado para uso com um terminal, processo para uso com o mesmo, microcontrolador e processo para sua programação
US6575372B1 (en) * 1997-02-21 2003-06-10 Mondex International Limited Secure multi-application IC card system having selective loading and deleting capability
US6157966A (en) * 1997-06-30 2000-12-05 Schlumberger Malco, Inc. System and method for an ISO7816 complaint smart card to become master over a terminal
JPH1173328A (ja) * 1997-08-29 1999-03-16 Nec Corp コーディング規約チェックシステム
US6289502B1 (en) * 1997-09-26 2001-09-11 Massachusetts Institute Of Technology Model-based software design and validation
US6128774A (en) * 1997-10-28 2000-10-03 Necula; George C. Safe to execute verification of software
PL193009B1 (pl) * 1998-03-23 2007-01-31 Ibm Sposób wprowadzania nowego kodu do systemu przetwarzania Java z modyfikowaną pulą stałą
US6385729B1 (en) * 1998-05-26 2002-05-07 Sun Microsystems, Inc. Secure token device access to services provided by an internet service provider (ISP)
US6195774B1 (en) * 1998-08-13 2001-02-27 Xilinx, Inc. Boundary-scan method using object-oriented programming language
US6195700B1 (en) * 1998-11-20 2001-02-27 International Business Machines Corporation Application protocol data unit management facility
US6402028B1 (en) * 1999-04-06 2002-06-11 Visa International Service Association Integrated production of smart cards

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
Compilers Principles,Tools and Techniques. Aha et al,1.388,Addison.Wesley Publishing Company. 1985 *
JAVA. Tim Ritchey,326.346,New Riders Publishing. 1995 *
The JAVA Virtual Machine Specification. Tim Lindholm et al,1.155,Addison.Wesley Publishing Company. 1996 *

Also Published As

Publication number Publication date
EP1236080A4 (en) 2007-10-03
WO2001040900A3 (en) 2002-01-03
US6581206B2 (en) 2003-06-17
US20020170033A1 (en) 2002-11-14
JP4913302B2 (ja) 2012-04-11
JP2003515857A (ja) 2003-05-07
WO2001040900A9 (en) 2002-08-15
CN1678989A (zh) 2005-10-05
WO2001040900A2 (en) 2001-06-07
EP1236080A2 (en) 2002-09-04
AU775261B2 (en) 2004-07-29
CA2391313A1 (en) 2001-06-07
AU4505801A (en) 2001-06-12

Similar Documents

Publication Publication Date Title
CN100351783C (zh) 语言子集证实
US20030135792A1 (en) Language subset validation
US12008386B2 (en) Conservative class preloading for real time java execution
CN1224903C (zh) 逐模块验证
CN107041158B (zh) 用于模块化反射的限制性访问控制
CN108139896B (zh) 扩展虚拟机指令集体系架构
US7231635B2 (en) Remote incremental program verification using API definitions
CN107924326B (zh) 对经更新的类型的迁移方法进行覆盖
CN1222875C (zh) 用于资源受限装置的面向对象的指令集
CN1203404C (zh) 具有逐模块验证的完全迟缓链接
US20050138649A1 (en) Populating resource-constrained devices with content verified using API definitions
CN1346465A (zh) 基于标记的链接
CN1821964A (zh) 将本机函数内嵌到编译的Java代码中的方法和系统
CN1383505A (zh) 一种归类数据语言的安全方法,特别是在嵌入式系统中及实现该方法的嵌入式系统
JP2016197399A (ja) オペレーティング・システム・リソースに対する機械語のネイティブイメージのアクセス制御のシステム及び方法
CN1855053A (zh) 用于执行java虚拟机的指令的方法和设备
CN112765676B (zh) 一种智能合约执行方法、智能合约执行装置及节点设备
US11347487B2 (en) Confining reflective access based on module boundaries
CN100343819C (zh) 一种遍历和访问被测应用程序中对象的方法
CN1224902C (zh) 用于最低上界类型的符号计算的数据流算法
Gal et al. Static closure of Java dynamic class loading
HK1057115A1 (en) Method of verifying the authenticity of dynamically connectable executable images
HK1057115B (en) Method of verifying the authenticity of dynamically connectable executable images

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant
CX01 Expiry of patent term
CX01 Expiry of patent term

Granted publication date: 20071128