JP2003223330A - プログラミング・ステートメントの二重評価 - Google Patents

プログラミング・ステートメントの二重評価

Info

Publication number
JP2003223330A
JP2003223330A JP2003008009A JP2003008009A JP2003223330A JP 2003223330 A JP2003223330 A JP 2003223330A JP 2003008009 A JP2003008009 A JP 2003008009A JP 2003008009 A JP2003008009 A JP 2003008009A JP 2003223330 A JP2003223330 A JP 2003223330A
Authority
JP
Japan
Prior art keywords
evaluation
statement
equation
sub
statements
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.)
Pending
Application number
JP2003008009A
Other languages
English (en)
Japanese (ja)
Inventor
Jean-Yves Vion-Dury
ヴィオン−デュリー ジーン−イバス
Emmanuel Pietriga
ピエトリガ エマニュエル
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.)
Xerox Corp
Original Assignee
Xerox 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 Xerox Corp filed Critical Xerox Corp
Publication of JP2003223330A publication Critical patent/JP2003223330A/ja
Pending legal-status Critical Current

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
    • G06F8/31—Programming languages or programming paradigms
    • 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/44—Encoding
    • G06F8/447—Target code generation
    • 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

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computing Systems (AREA)
  • Stored Programmes (AREA)
  • Devices For Executing Special Programs (AREA)
JP2003008009A 2002-01-16 2003-01-16 プログラミング・ステートメントの二重評価 Pending JP2003223330A (ja)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US10/046,191 2002-01-16
US10/046,191 US7240331B2 (en) 2002-01-16 2002-01-16 Bi-valuation of programming statements

Publications (1)

Publication Number Publication Date
JP2003223330A true JP2003223330A (ja) 2003-08-08

Family

ID=21942079

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2003008009A Pending JP2003223330A (ja) 2002-01-16 2003-01-16 プログラミング・ステートメントの二重評価

Country Status (3)

Country Link
US (1) US7240331B2 (US07240331-20070703-P00001.png)
EP (1) EP1329806A3 (US07240331-20070703-P00001.png)
JP (1) JP2003223330A (US07240331-20070703-P00001.png)

Families Citing this family (32)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20030093471A1 (en) * 2001-10-18 2003-05-15 Mitch Upton System and method using asynchronous messaging for application integration
US7516447B2 (en) 2002-02-22 2009-04-07 Bea Systems, Inc. Methods and apparatus for building, customizing and using software abstractions of external entities
US20040078440A1 (en) * 2002-05-01 2004-04-22 Tim Potter High availability event topic
US8135772B2 (en) * 2002-05-01 2012-03-13 Oracle International Corporation Single servlets for B2B message routing
US7257645B2 (en) 2002-05-01 2007-08-14 Bea Systems, Inc. System and method for storing large messages
US7155438B2 (en) 2002-05-01 2006-12-26 Bea Systems, Inc. High availability for event forwarding
US7484224B2 (en) * 2002-05-02 2009-01-27 Bae Systems, Inc. Adapter deployment without recycle
US7676538B2 (en) 2002-05-02 2010-03-09 Bea Systems, Inc. Systems and methods for application view transactions
US7222148B2 (en) 2002-05-02 2007-05-22 Bea Systems, Inc. System and method for providing highly available processing of asynchronous service requests
US20040167915A1 (en) * 2003-02-25 2004-08-26 Bea Systems, Inc. Systems and methods for declaratively transforming data objects between disparate representations
US7584474B2 (en) * 2003-02-25 2009-09-01 Bea Systems, Inc. Systems and methods for transaction chaining
US7293038B2 (en) 2003-02-25 2007-11-06 Bea Systems, Inc. Systems and methods for client-side filtering of subscribed messages
US7752599B2 (en) * 2003-02-25 2010-07-06 Bea Systems Inc. Systems and methods extending an existing programming language with constructs
US7774697B2 (en) 2003-02-25 2010-08-10 Bea Systems, Inc. System and method for structuring distributed applications
US20050022164A1 (en) * 2003-02-25 2005-01-27 Bea Systems, Inc. Systems and methods utilizing a workflow definition language
US8032860B2 (en) * 2003-02-26 2011-10-04 Oracle International Corporation Methods for type-independent source code editing
US7707564B2 (en) 2003-02-26 2010-04-27 Bea Systems, Inc. Systems and methods for creating network-based software services using source code annotations
US7650276B2 (en) 2003-02-26 2010-01-19 Bea Systems, Inc. System and method for dynamic data binding in distributed applications
US20040230955A1 (en) * 2003-02-26 2004-11-18 Bea Systems, Inc. System for multi-language debugging
US7539985B2 (en) * 2003-02-26 2009-05-26 Bea Systems, Inc. Systems and methods for dynamic component versioning
US7444620B2 (en) * 2003-02-28 2008-10-28 Bea Systems, Inc. Systems and methods for a common runtime container framework
US7650592B2 (en) 2003-03-01 2010-01-19 Bea Systems, Inc. Systems and methods for multi-view debugging environment
US7966609B2 (en) 2006-03-30 2011-06-21 Intel Corporation Optimal floating-point expression translation method based on pattern matching
US20080127072A1 (en) * 2006-09-07 2008-05-29 Sun Microsystems, Inc. Method and system for extending evaluation for intermediate representation interpretation
US20090292941A1 (en) * 2008-05-22 2009-11-26 Nec Laboratories America, Inc. Proof-guided error diagnosis (ped) by triangulation of program error causes
US7921195B2 (en) * 2008-06-09 2011-04-05 International Business Machines Corporation Optimizing service processing based on business information, operational intelligence, and self-learning
US9026993B2 (en) * 2008-06-27 2015-05-05 Microsoft Technology Licensing, Llc Immutable types in imperitive language
US8762942B2 (en) * 2008-10-03 2014-06-24 Microsoft Corporation Bidirectional type checking for declarative data scripting language
US8302076B2 (en) 2008-11-12 2012-10-30 Landmark Graphics Corporation Systems and methods for improved parallel ILU factorization in distributed sparse linear systems
US8799877B2 (en) * 2009-03-27 2014-08-05 Optumsoft, Inc. Interpreter-based program language translator using embedded interpreter types and variables
US8495329B2 (en) * 2009-04-13 2013-07-23 Microsoft Corporation Type system support for memory isolation permissions
US9569282B2 (en) 2009-04-24 2017-02-14 Microsoft Technology Licensing, Llc Concurrent mutation of isolated object graphs

Family Cites Families (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO1991003791A1 (en) * 1989-09-01 1991-03-21 Amdahl Corporation Operating system and data base
US5276854A (en) * 1990-08-17 1994-01-04 Cray Research, Inc. Method of multiple CPU logic simulation
US5659753A (en) * 1991-02-27 1997-08-19 Digital Equipment Corporation Interface for symbol table construction in a multilanguage optimizing compiler
IL100989A (en) * 1991-02-27 1995-10-31 Digital Equipment Corp Analysis of inductive expressions in multilingual mehadoptimization
IL100990A (en) * 1991-02-27 1995-10-31 Digital Equipment Corp Multilingual optimization compiler that uses Gladi in the production of a multi-pass cipher
IL100986A (en) * 1991-02-27 1997-01-10 Digital Equipment Corp Method for compiling code
US5412807A (en) * 1992-08-20 1995-05-02 Microsoft Corporation System and method for text searching using an n-ary search tree
RU2115158C1 (ru) * 1995-10-24 1998-07-10 Владимир Олегович Сафонов Способ и устройство для достоверной оценки семантических признаков в синтаксическом анализе при проходе вперед слева направо
US6463581B1 (en) * 1996-10-03 2002-10-08 International Business Machines Corporation Method for determining reachable methods in object-oriented applications that use class libraries
US6343362B1 (en) * 1998-09-01 2002-01-29 Networks Associates, Inc. System and method providing custom attack simulation language for testing networks
US6470349B1 (en) * 1999-03-11 2002-10-22 Browz, Inc. Server-side scripting language and programming tool

Also Published As

Publication number Publication date
US7240331B2 (en) 2007-07-03
US20030188297A1 (en) 2003-10-02
EP1329806A2 (en) 2003-07-23
EP1329806A3 (en) 2008-03-26

Similar Documents

Publication Publication Date Title
JP2003223330A (ja) プログラミング・ステートメントの二重評価
Okasaki Purely functional data structures
Tratt Model transformations and tool integration
US7627541B2 (en) Transformation of modular finite state transducers
Piróg et al. Typed equivalence of effect handlers and delimited control
Sestoft Programming language concepts
JP2003216441A (ja) 対称構造パターン・マッチング
Odersky Scala by example
Sozeau et al. Correct and Complete Type Checking and Certified Erasure for Coq, in Coq
Berghofer et al. Extracting a formally verified, fully executable compiler from a proof assistant
Herman A theory of typed hygienic macros
Bancila Modern C++ Programming Cookbook: Master C++ core language and standard library features, with over 100 recipes, updated to C++ 20
Gilmore Programming in Standard ML'97: A tutorial introduction
Harrison et al. Fine control of demand in Haskell
Dockins et al. Multimodal separation logic for reasoning about operational semantics
Fisher et al. Building language towers with Ziggurat
Diatchki High-level abstractions for low-level programming
Harrison The HOL light manual (1.1)
Blum Evaluating lambda terms with traversals
Sultana Higher-order proof translation
Royko The Dynamic Mapping Architecture
Zhao et al. Formalization of a Polymorphic Subtyping Algorithm
Feldman Edward W. Czeck
Voropai Hybrid ontology-oriented programming for semi-structured data processing
Taneja Improving Compiler Construction Using Formal Methods

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20060110

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20090203

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20090414

A02 Decision of refusal

Free format text: JAPANESE INTERMEDIATE CODE: A02

Effective date: 20100216