AU775261B2 - Language subset validation - Google Patents

Language subset validation Download PDF

Info

Publication number
AU775261B2
AU775261B2 AU45058/01A AU4505801A AU775261B2 AU 775261 B2 AU775261 B2 AU 775261B2 AU 45058/01 A AU45058/01 A AU 45058/01A AU 4505801 A AU4505801 A AU 4505801A AU 775261 B2 AU775261 B2 AU 775261B2
Authority
AU
Australia
Prior art keywords
computer language
indicating
program modules
error
language
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
Application number
AU45058/01A
Other languages
English (en)
Other versions
AU4505801A (en
Inventor
Zhiqun Chen
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 AU4505801A publication Critical patent/AU4505801A/en
Application granted granted Critical
Publication of AU775261B2 publication Critical patent/AU775261B2/en
Anticipated expiration legal-status Critical
Expired legal-status Critical Current

Links

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)
AU45058/01A 1999-11-12 2000-11-10 Language subset validation Expired AU775261B2 (en)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US09/439,645 US6581206B2 (en) 1999-11-12 1999-11-12 Computer program language subset validation
US09/439645 1999-11-12
PCT/US2000/042092 WO2001040900A2 (en) 1999-11-12 2000-11-10 Language subset validation

Publications (2)

Publication Number Publication Date
AU4505801A AU4505801A (en) 2001-06-12
AU775261B2 true AU775261B2 (en) 2004-07-29

Family

ID=23745548

Family Applications (1)

Application Number Title Priority Date Filing Date
AU45058/01A Expired AU775261B2 (en) 1999-11-12 2000-11-10 Language subset validation

Country Status (7)

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

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
US8104085B2 (en) 2003-06-27 2012-01-24 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
US7266726B1 (en) 2003-11-24 2007-09-04 Time Warner Cable Inc. Methods and apparatus for event logging in an information network
US8302111B2 (en) 2003-11-24 2012-10-30 Time Warner Cable Inc. Methods and apparatus for hardware registration in a network device
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
EP3864917A4 (en) 2018-10-12 2022-07-06 Charter Communications Operating, LLC APPARATUS AND METHODS FOR IDENTIFYING CELLS 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
ES2184066T3 (es) * 1996-10-25 2003-04-01 Schlumberger Systems & Service Uso de un lenguaje de programacion de alto nivel con microcontrolador.
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
HUP0101368A3 (en) * 1998-03-23 2004-04-28 Ibm Java runtime system with modified constant pool
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
AHO ET AL.'COMPU. PRINCIPLES..'CHAPTERS 1-26,ISBN:0201100886 *
'THE JAVA VIRTUAL MACHINE SPECI'T.LINDHOLM,PUB.SEPT.'96 P1- *
TIM RITCHEY'JAVA'CHAPTER 14, SEPT.22,1995 K1987089 *

Also Published As

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

Similar Documents

Publication Publication Date Title
AU775261B2 (en) Language subset validation
US20030135792A1 (en) Language subset validation
US6880155B2 (en) Token-based linking
US6651186B1 (en) Remote incremental program verification using API definitions
US6986132B1 (en) Remote incremental program binary compatibility verification using API definitions
KR100713740B1 (ko) 자원-제약 장치를 위한 객체지향 명령어 세트
US6618769B1 (en) Module-by-module verification
US6883163B1 (en) Populating resource-constrained devices with content verified using API definitions
US6704927B1 (en) Static binding of dynamically-dispatched calls in the presence of dynamic linking and loading
US6981245B1 (en) Populating binary compatible resource-constrained devices with content verified using API definitions
US20030233491A1 (en) Fully lazy linking with module-by-module verification
WO2002025428A2 (en) Method for remote incremental program verification and installation on resource-constrained devices
AU2001289078B2 (en) Method for remote incremental program verification and installation on resource-constrained devices
AU2001290842B2 (en) Remote incremental program binary compatibility verification using API definitions
EP1417573A2 (en) Method for remote incremental program verification and installation on resource-constrained devices
AU2001289078A1 (en) Method for remote incremental program verification and installation on resource-constrained devices
AU2001290842A1 (en) Remote incremental program binary compatibility verification using API definitions

Legal Events

Date Code Title Description
MK14 Patent ceased section 143(a) (annual fees not paid) or expired