英文字典中文字典


英文字典中文字典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英翻中〔查看〕





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


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

































































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


  • LedgerSwarm RLN – Achieve Real-Time Settlement Across Different Ledgers . . .
    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 - 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
  • setlist. fm - the setlist wiki
    The internet's biggest source of setlists including tour and song statistics, personal statistics, videos and much more
  • 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
  • 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
  • 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 Language Reference
    For information on how to run and use GNU SETL, see the GNU SETL User Guide For the primary document in the present set, see the GNU SETL Om
  • 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
  • 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
  • Basic concept - setl
    The entry point of a SETL project is the object io github setl Setl, which will handle the pipeline and spark repository instantiation You can find the following tutorial code in the starter template of SETL Go and clone it :) Here we show a simple example of creating and saving a Dataset [TestObject]
  • 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
  • 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)
  • SETL - Programming language - PLDB
    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
  • SETL — Software Preservation Group
    Releases of SETL, with documentation





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