Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... (Lecture Notes in Computer Science, 1292) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Programming Languages: Implementations, Logics, and...
Stock Image
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative . (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14a-1227
Seller Image
Programming Languages : Implementations, Logics, and Programs : 9th International Symposium, Plilp '97 Including a Special Track on Declarative Programming Languages in
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5905473-n
Stock Image
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... (Lecture Notes in Computer Science, 1292)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020172957
Seller Image
Programming Languages : Implementations, Logics, and Programs : 9th International Symposium, Plilp '97 Including a Special Track on Declarative Programming Languages in
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5905473
Stock Image
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, Plilp '97, Including a Special Track on Declarative . (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540633983
Buy New
US$ 66.11
US$ 20.73 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Programming Languages : Implementations, Logics, and Programs : 9th International Symposium, Plilp '97 Including a Special Track on Declarative Programming Languages in
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5905473-n
Buy New
US$ 69.52
US$ 20.07 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Programming Languages: Implementations, Logics, and Programs
Published by
Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540633987
ISBN 13: 9783540633983
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 444 pp. Englisch. Seller Inventory # 9783540633983
Buy New
US$ 64.75
US$ 27.03 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Programming Languages : Implementations, Logics, and Programs : 9th International Symposium, Plilp '97 Including a Special Track on Declarative Programming Languages in
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5905473
Buy Used
US$ 76.80
US$ 20.07 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Programming Languages: Implementations, Logics, and Programs
Published by
Springer Berlin Heidelberg, 1997
ISBN 10: 3540633987
ISBN 13: 9783540633983
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 i. Seller Inventory # 4896321
Buy New
US$ 58.56
US$ 57.58 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Programming Languages: Implementations, Logics, and Programs
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540633987
ISBN 13: 9783540633983
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch. Seller Inventory # 9783540633983
Buy New
US$ 64.75
US$ 70.53 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available