Declarative programming, Sasbachwalden 1991 [electronic resource] : Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991 / John Darlington and Roland Dietrich (eds.)
Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descriptive capabilities, the availability of program analysis techniques and the potential for parallel executi...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Authors: | , |
| Other Authors: | , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
London ; New York :
Springer-Verlag,
©1992.
|
| Series: | Workshops in computing.
|
| Subjects: |
MARC
| LEADER | 00000cam a2200000xa 4500 | ||
|---|---|---|---|
| 001 | b7984333 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 100702s1992 enka ob 101 0 eng d | ||
| 005 | 20240418143558.2 | ||
| 019 | |a 637317154 |a 1001499371 | ||
| 020 | |a 9781447137948 |q (electronic bk.) | ||
| 020 | |a 1447137949 |q (electronic bk.) | ||
| 020 | |z 0387197354 | ||
| 020 | |z 9780387197357 | ||
| 020 | |z 3540197354 | ||
| 020 | |z 9783540197355 | ||
| 035 | |a (OCoLC)spr645815619 | ||
| 035 | |a (OCoLC)645815619 |z (OCoLC)637317154 |z (OCoLC)1001499371 | ||
| 037 | |a spr978-1-4471-3794-8 | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d OCLCF |d GW5XE |d OCL |d OCLCQ |d OCLCO |d OCLCQ |d UAB |d OCLCQ |d YDX |d OCLCQ | ||
| 042 | |a dlr | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.6 |b .P516 1991 | |
| 111 | 2 | |a Phoenix Seminar and Workshop on Declarative Programming |d (1991 : |c Sasbachwalden, Germany) |0 http://id.loc.gov/authorities/names/n91112836. | |
| 245 | 1 | 0 | |a Declarative programming, Sasbachwalden 1991 |h [electronic resource] : |b Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991 / |c John Darlington and Roland Dietrich (eds.) |
| 260 | |a London ; |a New York : |b Springer-Verlag, |c ©1992. | ||
| 300 | |a 1 online resource (viii, 324 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Workshops in computing. | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a A design space for integrating declarative languages ; Introducing constraint functional logic programming / John Darlington, Yike Guo and Helen Pull -- How to use guarded functional programming / Roland Dietrich -- Enriching Prolog with s-unification / Andreas Kågedal and Feliks Kluźniak -- A tiny functional language with logical features / Ross Paterson -- Temporal constraint functional programming : a declarative framework for concurrency and interaction / Nick Graham -- Eight queens divided : an experience in parallel functional programming / K.G. Langendoen and W.G. Vree --Intelligent backtracking in and-parallel Prolog / Andrew Verden and Hugh Glaser -- Parameterized interfaces are interfaces : AIAS / Sophia Drossopoulou, Ross Paterson and Susan Eisenbach. | |
| 505 | 0 | |a Type classes are signatures of abstract types / Konstantin Läufer and Martin Odersky -- Syntactic and semantic inheritance in logic programming / Luís Monteiro and António Porto -- A survey of the implementations of narrowing / P.H. Cheong and Laurent Fribourg -- A systematic method for designing abstract narrowing machines / Hendrik C.R. Lock -- Some algorithms for fast and complete execution of logic programs / Roland Olsson -- A common graphical form / David Parrott and Chris Clack -- Generating efficient portable code for a strict applicative language / Wolfram Schulte and Wolfgang Grieskamp -- More advice on proving a compiler correct : improve a correct compiler / Erik Meijer -- Pers as types, inductive types and types with laws / Ed Voermans. | |
| 505 | 0 | |a Failure analysis based on abstract interpretation / M.-M. Corsini and K. Musumbu -- Sequentializing parallel programs / Mark Korsloot and Evan Tick. | |
| 520 | |a Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descriptive capabilities, the availability of program analysis techniques and the potential for parallel execution. This volume contains the proceedings of a seminar and workshop organised by the Esprit Basic Research Action Phoenix in collaboration with the Esprit Basic Research Action Integration. Both these groups have been closely involved in investigating the foundations of declarative programming and the integration of various language paradigms, as well as the developing aspects of related technology. The main aim of the seminar and workshop was to provide a forum for the results of this work, together with contributions from other researchers in the same field. These papers cover a variety of important technical areas such as foundations and languages, program transformation and analysis, integrated approaches, implementation techniques, abstract machines and programming methodology. The resulting volume provides an in-depth picture of current research into declarative programming. It will be of special interest to researchers in programming languages and methodology, students of artificial intelligence and anyone involved in industrial research and development. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Declarative programming |v Congresses. | |
| 650 | 7 | |a Declarative programming. |2 fast |0 (OCoLC)fst00889108. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Darlington, J. |0 http://id.loc.gov/authorities/names/n81087972 |1 http://isni.org/isni/0000000031116699. | |
| 700 | 1 | |a Dietrich, Roland, |d 1958- |0 http://id.loc.gov/authorities/names/n91112767 |1 http://isni.org/isni/0000000084705729. | |
| 710 | 2 | |a British Computer Society. |0 http://id.loc.gov/authorities/names/n79056431 |1 http://isni.org/isni/0000000110342635. | |
| 776 | 0 | 8 | |i Print version: |a Phoenix Seminar and Workshop on Declarative Programming (1991 : Sasbachwalden, Germany). |t Declarative programming, Sasbachwalden 1991. |d London ; New York : Springer-Verlag, ©1992 |w (DLC) 91041318 |w (OCoLC)24872148. |
| 830 | 0 | |a Workshops in computing. |0 http://id.loc.gov/authorities/names/n88542912. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-1-4471-3794-8 |z Full Text (via Springer) |
| 907 | |a .b79843335 |b 09-08-21 |c 06-01-15 | ||
| 998 | |a web |b 08-31-21 |c b |d b |e - |f eng |g enk |h 0 |i 1 | ||
| 907 | |a .b79843335 |b 09-08-21 |c 06-01-15 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 956 | |a Computer Science | ||
| 915 | |a - | ||
| 956 | |a Springer e-books: Archive | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Computer Science | ||
| 999 | f | f | |i b4102109-6ca4-5d07-8b4a-41a7df03dfe2 |s ab939d18-889f-5e31-95dd-34844694303c |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.6 .P516 1991 |h Library of Congress classification |i Ebooks, Prospector |n 1 |