FUNCTIONAL AND LOGIC PROGRAMMING - PROCEEDINGS OF THE SECOND FUJI INTERNATIONAL WORKSHOP

Inbunden, Engelska, 1997

1 913 kr

Tillfälligt slut

Beskrivning

This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and concurrency.

Produktinformation

Utgivningsdatum:1997-03-18
Format:Inbunden
Språk:Engelska
Antal sidor:328
Förlag:World Scientific Publishing Co Pte Ltd
ISBN:9789810229238

Utforska kategorier

Programvaruutveckling inom Data och IT

Innehållsförteckning

Mathematics as a rewrite language, B. Buchberger; strong completeness of a lazy conditional narrowing calculus, M. Hamada and A. Middledorp; the design and implementation of Mondrian, E. Meijer et al; a functional perspective of array primitives, T.-R. Chuang; Curry - a truly functional logic language, M. Hanus; on the inference of structured recursive effects with subtyping, M. Debbabi et al; temporal semantics of a concurrency monad with choice and services, T. Frauenstein et al; interactive functional programming, H. Barendregt; algebraic semantics for higher-order functional-logic programming, M. Hamana; higher-order functional logic-programming - a systematic development, C. Prehofer; currying multimethods in a merge calculus, H. Tsuiki. (Part contents).

Du kanske också är intresserad av

Nyhet

L’amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

C M SAVAGE H J GARDNER, Henry J Gardner, Craig M Savage - COMPUTATIONAL PHYSICS - PROCEEDINGS OF THE 9TH PHYSICS SUMMER SCHOOL AT THE AUSTRALIAN NATIONAL UNIV, Inbunden

Del 9

COMPUTATIONAL PHYSICS - PROCEEDINGS OF THE 9TH PHYSICS SUMMER SCHOOL AT THE AUSTRALIAN NATIONAL UNIV

C M SAVAGE H J GARDNER, Henry J Gardner, Craig M Savage

Inbunden, 1997

1 256 kr

Makers of 20th Century Modern Architecture

Donald L. Johnson, Donald Langmead

Inbunden, 1997

939 kr

Occupational Disorders

Martin Kantor MD

Inbunden, 1997

1 082 kr

Structural Control - Proceedings Of The First European Conference

Rodellar Jose Rodellar, Baratta A Baratta

E-bok

1997

897 kr

Ideologues and Ideologies in Latin America

William M. Fowler, Will Fowler

Inbunden, 1997

1 050 kr