HK1174709A1 - Creating inferred symbols from code usage - Google Patents

Creating inferred symbols from code usage

Info

Publication number
HK1174709A1
HK1174709A1 HK13101830.7A HK13101830A HK1174709A1 HK 1174709 A1 HK1174709 A1 HK 1174709A1 HK 13101830 A HK13101830 A HK 13101830A HK 1174709 A1 HK1174709 A1 HK 1174709A1
Authority
HK
Hong Kong
Prior art keywords
code usage
inferred symbols
creating
creating inferred
symbols
Prior art date
Application number
HK13101830.7A
Other languages
English (en)
Chinese (zh)
Inventor
劉凱玲
．皮爾希-比森
Original Assignee
微軟公司
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 微軟公司 filed Critical 微軟公司
Publication of HK1174709A1 publication Critical patent/HK1174709A1/xx

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/33—Intelligent editors
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G06F11/3624—Software debugging by performing operations on the source code, e.g. via a compiler
    • 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/34—Graphical or visual programming
    • 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
    • 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/43—Checking; Contextual analysis
    • G06F8/436—Semantic checking
    • G06F8/437—Type checking
    • 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/75—Structural analysis for program understanding

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computational Linguistics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Stored Programmes (AREA)
  • Devices For Executing Special Programs (AREA)
HK13101830.7A 2010-01-06 2013-02-08 Creating inferred symbols from code usage HK1174709A1 (en)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US12/652,758 US9298427B2 (en) 2010-01-06 2010-01-06 Creating inferred symbols from code usage
PCT/US2010/062651 WO2011084875A2 (en) 2010-01-06 2010-12-31 Creating inferred symbols from code usage

Publications (1)

Publication Number Publication Date
HK1174709A1 true HK1174709A1 (en) 2013-06-14

Family

ID=44225460

Family Applications (1)

Application Number Title Priority Date Filing Date
HK13101830.7A HK1174709A1 (en) 2010-01-06 2013-02-08 Creating inferred symbols from code usage

Country Status (6)

Country Link
US (1) US9298427B2 (xx)
EP (1) EP2521967B1 (xx)
CN (1) CN102696012B (xx)
ES (1) ES2674140T3 (xx)
HK (1) HK1174709A1 (xx)
WO (1) WO2011084875A2 (xx)

Families Citing this family (25)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8473911B1 (en) * 2010-07-23 2013-06-25 Xilinx, Inc. Documentation generation from a computer readable symbolic representation
EP2450792B1 (en) * 2010-10-22 2020-01-15 Orange Method for allowing distributed running of an application and related pre-processing unit
EP2450794B1 (en) 2010-10-22 2018-08-29 Orange Method for allowing distributed running of an application and related device and inference engine
US9026948B2 (en) * 2011-06-29 2015-05-05 Microsoft Technology Licensing, Llc Multi-faceted relationship hubs
US9098299B2 (en) * 2011-09-16 2015-08-04 Facebook, Inc. Run time incremental compilation of script code
US9195442B2 (en) * 2012-07-10 2015-11-24 Oracle International Corporation System and method for compiling lambda expression in a programming language environment
US8954939B2 (en) * 2012-12-31 2015-02-10 Microsoft Corporation Extending a development environment
US9304762B2 (en) 2013-03-01 2016-04-05 Apple Inc. Automatically customizing a computer-executable application at runtime
US9652207B2 (en) 2013-03-13 2017-05-16 Microsoft Technology Licensing, Llc. Static type checking across module universes
US9639335B2 (en) 2013-03-13 2017-05-02 Microsoft Technology Licensing, Llc. Contextual typing
US9696974B2 (en) * 2013-03-13 2017-07-04 Microsoft Technology Licensing, Llc. Graph-based model for type systems
US9563412B2 (en) 2013-03-13 2017-02-07 Microsoft Technology Licensing, Llc. Statically extensible types
US9081892B2 (en) * 2013-03-14 2015-07-14 Fujitsu Limited Software verification
US9244658B2 (en) * 2013-06-04 2016-01-26 Microsoft Technology Licensing, Llc Multi-step auto-completion model for software development environments
US20150347352A1 (en) * 2014-06-02 2015-12-03 Microsoft Technology Licensing, Llc Form preview in a development environment
US11188308B2 (en) * 2014-07-23 2021-11-30 Apple Inc. Interactive code editing
US10120679B2 (en) * 2015-07-10 2018-11-06 Google Llc Automatic imports and dependencies in large-scale source code repositories
US10489122B1 (en) * 2015-09-02 2019-11-26 Devin Abbott Inline text editor elements as an abstraction layer for graphical code editing
US9672030B2 (en) 2015-10-14 2017-06-06 International Business Machines Corporation Generating comprehensive symbol tables for source code files
US10001978B2 (en) * 2015-11-11 2018-06-19 Oracle International Corporation Type inference optimization
US10885801B2 (en) * 2016-05-24 2021-01-05 Tangible Play, Inc. Virtualized tangible programming
RU2016137177A (ru) 2016-09-16 2018-03-19 Оракл Интернэйшнл Корпорейшн Усовершенствованное преобразование исходного кода языка программирования
RU2016137176A (ru) * 2016-09-16 2018-03-19 Оракл Интернэйшнл Корпорейшн Связывание преобразованного исходного кода с первоначальным исходным кодом с помощью метаданных
US10606566B2 (en) * 2017-06-03 2020-03-31 Apple Inc. Integration of learning models into a software development system
EP3588257A1 (en) * 2018-06-26 2020-01-01 ABB Schweiz AG Adaptive visualization of device symbols by computers that control a technical system

Family Cites Families (36)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5193180A (en) * 1991-06-21 1993-03-09 Pure Software Inc. System for modifying relocatable object code files to monitor accesses to dynamically allocated memory
US6094529A (en) * 1995-09-19 2000-07-25 Jeffries; Robin Method, apparatus and computer program product for linking stack messages to relevant information
US6684388B1 (en) * 2000-08-22 2004-01-27 International Business Machines Corporation Method for generating platform independent, language specific computer code
US7080365B2 (en) 2001-08-17 2006-07-18 Sun Microsystems, Inc. Method and apparatus for simulation system compiler
US7043720B2 (en) * 2002-04-22 2006-05-09 Sun Microsystems, Inc. Mechanism for reformatting a simple source code statement into a compound source code statement
US20040230951A1 (en) 2003-04-02 2004-11-18 Scandura Joseph M. Method for Building Highly Adaptive Instruction Based on the Structure as Opposed to the Semantics of Knowledge Representations
GB0315165D0 (en) * 2003-05-02 2003-08-06 Transitive Ltd Improved architecture for generating intermediate representations for program code conversion
US7165238B2 (en) 2003-06-06 2007-01-16 Intentional Software Corporation Method and system for organizing and manipulating nodes by category in a program tree
JP2005038212A (ja) * 2003-07-15 2005-02-10 Nippon Telegr & Teleph Corp <Ntt> プログラム変換方法及び装置及びプログラム変換プログラム及びプログラム変換プログラムを格納した記憶媒体
US7496906B2 (en) * 2004-03-31 2009-02-24 International Business Machines Corporation Evaluation of a code segment
JP2006018693A (ja) * 2004-07-02 2006-01-19 Fujitsu Ltd 類似ソースコード抽出プログラム、類似ソースコード抽出装置および類似ソースコード抽出方法
GB0416867D0 (en) * 2004-07-29 2004-09-01 Ibm Automatic content completion of valid values for method argument variables
DE202005022113U1 (de) 2004-10-12 2014-02-05 University Of Southern California Training für eine Text-Text-Anwendung, die eine Zeichenketten-Baum-Umwandlung zum Training und Decodieren verwendet
US20060277525A1 (en) * 2005-06-06 2006-12-07 Microsoft Corporation Lexical, grammatical, and semantic inference mechanisms
US7730448B2 (en) * 2005-08-11 2010-06-01 Microsoft Corporation Layered type systems
US20070044066A1 (en) * 2005-08-19 2007-02-22 Microsoft Corporation Embedded multi-language programming
US8473971B2 (en) * 2005-09-06 2013-06-25 Microsoft Corporation Type inference and type-directed late binding
US8327343B2 (en) * 2005-10-20 2012-12-04 Cisco Technology, Inc. Method and system for optimizing source code
WO2007084780A2 (en) * 2006-01-20 2007-07-26 Aptana, Inc. Type inference system and method
US20070277163A1 (en) * 2006-05-24 2007-11-29 Syver, Llc Method and tool for automatic verification of software protocols
US7954059B2 (en) 2006-07-24 2011-05-31 National Instruments Corporation Automatic conversion of text-based code having function overloading and dynamic types into a graphical program for compiled execution
US20080141230A1 (en) 2006-12-06 2008-06-12 Microsoft Corporation Scope-Constrained Specification Of Features In A Programming Language
CN101657795B (zh) 2007-04-11 2013-10-23 苹果公司 多处理器上的数据并行计算
US8589872B2 (en) * 2007-06-12 2013-11-19 International Business Machines Corporation System and method for variable type identification
US8429628B2 (en) * 2007-12-28 2013-04-23 International Business Machines Corporation System and method for comparing partially decompiled software
US20100050101A1 (en) * 2008-08-21 2010-02-25 Palm, Inc. Converting Information Objects
US8418155B2 (en) 2009-02-10 2013-04-09 International Business Machines Corporation Generating parallel SIMD code for an arbitrary target architecture
US20100235730A1 (en) * 2009-03-13 2010-09-16 Microsoft Corporation Consume-first mode text insertion
US9213541B2 (en) * 2009-04-17 2015-12-15 ArtinSoft Corporation, S.A. Creation, generation, distribution and application of self-contained modifications to source code
US9274770B2 (en) * 2009-06-22 2016-03-01 Oracle America, Inc. Fault tolerant compilation with automatic error correction
US8448142B2 (en) * 2009-08-25 2013-05-21 International Business Machines Corporation Incremental runtime compliance validation of renderable objects
US8813027B2 (en) * 2010-04-14 2014-08-19 Microsoft Corporation Static type checking against external data sources
US20110271250A1 (en) * 2010-04-30 2011-11-03 Microsoft Corporation Software Development Tool
US20110271258A1 (en) * 2010-04-30 2011-11-03 Microsoft Corporation Software Development Tool
US8549502B2 (en) * 2010-06-21 2013-10-01 Microsoft Corporation Compiler with user-defined type inference rules
US9696974B2 (en) * 2013-03-13 2017-07-04 Microsoft Technology Licensing, Llc. Graph-based model for type systems

Also Published As

Publication number Publication date
US20110167404A1 (en) 2011-07-07
EP2521967A2 (en) 2012-11-14
WO2011084875A2 (en) 2011-07-14
EP2521967A4 (en) 2014-08-06
ES2674140T3 (es) 2018-06-27
US9298427B2 (en) 2016-03-29
CN102696012B (zh) 2014-10-22
EP2521967B1 (en) 2018-04-25
CN102696012A (zh) 2012-09-26
WO2011084875A3 (en) 2011-10-27

Similar Documents

Publication Publication Date Title
HK1174709A1 (en) Creating inferred symbols from code usage
GB2477626B (en) Oxidation catalyst
EP2547244A4 (en) PRESS-FRUIT COMBINED WITH A MIXER
ZA201206766B (en) Lance
GB0902231D0 (en) Catayst
AP2012006640A0 (en) New aminopyrazoloquinazolines
HUE052735T2 (hu) Katalizátor
GB201012982D0 (en) Catalyst
GB201007196D0 (en) Gas-to-liquid technology
GB201007437D0 (en) Shareware/iheart part (iheart project)
GB201013207D0 (en) Novel combination
ZA201208631B (en) Novel processes
EP2572199A4 (en) COMBINATION
GB201000638D0 (en) Improved catalyst
EP2571358A4 (en) COMBINATION
GB201016912D0 (en) Novel combination
HK1181759A1 (zh) -吡啶- -基或 -吡嗪- -基甲酰胺類
EP2619274A4 (en) ANTI-KOGATION AGENTS
TWM391119U (en) Photo-mask having barcode
EP2603078A4 (en) COMBINATION
TWM389494U (en) Incense
EP2575460A4 (en) COMBINATION
TWM385968U (en) Tightly-attached mask
GB201008568D0 (en) Shaped barcode
GB2483867B (en) Oscillatory mechanism

Legal Events

Date Code Title Description
PC Patent ceased (i.e. patent has lapsed due to the failure to pay the renewal fee)

Effective date: 20191229