JP5542142B2 - 宣言型プログラミング言語の木ベースの有向グラフのプログラミング構造 - Google Patents

宣言型プログラミング言語の木ベースの有向グラフのプログラミング構造 Download PDF

Info

Publication number
JP5542142B2
JP5542142B2 JP2011530204A JP2011530204A JP5542142B2 JP 5542142 B2 JP5542142 B2 JP 5542142B2 JP 2011530204 A JP2011530204 A JP 2011530204A JP 2011530204 A JP2011530204 A JP 2011530204A JP 5542142 B2 JP5542142 B2 JP 5542142B2
Authority
JP
Japan
Prior art keywords
syntax
data structure
definition
type
directed graph
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 - Fee Related
Application number
JP2011530204A
Other languages
English (en)
Japanese (ja)
Other versions
JP2012504823A5 (enExample
JP2012504823A (ja
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.)
Microsoft Corp
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
Publication of JP2012504823A publication Critical patent/JP2012504823A/ja
Publication of JP2012504823A5 publication Critical patent/JP2012504823A5/ja
Application granted granted Critical
Publication of JP5542142B2 publication Critical patent/JP5542142B2/ja
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

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
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/75—Structural analysis for program understanding

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Devices For Executing Special Programs (AREA)
  • Stored Programmes (AREA)
JP2011530204A 2008-10-03 2009-09-30 宣言型プログラミング言語の木ベースの有向グラフのプログラミング構造 Expired - Fee Related JP5542142B2 (ja)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US12/244,959 2008-10-03
US12/244,959 US8296744B2 (en) 2008-10-03 2008-10-03 Tree-based directed graph programming structures for a declarative programming language
PCT/US2009/059112 WO2010039893A2 (en) 2008-10-03 2009-09-30 Tree-based directed graph programming structures for a declarative programming language

Publications (3)

Publication Number Publication Date
JP2012504823A JP2012504823A (ja) 2012-02-23
JP2012504823A5 JP2012504823A5 (enExample) 2012-11-08
JP5542142B2 true JP5542142B2 (ja) 2014-07-09

Family

ID=42074195

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2011530204A Expired - Fee Related JP5542142B2 (ja) 2008-10-03 2009-09-30 宣言型プログラミング言語の木ベースの有向グラフのプログラミング構造

Country Status (5)

Country Link
US (1) US8296744B2 (enExample)
EP (1) EP2350867B1 (enExample)
JP (1) JP5542142B2 (enExample)
CN (1) CN102171679B (enExample)
WO (1) WO2010039893A2 (enExample)

Families Citing this family (46)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7877681B2 (en) * 2002-12-05 2011-01-25 Borland Software Corporation Automatic context management for web applications with client side code execution
US8341598B2 (en) * 2008-01-18 2012-12-25 Microsoft Corporation Declartive commands using workflows
US8805887B2 (en) * 2008-10-03 2014-08-12 Microsoft Corporation Packaging system to facilitate declarative model-driven development
US8499290B2 (en) * 2010-06-15 2013-07-30 Microsoft Corporation Creating text functions from a spreadsheet
US8549464B2 (en) 2010-11-22 2013-10-01 Microsoft Corporation Reusing expression graphs in computer programming languages
US9002993B2 (en) * 2011-03-28 2015-04-07 Greenwave Systems Pte. Ltd. Dynamic configuration of a client-server relationship
US9165029B2 (en) * 2011-04-12 2015-10-20 Microsoft Technology Licensing, Llc Navigating performance data from different subsystems
US20120266143A1 (en) * 2011-04-12 2012-10-18 Microsoft Corporation Resource cost correlation across different subsystems
US8893968B2 (en) 2011-06-07 2014-11-25 Greenwave Systems Pte. Ltd. Network inclusion of a networked light bulb
US8874553B2 (en) 2012-08-30 2014-10-28 Wal-Mart Stores, Inc. Establishing “is a” relationships for a taxonomy
US9092547B2 (en) 2012-09-19 2015-07-28 Wal-Mart Stores, Inc. Transforming a graph to a tree in accordance with analyst guidance
CN104956322B (zh) * 2013-03-05 2019-03-01 英特尔公司 分析向量化的潜在效益
US9639335B2 (en) 2013-03-13 2017-05-02 Microsoft Technology Licensing, Llc. Contextual typing
US9563412B2 (en) 2013-03-13 2017-02-07 Microsoft Technology Licensing, Llc. Statically extensible types
US9696974B2 (en) * 2013-03-13 2017-07-04 Microsoft Technology Licensing, Llc. Graph-based model for type systems
US9652207B2 (en) 2013-03-13 2017-05-16 Microsoft Technology Licensing, Llc. Static type checking across module universes
US8990777B2 (en) 2013-05-21 2015-03-24 Concurix Corporation Interactive graph for navigating and monitoring execution of application code
WO2014189553A1 (en) * 2013-05-21 2014-11-27 Concurix Corporation Graph for navigating application code
US20140189650A1 (en) * 2013-05-21 2014-07-03 Concurix Corporation Setting Breakpoints Using an Interactive Graph Representing an Application
US9734040B2 (en) * 2013-05-21 2017-08-15 Microsoft Technology Licensing, Llc Animated highlights in a graph representing an application
US9760346B2 (en) * 2013-05-31 2017-09-12 Microsoft Technology Licensing, Llc Deeply parallel source code compilation
US9280841B2 (en) 2013-07-24 2016-03-08 Microsoft Technology Licensing, Llc Event chain visualization of performance data
US9292415B2 (en) 2013-09-04 2016-03-22 Microsoft Technology Licensing, Llc Module specific tracing in a shared module environment
EP3069267A4 (en) 2013-11-13 2017-09-27 Microsoft Technology Licensing, LLC Software component recommendation based on multiple trace runs
US9389890B2 (en) 2014-03-27 2016-07-12 Microsoft Technology Licensing, Llc Hierarchical directives-based management of runtime behaviors
US9292270B2 (en) 2014-03-27 2016-03-22 Microsoft Technology Licensing, Llc Supporting dynamic behavior in statically compiled programs
EP3167382A4 (en) * 2014-07-11 2018-03-14 Craymer, Loring, G. III Method and system for linear generalized ll recognition and context-aware parsing
US10055399B2 (en) 2014-07-11 2018-08-21 Loring G. Craymer, III Method and system for linear generalized LL recognition and context-aware parsing
US9916187B2 (en) * 2014-10-27 2018-03-13 Oracle International Corporation Graph database system that dynamically compiles and executes custom graph analytic programs written in high-level, imperative programming language
US9256406B1 (en) * 2015-01-20 2016-02-09 The Mathworks, Inc. Graphically scoped C-functions inside stateflow
US10421111B2 (en) 2015-04-17 2019-09-24 Ball Corporation Method and apparatus for controlling an operation performed on a continuous sheet of material
BR112017021873B1 (pt) * 2015-04-17 2022-09-13 Ball Corporation Aparelho para controlar a velocidade de entrada e saída de uma folha contínua de material de lingueta, primeiro aparelho e método de controle de uma taxa de entrada e uma taxa de saída em uma folha contínua de material
US11157260B2 (en) * 2015-09-18 2021-10-26 ReactiveCore LLC Efficient information storage and retrieval using subgraphs
US10942922B2 (en) 2015-09-28 2021-03-09 Microsoft Technology Licensing, Llc Generation of data flow from syntax tree
JP2017151903A (ja) * 2016-02-26 2017-08-31 富士通株式会社 コンパイル装置、コンパイル方法およびコンパイルプログラム
JP6906155B2 (ja) * 2016-03-01 2021-07-21 直太 稲本 リバースエンジニアリング可能なソフトウェア自動生成装置
US10506016B2 (en) 2016-05-19 2019-12-10 Oracle International Corporation Graph analytic engine that implements efficient transparent remote access over representational state transfer
US10104187B2 (en) * 2016-06-15 2018-10-16 Futurewei Technologies, Inc. System, computer program, and method for dividing services into subsets based on interdependencies
US10628284B2 (en) * 2017-04-24 2020-04-21 Tektronix, Inc. System and method for bitstream decoding with compiler-generated syntax trees
US10509784B2 (en) * 2017-04-28 2019-12-17 Splunk Inc. Partially typed semantics optimization
US20190332631A1 (en) * 2018-04-27 2019-10-31 Risk Management Solutions, Inc. Graph-based data analysis based on interpreting a structure definition language
CN109857818B (zh) * 2019-02-03 2021-09-14 北京字节跳动网络技术有限公司 确定生产关系的方法、装置、存储介质及电子设备
US10983771B1 (en) * 2019-11-21 2021-04-20 Oracle International Corporation Quality checking inferred types in a set of code
US11455152B2 (en) * 2020-09-01 2022-09-27 X Development Llc Matching graphs generated from source code
US11467809B2 (en) * 2020-12-16 2022-10-11 Palo Alto Networks, Inc. Evaluation of JavaScript object notation (JSON) queries with first-order logic using context-free grammar
WO2023164294A1 (en) * 2022-02-28 2023-08-31 Kinesso, LLC Query splitter for an inverted index datastore

Family Cites Families (23)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5742828A (en) * 1994-08-03 1998-04-21 Microsoft Corporation Compiler and method for evaluation of foreign syntax expressions in source code
GB2327786B (en) * 1997-07-31 2002-04-03 Ibm Method and apparatus for strategic compilation of source programs into two or more target languages
US6061513A (en) * 1997-08-18 2000-05-09 Scandura; Joseph M. Automated methods for constructing language specific systems for reverse engineering source code into abstract syntax trees with attributes in a form that can more easily be displayed, understood and/or modified
US7124144B2 (en) 2000-03-02 2006-10-17 Actuate Corporation Method and apparatus for storing semi-structured data in a structured manner
US6604099B1 (en) 2000-03-20 2003-08-05 International Business Machines Corporation Majority schema in semi-structured data
US20020059566A1 (en) 2000-08-29 2002-05-16 Delcambre Lois M. Uni-level description of computer information and transformation of computer information between representation schemes
US6820253B1 (en) * 2000-09-27 2004-11-16 Intel Corporation Method and system for interprocedural analysis with separate compilation
US6681221B1 (en) 2000-10-18 2004-01-20 Docent, Inc. Method and system for achieving directed acyclic graph (DAG) representations of data in XML
US7174536B1 (en) * 2001-02-12 2007-02-06 Iowa State University Research Foundation, Inc. Integrated interactive software visualization environment
US6792414B2 (en) * 2001-10-19 2004-09-14 Microsoft Corporation Generalized keyword matching for keyword based searching over relational databases
US7117488B1 (en) * 2001-10-31 2006-10-03 The Regents Of The University Of California Safe computer code formats and methods for generating safe computer code
US7089541B2 (en) * 2001-11-30 2006-08-08 Sun Microsystems, Inc. Modular parser architecture with mini parsers
US7254808B2 (en) * 2002-07-20 2007-08-07 Microsoft Corporation Method for specifying and parsing expressions
US7136843B2 (en) * 2002-10-23 2006-11-14 International Business Machines Corporation Object-oriented framework for reasoning having pluggable inference engines
EP1591887A1 (en) * 2003-01-28 2005-11-02 Catena Corporation Software development preprocessing method, software control method, software development method, and software development device
US7412697B2 (en) 2003-06-25 2008-08-12 International Business Machines Corporation High-level language, architecture-independent probe program compiler
US7146606B2 (en) * 2003-06-26 2006-12-05 Microsoft Corporation General purpose intermediate representation of software for software development tools
JP4247108B2 (ja) 2003-12-25 2009-04-02 株式会社東芝 構造化文書検索方法、構造化文書検索装置、及びプログラム
US9171100B2 (en) 2004-09-22 2015-10-27 Primo M. Pettovello MTree an XPath multi-axis structure threaded index
JP2006243839A (ja) * 2005-02-28 2006-09-14 Toshiba Corp 命令生成装置及び命令生成方法
US7805714B2 (en) * 2005-03-30 2010-09-28 Alcatel-Lucent Usa Inc. Technique for constructing syntax-directed search and modifications in program transformation systems
JP4786268B2 (ja) * 2005-09-13 2011-10-05 株式会社東芝 コンパイル装置
US7966610B2 (en) * 2005-11-17 2011-06-21 The Mathworks, Inc. Application of optimization techniques to intermediate representations for code generation

Also Published As

Publication number Publication date
CN102171679A (zh) 2011-08-31
US20100088665A1 (en) 2010-04-08
EP2350867B1 (en) 2018-07-25
US8296744B2 (en) 2012-10-23
CN102171679B (zh) 2014-07-23
WO2010039893A2 (en) 2010-04-08
EP2350867A4 (en) 2012-12-12
WO2010039893A3 (en) 2010-07-01
JP2012504823A (ja) 2012-02-23
EP2350867A2 (en) 2011-08-03

Similar Documents

Publication Publication Date Title
JP5542142B2 (ja) 宣言型プログラミング言語の木ベースの有向グラフのプログラミング構造
US9229696B2 (en) Common intermediate representation for data scripting language
US8321833B2 (en) Compact syntax for data scripting language
Pawlak et al. Spoon: A library for implementing analyses and transformations of java source code
US5970490A (en) Integration platform for heterogeneous databases
US20100088686A1 (en) Programming language with extensible syntax
Burger et al. View-based model-driven software development with ModelJoin
US20040267760A1 (en) Query intermediate language method and system
JP6046346B2 (ja) 宣言データのスクリプト言語のための型システム
US10019243B2 (en) Packaging system to facilitate declarative model-driven development
US8701087B2 (en) System and method of annotating class models
Petricek et al. Types from data: making structured data first-class citizens in F#
Radke et al. Translating essential OCL invariants to nested graph constraints focusing on set operations
US8887078B2 (en) Configuration of custom controls in data-driven environments
US20100088283A1 (en) System and method for managing database applications
Ike-Nwosu Inside the Python Virtual Machine
Martin et al. Creating and using various knowledge representation models and notations
Cesal et al. Establishing interoperability between EMF and MSDKVS: an M3-level-bridge to transform metamodels and models
Ledvinka Java Binding for JSON-LD
Calegari et al. Model-driven engineering based on attribute grammars
Mietzner et al. An Algorithm for the Validation of Executable Completions of an Abstract BPEL Process.
Robinson Integrating a universal query mechanism into java
Rychnovský Generating of Synthetic XML Data
Benda Vzájemný převod mezi XSEM PSM diagramy a jazykem Schematron
Jansen et al. The Cider Toolkit Reference Manual Version 0.3.

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20120918

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20120918

RD03 Notification of appointment of power of attorney

Free format text: JAPANESE INTERMEDIATE CODE: A7423

Effective date: 20130701

RD04 Notification of resignation of power of attorney

Free format text: JAPANESE INTERMEDIATE CODE: A7424

Effective date: 20130718

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20131023

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20131030

A601 Written request for extension of time

Free format text: JAPANESE INTERMEDIATE CODE: A601

Effective date: 20140130

A602 Written permission of extension of time

Free format text: JAPANESE INTERMEDIATE CODE: A602

Effective date: 20140206

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20140218

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20140404

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20140502

R150 Certificate of patent or registration of utility model

Ref document number: 5542142

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

S111 Request for change of ownership or part of ownership

Free format text: JAPANESE INTERMEDIATE CODE: R313113

R350 Written notification of registration of transfer

Free format text: JAPANESE INTERMEDIATE CODE: R350

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

LAPS Cancellation because of no payment of annual fees