专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

11. 发明申请

US20070044083A1 Lambda expressions 审中-公开
标题翻译： Lambda表达式
公开(公告)号：US20070044083A1
公开(公告)日：2007-02-22
申请号：US11193565
申请日：2005-07-29
申请人： Henricus Meijer , Anders Hejlsberg , Donald Box , Matthew Warren , Luca Bolognese , Gary Katzenberger , Peter Hallam , Dinesh Kulkarni
发明人： Henricus Meijer , Anders Hejlsberg , Donald Box , Matthew Warren , Luca Bolognese , Gary Katzenberger , Peter Hallam , Dinesh Kulkarni
IPC分类号： G06F9/45
CPC分类号： G06F8/437 , G06F8/311 , G06F8/312
摘要： The subject disclosure pertains to lambda expressions and the employment of such expressions in imperative and/or object-oriented computer programming languages. Lambda expressions can be employed in conjunction with methods (e.g., arguments, assignment . . . ) to provide a more concise and functional manner of code specification. Further, lambda expressions can participate in type inference and checking as well as overload resolution, among other things.
摘要翻译：主题公开涉及lambda表达式以及在命令式和/或面向对象的计算机编程语言中使用这种表达式。 Lambda表达式可以与方法（例如，参数，赋值...）一起使用，以提供更简洁和功能性的代码规范方式。此外，lambda表达式可以参与类型推断和检查以及重载分辨率等等。

12. 发明授权

US4517640A Stack machine with improved cache memory for variables 失效
标题翻译：堆叠机具有改进的高速缓存用于变量
公开(公告)号：US4517640A
公开(公告)日：1985-05-14
申请号：US393533
申请日：1982-06-30
申请人： Akira Hattori , Hiromu Hayashi , Akio Shinagawa , Tsuyoshi Shinogi
发明人： Akira Hattori , Hiromu Hayashi , Akio Shinagawa , Tsuyoshi Shinogi
IPC分类号： G06F9/44 , G06F13/00
CPC分类号： G06F8/312
摘要： The present invention discloses a data processing system having a program structure and execution mode where an actual argument is bound to a formal argument of a function to be called by storing a pair of a variable name as the formal argument and a variable as the actual argument into a First-In-Last-Out type stack memory which is an environment list, the function called executes processings using a latest bind value of said environment list when referring to variable values, when a value of such function is obtained, the function value is returned by deleting the formal argument variable of the function from the environment list. The system includes an associative buffer memory provided externally to the stack memory, where at least the variable name and location data of variable on the environment list are stored in the associative buffer memory, and thereby the access time for referring to variables stored in the stack memory can be curtailed.
摘要翻译：本发明公开了一种具有程序结构和执行模式的数据处理系统，其中通过存储一对变量名称作为形式参数和变量作为实际参数，实际参数被绑定到要调用的函数的形式参数进入作为环境列表的先进先出型堆栈存储器中，当获得这种功能的值时，所述功能称为在引用变量值时使用所述环境列表的最新绑定值执行处理，功能值通过从环境列表中删除函数的形式参数变量返回。该系统包括在堆栈存储器的外部提供的关联缓冲存储器，其中至少将环境列表上变量的变量名称和位置数据存储在关联缓冲存储器中，从而存储参考存储在堆栈中的变量的访问时间记忆可以减少

13. 发明申请

US20150242617A1 INFORMATION PROCESSING DEVICE, INFORMATION PROCESSING METHOD, AND COMPUTER PROGRAM 有权
标题翻译：信息处理设备，信息处理方法和计算机程序
公开(公告)号：US20150242617A1
公开(公告)日：2015-08-27
申请号：US14372900
申请日：2012-12-25
申请人： Sony Corporation
发明人： Tadashi Morita
IPC分类号： G06F21/44 , G06F21/52 , G06F9/44
CPC分类号： G06F21/445 , G06F8/311 , G06F8/312 , G06F21/52 , G06F2221/033 , G06F2221/2153
摘要： There is provided an information processing device including a first program execution unit that loads, interprets, and executes code of a computer program created by a procedural language. The program execution unit includes at least one port, and via this port, executes a second computer program created by a procedural language executed by a second program execution unit after authenticating with the second program execution unit.
摘要翻译：提供了一种信息处理装置，其包括第一程序执行单元，其加载，解释和执行由过程语言创建的计算机程序的代码。程序执行单元包括至少一个端口，并且经由该端口，在与第二程序执行单元进行认证之后，执行由第二程序执行单元执行的程序语言创建的第二计算机程序。

14. 发明授权

US5283878A Method and apparatus for encoding data types for object identification 失效
标题翻译：用于编码对象识别的数据类型的方法和装置
公开(公告)号：US5283878A
公开(公告)日：1994-02-01
申请号：US560442
申请日：1990-07-31
申请人： Kelly E. Murray
发明人： Kelly E. Murray
IPC分类号： G06F9/44 , G06F12/06
CPC分类号： G06F8/312 , G06F9/44
摘要： Method and apparatus are provided for encoding data types to identify the type of object being operated on during execution of a computer program on a data processing system including byte-addressed memory. The object is represented by at least one machine word having a plurality of bits. The method includes the steps of storing an object in the byte-addressed memory so that the lower three bits of the object are in a zero state and setting one of the lower three bits to a non-zero state to indicate a particular data type. Three different types of data can be verified by checking the state of a single bit. In one embodiment of the invention the method further includes the step of setting a second one of the lower three bits to a non-zero state to indicate that the object, such as NIL, is a member of two data types. In a second embodiment of the invention the method further includes the step of setting a bit immediately adjacent the lower three bits to a non-zero state to indicate whether the object is a short-float object. The invention has particular utility for use with the computer programs written in a LISP-like language.
摘要翻译：提供了用于编码数据类型以识别在包括字节寻址存储器的数据处理系统上的计算机程序执行期间正在操作的对象的类型的方法和装置。该目标由具有多个位的至少一个机器字表示。该方法包括以下步骤：将对象存储在字节寻址的存储器中，使得对象的低三位处于零状态，并将低三位中的一个设置为非零状态以指示特定数据类型。可以通过检查单个位的状态来验证三种不同类型的数据。在本发明的一个实施例中，该方法还包括将低三位中的第二位设置为非零状态以指示诸如NIL的对象是两种数据类型的成员的步骤。在本发明的第二实施例中，该方法还包括将紧邻低三位的位设置为非零状态以指示对象是短浮点对象的步骤。本发明特别适用于以类似LISP的语言编写的计算机程序。

15. 发明授权

US4922414A Symbolic language data processing system 失效
标题翻译：符号语言数据处理系统
公开(公告)号：US4922414A
公开(公告)日：1990-05-01
申请号：US78724
申请日：1987-09-08
申请人： John T. Holloway , David A. Moon , Howard I. Cannon , Thomas F. Knight , Bruce E. Edwards , Daniel L. Weinreb
发明人： John T. Holloway , David A. Moon , Howard I. Cannon , Thomas F. Knight , Bruce E. Edwards , Daniel L. Weinreb
IPC分类号： F02B75/02 , G06F9/318 , G06F9/44 , G06F11/00 , G06F11/07 , G06F11/14 , G06F12/02 , G06F12/10 , G06F13/28 , G06F13/42
CPC分类号： G06F9/30192 , G06F11/073 , G06F11/0751 , G06F11/0793 , G06F11/1402 , G06F12/023 , G06F12/0253 , G06F12/1027 , G06F13/287 , G06F13/4217 , G06F8/312 , G06K13/0825 , F02B2075/027
摘要： A symbolic language data processing system comprises a sequencer unit, a data path unit, a memory control unit, a front-end processor, an I/O and a main memory connected on a common Lbus to which other peripherals and data units can be connected for intercommunication. The system architecture includes a novel bus network, a synergistic combination of the Lbus, microtasking, centralized error correction circuitry and a synchronous pipelined memory including processor mediated direct memory access, stack cache windows with two segment addressing, a page hash table and page hash table cache, garbage collection and pointer control, a close connection of the macrocode and microcode which enables one to take interrupts in and out of the macrocode instruction sequences, parallel data type checking with tagged architecture, procedure call and microcode support, a generic bus and a unique instruction set to support symbolic language processing.
摘要翻译：符号语言数据处理系统包括定序器单元，数据路径单元，存储器控制单元，前端处理器，连接在可连接其它外围设备和数据单元的公共Lbus上的I / O和主存储器用于互通。系统架构包括一个新颖的总线网络，Lbus，微任务，集中纠错电路和包括处理器介质的直接存储器访问的同步流水线存储器，两个段寻址的堆栈高速缓存窗口，页面散列表和页面散列表的协同组合高速缓存，垃圾回收和指针控制，宏代码和微代码的紧密连接，使得能够进入和退出宏代码指令序列的中断，具有标记架构的并行数据类型检查，过程调用和微代码支持，通用总线和独特的指令集支持符号语言处理。

16. 发明授权

US3646523A Computer 失效
标题翻译：电脑
公开(公告)号：US3646523A
公开(公告)日：1972-02-29
申请号：US3646523D
申请日：1969-09-24
申请人： IBM
发明人： BERKLING KLAUS JUERGEN
IPC分类号： G06F9/00 , G06F9/44 , G06F15/00 , G11C15/04 , G06F7/00
CPC分类号： G06F8/312 , G11C15/04
摘要： A computer is disclosed wherein the machine language thereof is a particular formal system, i.e., the ''''calculus of lambda conversion.'''' Such machine language is the language of the ''''well-formed'''' formulas of the aforementioned lambda calculus whereby the theoretical properties of the lambda calculus are implemented in the computer. Consequently, the computer is capable of computing all computable functions with time and space being the only limitations. The nerve center of the system is termed a tablet which in one implementation may essentially consist of an array of high-speed registers, each one large enough to hold a primitive term together with its designator. The nodes of a tree given by some formula corresponds to rows in the tablet and the branches extending from the nodes correspond to columns in the tablet. In one embodiment, the tablet has three columns for the branches and can have a fourth column which holds the tree addresses of the nodes. Associative techniques permit access to a row upon a match with the contents of the data or designator fields of one or more columns. The basic unit of information consists of the contents of a complete row of the tablet, such unit being termed a ''''message.'''' The tablet, functioning as a central communication device, communicates with functional units, memory units, and input-output units, the latter issuing and accepting messages, or merging them with existing ones when the units obtain access to the tablet. The invention contemplates either the accessing by the units of the whole tablet, one after another in a fixed sequence, or the accessing by each unit of only a subset of the tablet, all units simultaneously accessing discrete subsets respectively. In order to render all messages available to all units, all of the messages are circulated, i.e., shifted through the whole tablet.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式