Programming Languages: Implementations, Logics, and Programs

Name: Programming Languages: Implementations, Logics, and Programs
Brand: Springer, Berlin
SKU: 9783540633983
Price: 276.9 RON
Availability: InStock

9th International Symposium, PLILP '97.. Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September, 3-5, 1997

Autor: Hugh Glaser, Peter Hartel, Herbert Kuchen

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.90 lei

This volume constitutes the refereed proceedings of the 9th International Symposium on Programming L...

Informații despre carte

Autor

Hugh Glaser, Peter Hartel, Herbert Kuchen

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1997

Pagini

428

EAN

9783540633983

ISBN

3540633987

Enbook ID

05274740

Editura

Springer, Berlin

Greutate

582

Dimensiuni

156 x 234 x 22

Descriere completă

This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Programming Languages: Implementations, Logics, and Programs

9th International Symposium, PLILP '97.. Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September, 3-5, 1997

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Crystallography of Quasicrystals

Gender and Digital Media

Voice of Nigeria at Thirty, Quo Vadis?

By Right of Conquest; Or, With Cortez in Mexico

Treatment of International Research and Development as Investment Issues and Estimates

Challenger Storm-Isle of Blood

Household Vulnerability and Resilience to Economic Shocks

HISTORICAL COLL OF ALL NATIONS

Resource-Based and Evolutionary Theories of the Firm

New York New Wave

Collecting Rocks, Gems and Minerals

Term Structure of Interest Rates

Trail of a Sourdough Life in Alaska

Clienții care au cumpărat această carte au mai cumpărat și

Pharmazeutische UEbungspraparate

73 Recetas De Comidas Bajas En Sodio

BEFORE THE PARADE PASSES BY CHANT

Martine

SETGE DE TARRAGONA A LA GUERRA NAPOLEONICA, EL

北美耄齡桑榆自吟（五）

Kvapník plyšový mluvící

Die Anwendung des Einwendungsdurchgriffs gem. 359 BGB auf den Beitritt zu einer Publikumsgesellschaft.