WO2002046923A3 - Method of developing a software program for a target platform - Google Patents

Method of developing a software program for a target platform Download PDF

Info

Publication number
WO2002046923A3
WO2002046923A3 PCT/GB2001/005355 GB0105355W WO0246923A3 WO 2002046923 A3 WO2002046923 A3 WO 2002046923A3 GB 0105355 W GB0105355 W GB 0105355W WO 0246923 A3 WO0246923 A3 WO 0246923A3
Authority
WO
WIPO (PCT)
Prior art keywords
native code
programmer
allowing
program
native
Prior art date
Application number
PCT/GB2001/005355
Other languages
French (fr)
Other versions
WO2002046923A2 (en
Inventor
Martin Sean Kelly
Original Assignee
Smart Card Solutions Ltd
Martin Sean Kelly
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 Smart Card Solutions Ltd, Martin Sean Kelly filed Critical Smart Card Solutions Ltd
Publication of WO2002046923A2 publication Critical patent/WO2002046923A2/en
Publication of WO2002046923A3 publication Critical patent/WO2002046923A3/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/76—Adapting program code to run in a different environment; Porting
    • 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/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45504—Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
    • G06F9/45508—Runtime interpretation or emulation, e g. emulator loops, bytecode interpretation

Abstract

The present invention enables an incremental approach to optimisation by allowing a programmer to incrementally re-define functional definitions into native code; as no modifications or code changes are performed to the reference implementation, the environment remains fully functional, enabling the programmer to concentrate on optimising a function at a time by writing into native code, with high visibility given to the effects of the native coding. As the functionality remains the same, the profile of the program remains unchanged. allowing native code to override higher level representations in this way enables target specific implementations to be generated rapidly and more accurately; key advantages where a fast port of a program is needed in order to utilise a fast approaching mask manufacturing window.
PCT/GB2001/005355 2000-12-07 2001-12-04 Method of developing a software program for a target platform WO2002046923A2 (en)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
GB0029796.0 2000-12-07
GB0029796A GB0029796D0 (en) 2000-12-07 2000-12-07 Method of developing a software program for a target platform

Publications (2)

Publication Number Publication Date
WO2002046923A2 WO2002046923A2 (en) 2002-06-13
WO2002046923A3 true WO2002046923A3 (en) 2003-11-20

Family

ID=9904582

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/GB2001/005355 WO2002046923A2 (en) 2000-12-07 2001-12-04 Method of developing a software program for a target platform

Country Status (2)

Country Link
GB (2) GB0029796D0 (en)
WO (1) WO2002046923A2 (en)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108769417A (en) * 2018-06-01 2018-11-06 深圳市富途网络科技有限公司 A kind of smart machine client operational mode automatic switching method
CN115004667B (en) * 2020-04-24 2024-04-02 深圳市欢太科技有限公司 Information pushing method, device, electronic equipment and computer readable medium

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4626988A (en) * 1983-03-07 1986-12-02 International Business Machines Corporation Instruction fetch look-aside buffer with loop mode control

Non-Patent Citations (8)

* Cited by examiner, † Cited by third party
Title
AMERICAN NATIONAL STANDARDS INSTITUTE, INC.: "Programming Languages - Forth", AMERICAN NATIONAL STANDARD FOR INFORMATION SYSTEMS, 1994, XP002242205, Retrieved from the Internet <URL:www.quartus.net/files/PalmOS/Forth/Docs/dpans94.pdf> [retrieved on 20030506] *
BELL J R: "THREADED CODE", COMMUNICATIONS OF THE ASSOCIATION FOR COMPUTING MACHINERY, ASSOCIATION FOR COMPUTING MACHINERY. NEW YORK, US, vol. 16, no. 6, 1973, pages 370 - 372, XP000996587, ISSN: 0001-0782 *
KLINT P: "INTERPRETATION TECHNIQUES", SOFTWARE PRACTICE AND EXPERIENCE, JOHN WILEY & SONS, LTD, GB, vol. 11, no. 9, September 1981 (1981-09-01), pages 963 - 973, XP000874884, ISSN: 0038-0644 *
M.A. ERTL: "A New Approach to Forth Native Code Generation", EUROFORTH '92 PROCEEDINGS, 1992, pages 73 - 78, XP002242207, Retrieved from the Internet <URL:citeseer.nj.nec.com/ertl92new.html> [retrieved on 20030521] *
P.J. KOOPMAN, JR.: "A Brief Introduction to Forth", THE SECOND ACM SIGPLAN CONFERENCE ON HISTORY OF PROGRAMMING LANGUAGES, 1993, Cambridge, US, pages 357 - 358, XP002242206, Retrieved from the Internet <URL:doi.acm.org/10.1145/154766.155395> [retrieved on 20030521] *
PIUMARTA I ET AL: "OPTIMIZING DIRECT THREADED CODE BY SELECTIVE INLINING", ACM SIGPLAN NOTICES, ASSOCIATION FOR COMPUTING MACHINERY, NEW YORK, US, VOL. 33, NR. 5, PAGE(S) 291-300, ISSN: 0362-1340, XP000766278 *
RIBLE J: "THREADED CODE ABSTRACTIONS", ROCHESTER FORTH CONFERENCE. PORTABLE SOFTWARE, XX, XX, 25 June 1997 (1997-06-25), pages 68 - 69, XP008002358 *
ROBERTSON A M: "INTERACTIVE REMOTE TARGET COMPILATION AND THE PIC16CXX", FORTH DIMENSIONS, FORTH INTEREST GROUP, OAKLAND, CA, US, vol. 16, no. 3, 1 September 1994 (1994-09-01), pages 18 - 20, XP000573065, ISSN: 0884-0822 *

Also Published As

Publication number Publication date
GB2372853A (en) 2002-09-04
GB0129021D0 (en) 2002-01-23
GB0029796D0 (en) 2001-01-17
WO2002046923A2 (en) 2002-06-13

Similar Documents

Publication Publication Date Title
CY1112348T1 (en) METHOD OF EXTRACTION OF RESIDENTIAL SOLVENT AND SMALL PARTS PRODUCED BY THIS METHOD
DE60042824D1 (en) THE SEQUENCE IN A ADVANCED MICROPROCESSOR
EP1001338A3 (en) Method and apparatus for round trip software engineering
EP2019503A3 (en) A data communication system and rate matching method
WO2006041554A3 (en) Document processing and management approach to editing a document in a mark up language environment using undoable commands
CA2279119A1 (en) Heuristic-based conditional data indexing
AU2002364184A1 (en) Method of ascertaining control parameters for a control system
WO2005045710A3 (en) Simulation system and computer-implemented method for simulation and verifying a control system
WO2003036469A3 (en) A template-based method and system for reverse engineering
WO2001031438A3 (en) Method for platform specific efficiency enhancement of java programs and software product therefor
WO2002101544A3 (en) Automatic development of software codes
CN105718765A (en) Method for achieving code obfuscation through finite automaton
WO2002046923A3 (en) Method of developing a software program for a target platform
AU2003294782A1 (en) Method for providing natural therapeutic agents with high therapeutic index
DE60206269D1 (en) EDITING AUDIO SIGNALS
ATE239937T1 (en) COMPONENT BASED SOURCE CODE GENERATOR METHOD
BR9812614A (en) Decoder circuit for decoding a frequency-encoded signal in at least two data states, process control instrument, and, process for decoding an encoded signal
EP1742148A3 (en) Program replacing method
ATE239940T1 (en) VARIABLES OF INDEFINITE SIZE IN AN INTERMEDIATE LANGUAGE
Wu et al. Efficient probabilistic structural analysis using an advanced mean value method
Cramer et al. Towards a formally based component description language--a foundation for reuse.
EP1351170A3 (en) Design method and design system for vehicular lamp, program to execute designing of vehicular lamp and record medium recording the program
Abi-Antoun et al. Modeling and implementing software architecture with acme and archjava
WO2003014144A3 (en) Molecule
ATE316262T1 (en) AIRCRAFT CONTROL SYSTEM AND METHOD

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A2

Designated state(s): JP US

AL Designated countries for regional patents

Kind code of ref document: A2

Designated state(s): AT BE CH CY DE DK ES FI FR GB GR IE IT LU MC NL PT SE TR

121 Ep: the epo has been informed by wipo that ep was designated in this application
DFPE Request for preliminary examination filed prior to expiration of 19th month from priority date (pct application filed before 20040101)
122 Ep: pct application non-entry in european phase
NENP Non-entry into the national phase

Ref country code: JP

WWW Wipo information: withdrawn in national office

Country of ref document: JP