-
公开(公告)号：US20060277525A1
公开(公告)日：2006-12-07
申请号：US11147082
申请日：2005-06-06
申请人： Cyrus Najmabadi , Anson Horton
发明人： Cyrus Najmabadi , Anson Horton
IPC分类号： G06F9/44
摘要： A mechanism is provided for inferring a computer user's intent in developing computer system code. Specifically, an inference mechanism is provided that can infer a user's intent at least on three levels: a lexical level, a syntactic level, and a semantic level. The inference mechanism employs various rule-based and heuristic-based techniques including type coercion, scope proximity, parameter count and arguments, and so on. Various inference mechanism controls are also employed to increase inference robustness, including timing of making suggestions, the number of suggestions, and the extensibility of suggestions.
摘要翻译： 提供了一种用于推断计算机用户开发计算机系统代码的意图的机制。 具体地说，提供一种可以至少在三个层次上推断用户意图的推理机制：词汇级别，句法级别和语义级别。 推理机制采用各种基于规则和启发式技术，包括类型强制，范围邻近，参数计数和参数等。 还采用各种推理机制控制来增加推理鲁棒性，包括提出建议的时间安排，建议数量以及建议的可扩展性。
-
公开(公告)号：US20100023798A1
公开(公告)日：2010-01-28
申请号：US12179684
申请日：2008-07-25
IPC分类号： G06F11/07
CPC分类号： G06F11/0793 , G06F11/0709 , G06F11/0748
摘要： Error recovery and diagnosis is afforded for pushdown automata. Upon detection of an error, a recovery strategy is selected and dispatched to recover from the error to place an automaton in an error free state to enable continued processing. In one instance, recovery strategies can be specified and matched with respect to automaton configuration. Errors can be diagnosed as a function of the difference between a first error configuration and a second recovered configuration.
摘要翻译： 为下推自动机提供错误恢复和诊断。 在检测到错误时，选择并调度恢复策略以从错误中恢复以将自动机置于无错误状态以使能继续处理。 在一种情况下，可以针对自动机配置指定和匹配恢复策略。 可以将错误诊断为第一错误配置和第二恢复配置之间的差异的函数。
-
公开(公告)号：US09886936B2
公开(公告)日：2018-02-06
申请号：US12780838
申请日：2010-05-14
IPC分类号： G06F17/00 , G09G5/34 , G06F3/0481 , G06F3/147
CPC分类号： G06T3/0006 , G06F3/017 , G06F3/0481 , G06F3/0488 , G06F3/147 , G06F2203/04806 , G09G5/34 , G09G2340/0407 , G09G2340/045 , G09G2340/145 , G09G2370/027 , G09G2380/14
摘要： Systems, methods, and media for presenting panel-based electronic documents are provided. In accordance with some embodiments, systems for presenting panel-based electronic documents are provided, the systems comprising: at least one processor programmed to: receive an electronic document, a definition of a first panel on a page in the electronic document, and a definition of a second panel on the page in the electronic document; control a display of the first panel based on the definition of the first panel; and transition from the display of the first panel to a display of the second panel by re-scaling the display and panning from the first panel to the second panel.
-
公开(公告)号：US20100023924A1
公开(公告)日：2010-01-28
申请号：US12178143
申请日：2008-07-23
IPC分类号： G06F9/44
CPC分类号： G06F8/427
摘要： Parse tables or like representations are augmented with extension points to enable call out to arbitrary code. Such parse tables can be automatically generated from a specification including fixed information along with information about extensibility points provided. The extensibility points enable incorporation of dynamic data into a fixed parse table. In one instance, this allows a parser to determine if a character is acceptable at the time of execution rather than when the parse table was defined.
摘要翻译： 解析表或类似的表示用扩展点进行扩充，以便调用任意代码。 这样的解析表可以从包括固定信息的规范以及所提供的可扩展性点的信息自动生成。 可扩展点可以将动态数据并入固定的分析表。 在一个实例中，这允许解析器确定在执行时字符是否可以接受，而不是在定义解析表时。
-
5.发明申请公开(公告)号：US20100318895A1
公开(公告)日：2010-12-16
申请号：US12780838
申请日：2010-05-14
IPC分类号： G06F17/00
CPC分类号： G06T3/0006 , G06F3/017 , G06F3/0481 , G06F3/0488 , G06F3/147 , G06F2203/04806 , G09G5/34 , G09G2340/0407 , G09G2340/045 , G09G2340/145 , G09G2370/027 , G09G2380/14
摘要： Systems, methods, and media for presenting panel-based electronic documents are provided. In accordance with some embodiments, systems for presenting panel-based electronic documents are provided, the systems comprising: at least one processor programmed to: receive an electronic document, a definition of a first panel on a page in the electronic document, and a definition of a second panel on the page in the electronic document; control a display of the first panel based on the definition of the first panel; and transition from the display of the first panel to a display of the second panel by re-scaling the display and panning from the first panel to the second panel.
摘要翻译： 提供了提供基于面板的电子文档的系统，方法和媒体。 根据一些实施例，提供了用于呈现基于面板的电子文档的系统，所述系统包括：至少一个处理器，其被编程为：接收电子文档，电子文档中的页面上的第一面板的定义，以及定义 电子文件页面上的第二个面板; 基于第一面板的定义控制第一面板的显示; 并且通过将显示器重新缩放并从第一面板平移到第二面板，从第一面板的显示转换到第二面板的显示。
-
公开(公告)号：US20100010801A1
公开(公告)日：2010-01-14
申请号：US12171929
申请日：2008-07-11
IPC分类号： G06F17/27
CPC分类号： G06F17/271 , G06F8/37 , G06F17/272 , G06F17/2725
摘要： A plethora of strategies is afforded to facilitate conflict resolution and error recovery with respect to parsing, among other things. Grammar authors can select amongst a range of strategies or options on a case-by-case basis to address conflicts, ambiguities, errors, and the like. The strategies can be either static or dynamic. In one instance, code external to a parsing system can be invoked to resolve conflicts or recover from errors, and further enable change of strategy without requiring modification of the parser. Interaction between the parsing system and the external code can also be formalized to ensure general type safety of the system.
摘要翻译： 除了别的以外，提供了大量的策略来促进解决冲突和错误恢复。 语法作者可以根据具体情况选择一系列策略或选项，以解决冲突，歧义，错误等。 策略可以是静态或动态的。 在一个实例中，可以调用分析系统外部的代码来解决冲突或从错误中恢复，并进一步启用策略更改，而无需修改解析器。 解析系统和外部代码之间的交互也可以被形式化，以确保系统的一般类型安全。
-
公开(公告)号：US08875089B2
公开(公告)日：2014-10-28
申请号：US13310799
申请日：2011-12-05
申请人： Matt Warren , Cyrus Najmabadi , Heejae Chang , Jason Malinowski , Kevin Pilch-Bisson , Dustin Campbell
发明人： Matt Warren , Cyrus Najmabadi , Heejae Chang , Jason Malinowski , Kevin Pilch-Bisson , Dustin Campbell
IPC分类号： G06F9/44
摘要： A workspace model generates a component of a solution from an immutable object representing the solution at a given point in time. A component may be requested by an extension to an integrated development environment for the extension's use. The workspace model determines a sequence of operations needed to construct the requested component at the time the component is requested using the state of the solution represented through the immutable object. The immutable object allows the extension to access the requested component while the integrated development environment is used to alter the solution.
摘要翻译： 工作空间模型从给定时间点的表示解决方案的不可变对象生成解的一个组件。 可以通过扩展到扩展使用的集成开发环境来请求组件。 工作空间模型确定在使用通过不可变对象表示的解的状态请求组件时构造请求的组件所需的操作序列。 不可变对象允许扩展访问所请求的组件，而集成开发环境用于更改解决方案。
-
公开(公告)号：US20100037213A1
公开(公告)日：2010-02-11
申请号：US12187875
申请日：2008-08-07
IPC分类号： G06F9/45
CPC分类号： G06F8/427
摘要： Parsing functionality is automatically generated. In particular, abstract syntax tree types and/or other programmatic constructs are created automatically from a grammar specification in a manner that resembles hand-written code. An abstract syntax tree can subsequently be constructed as a function of the generated types. Further, a plurality of supporting functionality can be generated to consume or produce abstract syntax tree types, among other things.
摘要翻译： 自动生成解析功能。 特别地，抽象语法树类型和/或其他编程结构是以类似于手写代码的方式从语法规范自动创建的。 抽象语法树随后可以被构造为生成的类型的函数。 此外，除了其他之外，可以生成多个支持功能以消费或产生抽象语法树类型。
-
公开(公告)号：US20100037212A1
公开(公告)日：2010-02-11
申请号：US12187753
申请日：2008-08-07
IPC分类号： G06F9/45
CPC分类号： G06F8/427
摘要： Immutable structures are employed to effect immutable parsing. In particular, an immutable parsing configuration, comprising a stack and lookahead buffer, is utilized by a parser to perform lexical and syntactical analysis of an input stream and optionally output an immutable parse tree or the like. Performance with respect to the immutable structures can be optimized utilizing sharing and lazy computation. In turn, immutability benefits are afforded with respect to parsing including safe sharing amongst services and/or across multiple threads as well as history preservation, among other things.
摘要翻译： 采用不变的结构来实现不可变解析。 特别地，包括堆栈和前瞻缓冲区的不可变解析配置被解析器用于对输入流执行词法和语法分析，并且可选地输出不可变解析树等。 可以通过共享和懒惰计算优化关于不可变结构的性能。 反过来，在解析方面提供了不可变的利益，包括服务之间的安全共享和/或跨多个线程的安全共享以及历史保存等。
-
公开(公告)号：US20070044066A1
公开(公告)日：2007-02-22
申请号：US11208228
申请日：2005-08-19
申请人： Henricus Meijer , Brian Beckman , Avner Aharoni , David Schach , Peter Drayton , Ralf Lammel , Jose Blakeley , Cyrus Najmabadi
发明人： Henricus Meijer , Brian Beckman , Avner Aharoni , David Schach , Peter Drayton , Ralf Lammel , Jose Blakeley , Cyrus Najmabadi
IPC分类号： G06F9/44
CPC分类号： G06F8/33
摘要： Multiple programming languages can be embedded and supported within a single source. Programs nested with syntax from a plurality of languages (e.g., C#, SQL, XML . . . ), among other things, enable users to avail themselves of advantageous aspects of different languages for particular tasks. Language services that provide language specific functionality including but not limited to formatting, intelligent assist, auto completion, and coloring, can be employed and switched between to afford support for their respective languages in a mixed language source program. Similarly, mixed language programs can be compiled with language specific services or systems such as parsers, scanners and the like to process corresponding code portions.
摘要翻译： 多种编程语言可以在单一来源内嵌入和支持。 嵌套有来自多种语言（例如，C＃，SQL，XML ...）的语法的程序等等使得用户能够利用不同语言的有利方面来执行特定任务。 可以使用提供语言特定功能的语言服务，包括但不限于格式化，智能辅助，自动完成和着色，并在混合语言源程序中为其各自语言提供支持。 类似地，混合语言程序可以用语言特定的服务或诸如解析器，扫描仪等的系统来编译以处理相应的代码部分。
-
-
-
-
-
-
-
-
-
搜索结果
13 条记录 (耗时 0.019 秒)
