英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：

SETL    
SET Language. A very high level language based on sets,
designed by Jack Schwartz at the {Courant Institute} in the
early 1970s. It was possibly the first use of {list
comprehension} notation.

Data types include sets (unordered collections), {tuples}
(ordered collections) and maps (collections of ordered pairs).
Expressions may include {quantifiers} ('for each' and
'exists'). The first {Ada} translator was written in SETL.

See also {ISETL}, {ProSet}, {SETL2}.

["Programming With Sets - An Introduction to SETL", Jacob
T. Schwartz et al, Springer 1986].


请选择你想看的字典辞典：
单词字典翻译
SetL查看　SetL　在百度字典中的解释百度英翻中〔查看〕
SetL查看　SetL　在Google字典中的解释Google英翻中〔查看〕
SetL查看　SetL　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • SETL - Wikipedia
    SETL provides quantified boolean expressions constructed using the universal and existential quantifiers of first-order predicate logic [1] [7] SETL provides several iterators to produce a variety of loops over aggregate data structures [1] [8]
  • GNU SETL
    GNU SETL comprises extensions to the SETL language and core “library”, and an implementation The project’s main goal has always been to offer a setl command that lets SETL play well in the Unix (POSIX) world of processes, pipes, filters, sockets, and programs written in other languages
  • LedgerSwarm RLN – Achieve Real-Time Settlement Across . . .
    LedgerSwarm is built to be scalable using SETL’s 1 million TPS technology Synchronize multiple internal ledgers simultaneously, with no errors, regardless of the underlying ledger technology Enable real-time cross-border, cross-currency transactions 24 7 across your organization, while staying in compliance
  • Setl | Immersive Wellness Experiences – Setl Immersive
    Setl creates multisensory experiences for live events designed to promote meaningful shifts in mental state Our immersive experiences feature spatial audio and delivery systems such as virtual reality, projection dome, and multi-surface projection installations
  • Large-Scale Structural Engineering Testing Laboratory
    The largest facility of its kind in the Pacific Northwest, the UW Large-Scale Structural Engineering Testing Laboratory (SETL) is located at the University of Washington’s Seattle campus, in More Hall
  • GNU SETL Om
    GNU SETL is an implementation of SETL, with a few extensions The goal was always a setl command that would play well in a Unix-like environment, allowing it to be used as easily as say awk, sed, or grep
  • GNU SETL User Guide
    Here is the general form of the setl command: The options include: By default, the GNU SETL Preprocessor, setlcpp, an adaptation of GNU CPP (the GNU C Preprocessor), is applied if the input program appears to require it Use --cpp or --nocpp to make an explicit choice





中文字典-英文字典  2005-2009