-
公开(公告)号：EP2350866A2
公开(公告)日：2011-08-03
申请号：EP09818473.2
申请日：2009-09-30
发明人： LANGWORTHY, David E. , BIERMAN, Gavin , GORDON, Andrew D. , BOX, Donald F. , LOVERING, Bradford H. , SCHLIMMER, Jeffrey C. , DOTY, John D.
摘要： An efficient, logical and expressive type system is provided for flexibly defining types of a declarative programming language so that efficient and structurally compact data intensive applications can be generated. The type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. With the type system, types can be expressed as intersections and/or unions of other types. Thus, types can be efficiently represented for a full range of types of data as may be found in real world data stores.
-
公开(公告)号：EP2248036A2
公开(公告)日：2010-11-10
申请号：EP08871356.5
申请日：2008-12-29
CPC分类号： G06F9/544 , G06F9/4493
摘要： Bookmarking of tokens in a set of streaming tokens, each representing an instantiation instruction or instantiation context. A navigator receives a set of streaming tokens, and provides the tokens to the instantiation manager. However, if the navigator receives an instruction to bookmark a particular token, the navigator buffers the set of streaming instructions at least beginning at the bookmarked token (and possible even earlier if there were prior bookmarks). The navigator replays the set of streaming tokens beginning at a bookmark in response to an instruction from an instantiation manager. The instantiation manager receives the set of streaming tokens. If the instantiation manager is not presently capable of handling the instruction of a particular token, the instantiation manager instructs the navigator to bookmark the particular token. When the instantiation manager later receives a token that permits the instantiation manager to return to the bookmark, the instantiation manager returns to the bookmark to replay the instantiation instructions beginning at the bookmark.
-
搜索结果
2 条记录 (耗时 0.012 秒)
