KR101354803B1 - 유형 추론 및 유형 지향 후기 바인딩 - Google Patents
유형 추론 및 유형 지향 후기 바인딩 Download PDFInfo
- Publication number
- KR101354803B1 KR101354803B1 KR1020087005382A KR20087005382A KR101354803B1 KR 101354803 B1 KR101354803 B1 KR 101354803B1 KR 1020087005382 A KR1020087005382 A KR 1020087005382A KR 20087005382 A KR20087005382 A KR 20087005382A KR 101354803 B1 KR101354803 B1 KR 101354803B1
- Authority
- KR
- South Korea
- Prior art keywords
- type
- variable
- late binding
- software code
- late
- Prior art date
Links
- 230000027455 binding Effects 0.000 title claims abstract description 96
- 238000009739 binding Methods 0.000 title claims abstract description 96
- 230000003068 static effect Effects 0.000 claims abstract description 57
- 238000000034 method Methods 0.000 claims abstract description 50
- 230000007246 mechanism Effects 0.000 claims description 8
- 230000008859 change Effects 0.000 claims description 3
- 230000004044 response Effects 0.000 claims 1
- 230000006870 function Effects 0.000 description 14
- 238000012545 processing Methods 0.000 description 11
- 238000003860 storage Methods 0.000 description 11
- 238000004891 communication Methods 0.000 description 8
- 230000014509 gene expression Effects 0.000 description 8
- 230000000007 visual effect Effects 0.000 description 8
- 230000008569 process Effects 0.000 description 6
- 230000000153 supplemental effect Effects 0.000 description 5
- 238000006243 chemical reaction Methods 0.000 description 4
- 238000010586 diagram Methods 0.000 description 4
- 230000004048 modification Effects 0.000 description 4
- 238000012986 modification Methods 0.000 description 4
- 230000001960 triggered effect Effects 0.000 description 4
- 238000004590 computer program Methods 0.000 description 3
- 238000005516 engineering process Methods 0.000 description 3
- 239000012634 fragment Substances 0.000 description 3
- 230000004075 alteration Effects 0.000 description 2
- 238000004458 analytical method Methods 0.000 description 2
- 238000013461 design Methods 0.000 description 2
- 238000011161 development Methods 0.000 description 2
- 230000018109 developmental process Effects 0.000 description 2
- 238000002408 directed self-assembly Methods 0.000 description 2
- 230000003287 optical effect Effects 0.000 description 2
- 230000002093 peripheral effect Effects 0.000 description 2
- 238000006467 substitution reaction Methods 0.000 description 2
- 230000009466 transformation Effects 0.000 description 2
- 241000282320 Panthera leo Species 0.000 description 1
- 241000282376 Panthera tigris Species 0.000 description 1
- 241000282458 Ursus sp. Species 0.000 description 1
- 238000013459 approach Methods 0.000 description 1
- 230000006399 behavior Effects 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 239000000969 carrier Substances 0.000 description 1
- 230000007812 deficiency Effects 0.000 description 1
- 238000012217 deletion Methods 0.000 description 1
- 230000037430 deletion Effects 0.000 description 1
- 230000009977 dual effect Effects 0.000 description 1
- 238000005206 flow analysis Methods 0.000 description 1
- 230000002452 interceptive effect Effects 0.000 description 1
- 230000008140 language development Effects 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 238000013507 mapping Methods 0.000 description 1
- 230000005055 memory storage Effects 0.000 description 1
- 238000005457 optimization Methods 0.000 description 1
- 229920001690 polydopamine Polymers 0.000 description 1
- 238000000844 transformation Methods 0.000 description 1
- 230000007704 transition Effects 0.000 description 1
Images
Classifications
-
- 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/448—Execution paradigms, e.g. implementations of programming paradigms
- G06F9/4488—Object-oriented
- G06F9/449—Object-oriented method invocation or resolution
-
- 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
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US11/220,167 | 2005-09-06 | ||
US11/220,167 US8473971B2 (en) | 2005-09-06 | 2005-09-06 | Type inference and type-directed late binding |
PCT/US2006/031709 WO2007030282A1 (en) | 2005-09-06 | 2006-08-15 | Type inference and type-directed late binding |
Publications (2)
Publication Number | Publication Date |
---|---|
KR20080043325A KR20080043325A (ko) | 2008-05-16 |
KR101354803B1 true KR101354803B1 (ko) | 2014-02-19 |
Family
ID=37831354
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
KR1020087005382A KR101354803B1 (ko) | 2005-09-06 | 2006-08-15 | 유형 추론 및 유형 지향 후기 바인딩 |
Country Status (4)
Families Citing this family (30)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8473971B2 (en) | 2005-09-06 | 2013-06-25 | Microsoft Corporation | Type inference and type-directed late binding |
US8561048B2 (en) * | 2005-12-29 | 2013-10-15 | Sap Ag | Late and dynamic binding of pattern components |
US8171453B2 (en) * | 2007-05-21 | 2012-05-01 | Microsoft Corporation | Explicit delimitation of semantic scope |
US8799856B2 (en) * | 2007-06-12 | 2014-08-05 | International Business Machines Corporation | System and method for automatically declaring variables |
US8321836B2 (en) * | 2007-06-21 | 2012-11-27 | Microsoft Corporation | Late bound programmatic assistance |
US8156149B2 (en) * | 2007-07-24 | 2012-04-10 | Microsoft Corporation | Composite nested streams |
US7493610B1 (en) | 2008-03-27 | 2009-02-17 | International Business Machines Corporation | Versioning optimization for dynamically-typed languages |
US9170787B2 (en) * | 2008-06-27 | 2015-10-27 | Microsoft Technology Licensing, Llc | Componentization of compiler functionality |
US20090328001A1 (en) * | 2008-06-27 | 2009-12-31 | Microsoft Corporation | Unloadable managed code |
US8473897B2 (en) | 2008-10-03 | 2013-06-25 | Microsoft Corporation | Common intermediate representation for data scripting language |
US20100235730A1 (en) * | 2009-03-13 | 2010-09-16 | Microsoft Corporation | Consume-first mode text insertion |
US9075667B2 (en) * | 2009-05-21 | 2015-07-07 | Microsoft Technology Licensing, Llc | Dynamic binding directed by static types |
US9298427B2 (en) * | 2010-01-06 | 2016-03-29 | Microsoft Technology Licensing, Llc. | Creating inferred symbols from code usage |
US8572591B2 (en) | 2010-06-15 | 2013-10-29 | Microsoft Corporation | Dynamic adaptive programming |
US9081893B2 (en) | 2011-02-18 | 2015-07-14 | Microsoft Technology Licensing, Llc | Dynamic lazy type system |
US9256401B2 (en) | 2011-05-31 | 2016-02-09 | Microsoft Technology Licensing, Llc | Editor visualization of symbolic relationships |
US8943474B1 (en) * | 2011-10-26 | 2015-01-27 | The Mathworks, Inc. | Code generation and execution for dynamic programming languages |
US9135027B1 (en) | 2011-10-26 | 2015-09-15 | The Mathworks, Inc. | Code generation and execution for dynamic programming languages |
US9542168B2 (en) | 2011-11-10 | 2017-01-10 | Microsoft Technology Licensing Llc | Hostable compiler utilizing type information from a host application |
US8893098B2 (en) * | 2012-12-14 | 2014-11-18 | Oracle International Corporation | Deferred type inference of generic type parameters in function calls to overloaded functions |
US9696968B2 (en) * | 2014-01-17 | 2017-07-04 | Microsoft Technology Licensing, Llc | Lightweight optionally typed data representation of computation |
US10817272B2 (en) * | 2016-12-12 | 2020-10-27 | Sap Se | Generation and usage of language-converted script |
US10437568B1 (en) * | 2017-05-18 | 2019-10-08 | Palantir Technologies Inc. | Real-time rendering based on efficient device and server processing of content updates |
US10474435B2 (en) * | 2017-08-07 | 2019-11-12 | Sap Se | Configuration model parsing for constraint-based systems |
US10534592B2 (en) | 2017-08-07 | 2020-01-14 | Sap Se | Template expressions for constraint-based systems |
US10642582B2 (en) * | 2017-08-24 | 2020-05-05 | Google Llc | System of type inference for tuple graph programs method of executing a tuple graph program across a network |
US10887235B2 (en) | 2017-08-24 | 2021-01-05 | Google Llc | Method of executing a tuple graph program across a network |
US10599482B2 (en) | 2017-08-24 | 2020-03-24 | Google Llc | Method for intra-subgraph optimization in tuple graph programs |
US11836454B2 (en) * | 2018-05-02 | 2023-12-05 | Language Scientific, Inc. | Systems and methods for producing reliable translation in near real-time |
US11119887B2 (en) * | 2018-11-29 | 2021-09-14 | International Business Machines Corporation | Attaching metadata to lines of code for alerting to changes in the code |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6023583A (en) | 1996-10-25 | 2000-02-08 | Kabushiki Kaisha Toshiba | Optimized variable allocation method, optimized variable allocation system and computer-readable memory containing an optimized variable allocation program |
US6134708A (en) | 1997-02-13 | 2000-10-17 | Nec Corporation | Program compilation execution system |
Family Cites Families (82)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5488727A (en) | 1991-09-30 | 1996-01-30 | International Business Machines Corporation | Methods to support multimethod function overloading with compile-time type checking |
US5485615A (en) | 1992-06-10 | 1996-01-16 | Telefonaktiebolaget L M Ericsson | System and method of interactively developing desired computer programs by using plurality of tools within a process described in graphical language |
JP3178151B2 (ja) * | 1993-03-19 | 2001-06-18 | 富士ゼロックス株式会社 | オブジェクト指向言語のメッセージコンパイル装置 |
US5500881A (en) | 1993-07-12 | 1996-03-19 | Digital Equipment Corporation | Language scoping for modular, flexible, concise, configuration descriptions |
US5748961A (en) | 1993-07-12 | 1998-05-05 | Digital Equipment Corporation | Efficient method and apparatus for compiling and linking modules of computer code in a large software system |
US6425124B1 (en) | 1993-11-08 | 2002-07-23 | Matsushita Electric Industrial Co. Ltd. | Resource allocation device for reducing the size and run time of a machine language program |
US5742828A (en) * | 1994-08-03 | 1998-04-21 | Microsoft Corporation | Compiler and method for evaluation of foreign syntax expressions in source code |
US5692195A (en) * | 1994-08-31 | 1997-11-25 | International Business Machines Corporation | Parent class shadowing |
US5748963A (en) | 1995-05-12 | 1998-05-05 | Design Intelligence, Inc. | Adaptive binding |
US5687377A (en) | 1995-10-06 | 1997-11-11 | Electronic Data Systems Corporation | Method for storing variables in a programming language |
US5872973A (en) * | 1995-10-26 | 1999-02-16 | Viewsoft, Inc. | Method for managing dynamic relations between objects in dynamic object-oriented languages |
US6072950A (en) | 1996-06-18 | 2000-06-06 | Microsoft Corporation | Pointer analysis by type inference combined with a non-pointer analysis |
US6100885A (en) | 1996-07-06 | 2000-08-08 | International Business Machines Corporation | Supporting modification of properties via a computer system's user interface |
US6041179A (en) | 1996-10-03 | 2000-03-21 | International Business Machines Corporation | Object oriented dispatch optimization |
US6041180A (en) | 1997-04-28 | 2000-03-21 | International Business Machines Corporation | System and method for optimizing template object files |
US5842220A (en) | 1997-05-02 | 1998-11-24 | Oracle Corporation | Methods and apparatus for exposing members of an object class through class signature interfaces |
US6026233A (en) | 1997-05-27 | 2000-02-15 | Microsoft Corporation | Method and apparatus for presenting and selecting options to modify a programming language statement |
US6314559B1 (en) | 1997-10-02 | 2001-11-06 | Barland Software Corporation | Development system with methods for assisting a user with inputting source code |
CA2219557C (en) | 1997-10-29 | 2002-12-10 | Ibm Canada Limited-Ibm Canada Limitee | Run-time instrumentation for object oriented programmed applications |
US6330717B1 (en) | 1998-03-27 | 2001-12-11 | Sony Corporation Of Japan | Process and system for developing an application program for a distributed adaptive run-time platform |
US5983021A (en) * | 1998-05-27 | 1999-11-09 | Sun Microsystems | Dynamically switching statically bound function calls to dynamically bound function calls without recompilation |
US6018628A (en) | 1998-06-16 | 2000-01-25 | Sun Microsystems, Inc. | Method of implementing parameterized types to be compatible with existing unparameterized libraries |
US6237135B1 (en) | 1998-06-18 | 2001-05-22 | Borland Software Corporation | Development system with visual design tools for creating and maintaining Java Beans components |
US6915301B2 (en) * | 1998-08-25 | 2005-07-05 | International Business Machines Corporation | Dynamic object properties |
US6415316B1 (en) | 1998-09-01 | 2002-07-02 | Aidministrator Nederland B.V. | Method and apparatus for implementing a web page diary |
US6477543B1 (en) | 1998-10-23 | 2002-11-05 | International Business Machines Corporation | Method, apparatus and program storage device for a client and adaptive synchronization and transformation server |
US6502233B1 (en) | 1998-11-13 | 2002-12-31 | Microsoft Corporation | Automated help system for reference information |
US6842877B2 (en) | 1998-12-18 | 2005-01-11 | Tangis Corporation | Contextual responses based on automated learning techniques |
US7080322B2 (en) | 1998-12-18 | 2006-07-18 | Tangis Corporation | Thematic response to a computer user's context, such as by a wearable personal computer |
US6895578B1 (en) | 1999-01-06 | 2005-05-17 | Parasoft Corporation | Modularizing a computer program for testing and debugging |
US6678745B1 (en) * | 1999-06-01 | 2004-01-13 | Bruce Hodge | Dynamic object synthesis with automatic late binding |
CA2279118A1 (en) | 1999-07-29 | 2001-01-29 | Ibm Canada Limited-Ibm Canada Limitee | Tooling framework system and method for code generation |
US6560774B1 (en) | 1999-09-01 | 2003-05-06 | Microsoft Corporation | Verifier to check intermediate language |
US6986132B1 (en) | 2000-04-28 | 2006-01-10 | Sun Microsytems, Inc. | Remote incremental program binary compatibility verification using API definitions |
US6981249B1 (en) | 2000-05-02 | 2005-12-27 | Microsoft Corporation | Methods for enhancing type reconstruction |
US6973646B1 (en) | 2000-07-21 | 2005-12-06 | International Business Machines Corporation | Method for compiling program components in a mixed static and dynamic environment |
US20020129345A1 (en) | 2000-09-27 | 2002-09-12 | Tilden Mark D. | Scripting business logic in a distributed object oriented environment |
US6957394B1 (en) | 2000-12-01 | 2005-10-18 | Microsoft Corporation | Rendering controls of a web page according to a theme |
US7437710B2 (en) | 2001-07-02 | 2008-10-14 | Bea Systems, Inc. | Annotation based development platform for stateful web services |
US7117504B2 (en) | 2001-07-10 | 2006-10-03 | Microsoft Corporation | Application program interface that enables communication for a network software platform |
US7120897B2 (en) | 2001-07-10 | 2006-10-10 | Microsoft Corporation | User control objects for providing server-side code generation from a user-defined dynamic web page content file |
US6928425B2 (en) | 2001-08-13 | 2005-08-09 | Xerox Corporation | System for propagating enrichment between documents |
US20030131347A1 (en) * | 2001-10-12 | 2003-07-10 | Allison David S. | Method and apparatus for runtime binding of object members |
US20030097648A1 (en) | 2001-10-12 | 2003-05-22 | Allison David S. | Method and apparatus for determining runtime size and type information in dynamically typed languages |
US6965990B2 (en) | 2001-10-23 | 2005-11-15 | International Business Machines Corporation | Method and apparatus for providing programming assistance |
US7152229B2 (en) * | 2002-01-18 | 2006-12-19 | Symbol Technologies, Inc | Workflow code generator |
US7017117B2 (en) | 2002-02-14 | 2006-03-21 | Symantec Corporation | Attenuating and amplifying user interface themes |
US7127707B1 (en) | 2002-10-10 | 2006-10-24 | Microsoft Corporation | Intellisense in project upgrade |
US7546607B2 (en) | 2002-11-19 | 2009-06-09 | Microsoft Corporation | Native code exposing virtual machine managed object |
US7051322B2 (en) | 2002-12-06 | 2006-05-23 | @Stake, Inc. | Software analysis framework |
US8032860B2 (en) | 2003-02-26 | 2011-10-04 | Oracle International Corporation | Methods for type-independent source code editing |
US7246361B1 (en) | 2003-03-20 | 2007-07-17 | Intuit, Inc. | Supporting multiple late binding objects with the same identifier |
US7389498B2 (en) | 2003-03-25 | 2008-06-17 | Microsoft Corporation | Core object-oriented type system for semi-structured data |
US7620959B2 (en) | 2003-05-12 | 2009-11-17 | Microsoft Corporation | Reflection-based processing of input parameters for commands |
US7197702B2 (en) | 2003-06-13 | 2007-03-27 | Microsoft Corporation | Web page rendering mechanism using external programmatic themes |
US7647610B2 (en) | 2003-08-19 | 2010-01-12 | Lg Electronics Inc. | Interfacing system between digital TV and plurality of remote controllers, method thereof, remote controller thereof, and remote controller signal transmitting method thereof |
WO2005022417A2 (en) * | 2003-08-27 | 2005-03-10 | Ascential Software Corporation | Methods and systems for real time integration services |
US7818729B1 (en) | 2003-09-15 | 2010-10-19 | Thomas Plum | Automated safe secure techniques for eliminating undefined behavior in computer software |
EP1678628A4 (en) | 2003-10-10 | 2007-04-04 | Humanizing Technologies Inc | CLASSIFIED PERSONALIZED WEB EXPERIENCE |
WO2005038610A2 (en) | 2003-10-14 | 2005-04-28 | Donn Delson | A method and system for using cascading style sheets (css) to customize an online store |
US7676798B2 (en) | 2003-10-24 | 2010-03-09 | Microsoft Corporation | Mechanism for obtaining and applying constraints to constructs within an interactive environment |
US20050198177A1 (en) * | 2004-01-23 | 2005-09-08 | Steve Black | Opting out of spam |
US20050278695A1 (en) | 2004-06-14 | 2005-12-15 | Synovic Michael J | System and method for modifying code assist within an integrated development environment |
US7693856B2 (en) | 2004-06-25 | 2010-04-06 | Apple Inc. | Methods and systems for managing data |
US20060015817A1 (en) | 2004-07-15 | 2006-01-19 | Giuseppe Fioretti | Method to dynamically customize a web user interface |
GB0416867D0 (en) | 2004-07-29 | 2004-09-01 | Ibm | Automatic content completion of valid values for method argument variables |
US20060100975A1 (en) | 2004-10-25 | 2006-05-11 | Microsoft Corporation | Strongly-typed object oriented GUI automation framework |
US7490316B2 (en) | 2004-12-02 | 2009-02-10 | International Business Machines Corporation | Method and apparatus to implement adaptive scripting tool |
US7571189B2 (en) | 2005-02-02 | 2009-08-04 | Lightsurf Technologies, Inc. | Method and apparatus to implement themes for a handheld device |
US7730448B2 (en) | 2005-08-11 | 2010-06-01 | Microsoft Corporation | Layered type systems |
US8473971B2 (en) | 2005-09-06 | 2013-06-25 | Microsoft Corporation | Type inference and type-directed late binding |
US7765519B2 (en) | 2005-12-16 | 2010-07-27 | International Business Machines Corporation | Efficient builds for installation software |
US7958493B2 (en) | 2006-01-20 | 2011-06-07 | Kevin Edward Lindsey | Type inference system and method |
US8615743B2 (en) | 2006-02-27 | 2013-12-24 | Microsoft Corporation | Adaptive compiled code |
US7849451B2 (en) | 2006-03-02 | 2010-12-07 | Oracle America Inc. | Dynamic delegation chain for runtime adaptation of a code unit to an environment |
US8225294B2 (en) | 2006-04-27 | 2012-07-17 | Oracle America, Inc. | Method and apparatus for expressing and checking relationships between types |
US8321836B2 (en) | 2007-06-21 | 2012-11-27 | Microsoft Corporation | Late bound programmatic assistance |
US20080320453A1 (en) | 2007-06-21 | 2008-12-25 | Microsoft Corporation | Type inference and late binding |
US8434062B2 (en) | 2008-06-19 | 2013-04-30 | International Business Machines Corporation | Enhancing source code debugging and readability using visual symbols |
US8640104B2 (en) | 2009-12-08 | 2014-01-28 | International Business Machines Corporation | Computer method and apparatus for debugging in a dynamic computer language |
US8572591B2 (en) | 2010-06-15 | 2013-10-29 | Microsoft Corporation | Dynamic adaptive programming |
US9256401B2 (en) | 2011-05-31 | 2016-02-09 | Microsoft Technology Licensing, Llc | Editor visualization of symbolic relationships |
-
2005
- 2005-09-06 US US11/220,167 patent/US8473971B2/en active Active
-
2006
- 2006-08-15 KR KR1020087005382A patent/KR101354803B1/ko active IP Right Grant
- 2006-08-15 CN CNA2006800320802A patent/CN101253478A/zh active Pending
- 2006-08-15 WO PCT/US2006/031709 patent/WO2007030282A1/en active Application Filing
-
2013
- 2013-06-25 US US13/926,074 patent/US8732732B2/en active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6023583A (en) | 1996-10-25 | 2000-02-08 | Kabushiki Kaisha Toshiba | Optimized variable allocation method, optimized variable allocation system and computer-readable memory containing an optimized variable allocation program |
US6134708A (en) | 1997-02-13 | 2000-10-17 | Nec Corporation | Program compilation execution system |
Also Published As
Publication number | Publication date |
---|---|
US8732732B2 (en) | 2014-05-20 |
US20130290987A1 (en) | 2013-10-31 |
WO2007030282A1 (en) | 2007-03-15 |
KR20080043325A (ko) | 2008-05-16 |
US20070055978A1 (en) | 2007-03-08 |
CN101253478A (zh) | 2008-08-27 |
US8473971B2 (en) | 2013-06-25 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
KR101354803B1 (ko) | 유형 추론 및 유형 지향 후기 바인딩 | |
Bettini | Implementing domain-specific languages with Xtext and Xtend | |
US7730448B2 (en) | Layered type systems | |
KR101150003B1 (ko) | 소프트웨어 개발 툴 생성 방법 | |
US20070044066A1 (en) | Embedded multi-language programming | |
US11481201B2 (en) | Integrated development environment for developing and compiling query language schemas for application program interfaces | |
US20070011651A1 (en) | Customized annotation editing | |
US20110246973A1 (en) | Compiler supporting programs as data objects | |
US8850414B2 (en) | Direct access of language metadata | |
KR20040111099A (ko) | 코드 세그먼트들을 생성, 관리, 및 사용하는 시스템 및방법 | |
JP2002024032A (ja) | 複数言語のコンパイル方法及びシステム | |
KR101597599B1 (ko) | 소스 위치가 결여된 코드 세그먼트들을 가지는 소스 코드를 모델링하기 위한 방법 | |
US20070074185A1 (en) | Identifier expressions | |
US8239842B2 (en) | Implicit line continuation | |
US20070050380A1 (en) | Nullable and late binding | |
Price | C# 9 and. NET 5–Modern Cross-Platform Development: Build intelligent apps, websites, and services with Blazor, ASP. NET Core, and Entity Framework Core using Visual Studio Code | |
García-Pradales et al. | An s (CASP) In-Browser Playground based on Ciao Prolog. | |
Renggli | Dynamic language embedding with homogeneous tool support | |
CA3134422A1 (en) | System and method of computer-assisted computer programming | |
Petricek et al. | In the age of web: Typed functional-first programming revisited | |
Quinlan et al. | Rose user manual: A tool for building source-to-source translators draft user manual (version 0.9. 11.115) | |
Renggli | Dynamic Language Embedding | |
Nellaiyapen | Practical WebAssembly: Explore the fundamentals of WebAssembly programming using Rust | |
Kresowaty | FxCop and code analysis: Writing your own custom rules | |
Linka | Visual Studio refactoring and code style management toolset |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A201 | Request for examination | ||
E902 | Notification of reason for refusal | ||
E701 | Decision to grant or registration of patent right | ||
GRNT | Written decision to grant | ||
FPAY | Annual fee payment |
Payment date: 20161220 Year of fee payment: 4 |
|
FPAY | Annual fee payment |
Payment date: 20171219 Year of fee payment: 5 |
|
FPAY | Annual fee payment |
Payment date: 20181226 Year of fee payment: 6 |