英文字典中文字典


英文字典中文字典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 was used for an early implementation of the programming language Ada, named the NYU Ada ED translator [10] This later became the first validated Ada implementation, certified on April 11, 1983
  • 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
    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
  • Setl | Experiential Wellness – Setl Immersive
    Setl creates multisensory experiences designed to promote meaningful shifts in mental state Our immersive experiences feature spatial audio and delivery systems such as immersive projection, virtual reality, and projection domes
  • GNU SETL Om ¶
    SETL began as a tool for the high-level expression of complex algorithms It soon found a role in rapid software prototyping, as was demonstrated by the NYU Ada Ed project, where it was used to implement the first validated Ada 83 compiler and run-time system
  • SETL - LinkedIn
    The SETL system will enable market participants to move cash and assets directly between each other, facilitating the immediate and final settlement of market transactions
  • SETL Historical Sources Archive - Software Preservation
    Jacob T "Jack" Schwartz started the SETL project around 1970 at the Courant Institute of Mathematical Sciences of New York University The project developed a very high level programming language, SETL, based on the idea of finite sets as the fundamental data structure
  • SETL - HandWiki
    SETL (SET Language) is a very high-level programming language based on the mathematical theory of sets It was originally developed by (Jack) Jacob T Schwartz at the New York University (NYU) Courant Institute of Mathematical Sciences in the late 1960s
  • GNU SETL User Guide ¶
    The setl command ¶ The setl command is the primary interface to the GNU SETL system In typical use, it preprocesses SETL programs using setlcpp and compiles them with setltran into GNU SETL Virtual Machine code, which it then executes





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