翻訳と辞書
Words near each other
・ queasy
・ queen mary and westfield college
・ queen's university
・ queens problem
・ queens puzzle
・ quel
・ query
・ query by example
・ query expansion
・ ques
quest
・ question mark
・ queue
・ queued sequential access method
・ quick
・ quick mail queueing protocol
・ quick mail transfer protocol
・ quick-and-dirty
・ quickdraw
・ quicksilver


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

quest : FOLDOC
Quest
1. A language designed for its simple denotational semantics. "The Denotational Semantics of Programming Languages", R. Tennent, CACM 19(8):437-453 (Aug 1976).
2. QUantifiers and SubTypes. Language with a sophisticated type system. Just as types classify values, "kinds" classify types and type operators. Explicit universal and existential quantification over types, type operators, and subtypes. Subtyping is defined inductively on all type constructions, including higher-order functions and abstract types. User-definable higher-order type operators.
"Typeful Programming", Luca Cardelli , RR 45, DEC SRC 1989.
Implemented in Modula-3.
{(ftp://gatekeeper.dec.com/pub/DEC/Quest/quest12A.tar.Z)}.
3. A multimedia authoring system. Quest has been available for MS-DOS for some time. Version 3.5 for Microsoft Windows was released around March 1995. It features an {Authorware}-style {flowchart} system with an ANSI C {script language}.
(1995-04-0


スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.