Common Lisp検証システム

スポンサーリンク

概要

• 論文の詳細を見る

• 我々はCommon Lisp the Language Second Edition(以下CLtL2)に準拠した処理系Tachyon Common Lipsを開発した。一般にソフトウエア開発におけるシステム機能の検証には非常に大きな工数がかかるが、Common Lisp特に第2版言語仕様であるCLtL2は非常にに大きな・言語仕様を持ち、また開発時におけるバージョンアップ毎に繰り返し行なわれる機能検証試験には多大な労力を必要とする。我々は、これらの検証作業を容易にするために、Common Lisp第2版言語仕様の検証システム(以下、検証システムと呼ぶ)を開発し、Tachyon Common Lispの開発において利用している。本稿では、この。Common Lisp検証システムの概要について述べる。

• 一般社団法人情報処理学会の論文
• 1992-02-24

著者

• 五味 弘

  沖テクノシステムズラボラトリ

• 長坂 篤

  沖電気工業

• 五味 弘

  (株)沖テクノシステムズラボラトリ

• 吉川 文康

  沖電気工業(株)総合システム研究所

• 吉川 文康

  沖電気工業(株)マルチメディア研究所

関連論文

• ISLisp処理系の開発と複合他システムインタフェースについて
• ISO規格ISLISP処理系におけるオブジェクトシステムの実装について
• ISO規格ISLISP処理系の実装方式
• ISO規格ISLISP処理系の開発
• ISLisp(Lisp言語のISO標準化案)とその動向
• Tachyon Common Lisp : 標準化と拡張性
• オーサリングシステムExtempore : スクリプト言語
• ブロードバンドにおけるマルチメディアストリーミング技術その1--スケーラブルな分散並列ビデオサーバ (マルチメディアメッセージング特集)
• 実時間ストリーム型情報配送における分散オブジェクト環境適用に関する検討
• DAVIC1.2準拠のサービス制御機構(SRM)の開発
• マルチメディアオーサリングシステムOKI Author
• 大容量連続メディアデータの管理方式と性能評価
• DVDチェンジャを用いた低コスト大容量ビデオファイルシステムの構築
• DAVIC準拠対応のメディアサーバOKI MediaServerの開発
• DAVIC準拠汎用メディアサ-バOKI Media Server V2
• DAVIC規格準拠メディアサーバ(OKI MediaServer)の開発
• 汎用メディアサ-バOKI Media Server (テレコム95特集)
• エ-ジェント指向オ-サリングシステムExtempore (先端技術特集)
• 高速全文検索FTSのシソーラス機能
• オーサリングシステムExtempore : エージェント記述
• オーサリングシステムExtempore : メタファ
• DAVIC活動状況(1997年2月現在)
• DAVIC活動状況(1996年11月現在)
• ブロードバンドネットワークにおけるコンテンツ配信サーバ実現技術
• B-16-2 著作権管理システムを統合した映像配信システム
• オーサリングシステムExtempore : 概要
• 高速全文検索の一手法
• Tachyon Common Lispコンパイラの実現方式と評価
• TAchyon Common Lisp : 表駆動アセンブラトランスレータによるPA-RISCへの移植
• Tachyon Common LispのPA-RISCへの移植
• Tachyon Common Lisp : CLOS開発環境
• Tachyon Common Lispにおけるウインドウ・インタフェース
• Tachyon Common Lispにおけるアセンブラ・トランスレータの移植性
• Tachyon Common LispのSPARCへの移植
• Common Lisp検証システム
• Tachyon Common Lisp におけるプリティプリント
• エキスパートシステム構築支援ツールにおけるデバッグ環境について
• ELIS8200最適化コンパイラとLapコード
• OS/2上のマルチタスクCommon Lispの開発
• Lisp-Cトランスレータにおける他言語とのインタフェースについて
• Lispプログラムの静的解析によるGCの改良
• ELIS8200におけるXウィンドウシステムの開発
• 4.サブシステム(マルチメディアライフを楽しくするDAVIC)
• 分散マルチメディアエージェント環境
• Web会議間におけるユーザ入力情報の共有方式の検討
• MHEG処理系の試作
• 語句切り出しを用いた全文検索の手法
• LISPマシンELISにおけるNFSの実現

もっと見る 閉じる

スポンサーリンク