Functional Logic Programming 5th (11 results)

Condition: Sehr gut. 408 p. In very good condition. ISBN: 9783540417392 Sprache: Englisch Gewicht in Gramm: 585 15,5 x 2,3 x 23,6 cm, softcover.

Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Condition: New.

Paperback or Softback. Condition: New. Functional and Logic Programming: 5th International Symposium, Flops 2001, Tokyo, Japan, March 7-9, 2001. Proceedings. Book.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: As New. Unread book in perfect condition.

Paperback. Condition: Brand New. 1st edition. 389 pages. 9.50x6.25x1.00 inches. In Stock.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Papers.- The Metalanguage prolog and Its Implementation.- A Scalable Architecture for Proof-Carrying Code.- Parameterized Logic Programs where Computing Meets Learning.- Functional Programming.- Proving Syntactic Properties of Exceptions in an Ordered Logical Framework.- A Higher-Order Colon Translation.- Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine.- Logic Programming.- A Higher-Order Logic Programming Language with Constraints.- Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and Prolog A Case-study .- An Effective Bottom-Up Semantics for First-Order Linear Logic Programs.- Functional Logic Programming.- A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs.- Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.- Adding Linear Constraints over Real Numbers to Curry.- A Complete Selection Function for Lazy Conditional Narrowing.- An Abstract Machine Based System for a Lazy Narrowing Calculus.- Incremental Learning of Functional Logic Programs.- Types.- A General Type Inference Framework for Hindley/Milner Style Systems.- Monadic Encapsulation with Stack of Regions.- Well-Typed Logic Programs Are not Wrong.- Program Analysis and Transformation.- A Framework for Analysis of Typed Logic Programs.- Abstract Compilation for Sharing Analysis.- A Practical Partial Evaluator for a Multi-Paradigm Declarative Language.- A Simple Take on Typed Abstract Syntax in Haskell-like Languages.- Calculus.- A simply typed context calculus with first-class environments.- Refining the Barendregt Cube using Parameters.…

PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Condition: Neu. Functional and Logic Programming | 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings | Herbert Kuchen (u. a.) | Taschenbuch | x | Englisch | 2001 | Springer | EAN 9783540417392 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …