000 03435nam a22005895i 4500
001 978-3-540-33439-2
003 DE-He213
005 20240730192326.0
007 cr nn 008mamaa
008 100301s2006 gw | s |||| 0|eng d
020 _a9783540334392
_9978-3-540-33439-2
024 7 _a10.1007/11737414
_2doi
050 4 _aQA76.6-76.66
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
072 7 _aUM
_2thema
082 0 4 _a005.11
_223
245 1 0 _aFunctional and Logic Programming
_h[electronic resource] :
_b8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /
_cedited by Masami Hagiya, Philip Wadler.
250 _a1st ed. 2006.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2006.
300 _aX, 298 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3945
505 0 _aInvited 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.
650 0 _aComputer programming.
_94169
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_9149531
650 0 _aArtificial intelligence.
_93407
650 1 4 _aProgramming Techniques.
_9149532
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aFormal Languages and Automata Theory.
_9149533
650 2 4 _aArtificial Intelligence.
_93407
700 1 _aHagiya, Masami.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9149534
700 1 _aWadler, Philip.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9149535
710 2 _aSpringerLink (Online service)
_9149536
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540334385
776 0 8 _iPrinted edition:
_z9783540822776
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3945
_9149537
856 4 0 _uhttps://doi.org/10.1007/11737414
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c94195
_d94195