最 低 价：￥82.50
定 价：￥110.00
作 者：ShriramKrishnamurthi 著 著
出 版 社：Oversea Publishing House
出版时间：2002-3-1
I S B N：9783540430926
| Invited Talks Using a Declarative Language to Build an Experimental Analysis Tool How to Talk to Your Computer so that It Will Listen Single-Threaded Objects in ACL2 Regular Papers Modeling Engineering Structures with Constrained Objects Compiler Construction in Higher Order Logic Programming Declarative Programming and Clinical Medicine（On the Use of Gisela in the MedView Project） Semantics-Based Filtering: Logic Programming's Killer App？ Linear Scan Register Allocation in a High-Performance Erlang Compiler Compiling Embedded Programs to Byte Code Typed Combinators for Generic Traversal Event-Driven FRP Adding Apples and Oranges WASH/CGI: Server-Side Web Scripting with Sessions and Typed，Compositional Forms A Better XML Parser through Functional Programming Functional Approach to Texture Generation Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs A High-Level Generic Interface to External Programming Languages for ECLiPSe A Debugging Scheme for Declarative Equation Based Modeling Languages Segment Order Preserving and Generational Garbage Collection for Prolog Exploiting Efficient Control and Data Structures in Logic Programs Suspending and Resuming Computations in Engines for SLG Evaluation Author Index |
内容加载中，请稍后...
商品评论（0条）