英文字典中文字典


英文字典中文字典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]
  • 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
  • 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
  • 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
  • SETL - Crunchbase Company Profile Funding
    SETL is an inititive to deploy a multi-asset, multi-currency institutional payment and settlements infrastructure based on blockchain technology 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 Group
    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
  • Learn SETL with examples, lessons and exercises - GitHub
    Lessons and exercises to get familiar with the wonderful SETL framework! 1 Entry Point and configurations 2 Extract 3 Transform 4 Load 5 From local to production environment Learn SETL with examples, lessons and exercises Contribute to SETL-Framework setl-examples development by creating an account on GitHub
  • SETL — Software Preservation Group
    Releases of SETL, with documentation
  • SETL4 - An Implementation of SETL Written in SPITBOL
    What is SETL? SETL (SET Language) is a programming language with finite sets as the fundamental data type It was created by Jacob T "Jack" Schwartz of the Courant Institute of Mathematical Sciences (CIMS) of New York University (NYU)
  • 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