OPAC

検索結果一覧に戻る

Functional and Logic Programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / edited by Masami Hagiya, Philip Wadler
(Programming and Software Engineering. ISSN:29459168 ; 3945)

データ種別	電子ブック
版	1st ed. 2006.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	2006
大きさ	X, 298 p : online resource
著者標目	Hagiya, Masami editor Wadler, Philip editor SpringerLink (Online service)

所蔵情報を非表示

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0003970	Computer Scinece R0 2005-6,2022-3				9783540334392

書誌詳細を非表示

一般注記	Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place -- Refereed Papers -- “Scrap Your Boilerplate” Reloaded -- Ruler: Programming Type Rules -- A Framework for Extended Algebraic Data Types -- Lock Free Data Structures Using STM in Haskell -- XML Type Checking Using High-Level Tree Transducer -- A Computational Approach to Pocklington Certificates in Type Theory -- Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems -- Resource Analysis by Sup-interpretation -- Lazy Set-Sharing Analysis -- Size-Change Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs of Projections -- iData for the World Wide Web – Programming Interconnected Web Forms -- Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages -- WASH Server Pages HTTP:URL=https://doi.org/10.1007/11737414
件　名	LCSH:Computer programming LCSH:Compilers (Computer programs) LCSH:Computer science LCSH:Machine theory LCSH:Artificial intelligence FREE:Programming Techniques FREE:Compilers and Interpreters FREE:Computer Science Logic and Foundations of Programming FREE:Formal Languages and Automata Theory FREE:Artificial Intelligence
分　類	LCC:QA76.6-76.66 DC23:005.11
書誌ID	EB00003358
ISBN	9783540334392