rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Programming Languages: Implementations, Logics, and Programs
    sub title: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings
  name:
    name part: Glaser, Hugh.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Hartel, Peter.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Kuchen, Herbert.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 1997
    edition: 1st ed. 1997.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XI, 428 p. online resource.
  abstract: 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.
  table of contents: Narrowing the narrowing space -- An object calculus with algebraic rewriting -- Inheritance and selective method dispatching in concurrent Haskell -- Overriding operators in a mixin-based framework -- Resolution for logic programming with universal quantifiers -- A declarative approach to concurrent programming -- Transformation of divide & conquer to nested parallel loops -- Transforming lazy functions using comportment properties -- Transformations for efficient evaluations in functional programming -- Inline expansion: When and how? -- Higher-order value flow graphs -- Intuitionistic implication in abstract interpretation -- An open-ended finite domain constraint solver -- Semantics and compilation of recursive sequential streams in 81/2 -- Implementation of term rewritings with the evaluation strategy -- Reflections on reflections -- Evaluation under lambda abstraction -- Selective recomputation for handling side-effects in parallel logic programs -- Tracing lazy functional computations using redex trails -- Functional programming and geometry -- Where do I begin? A problem solving approach in teaching functional programming -- Teaching functional and logic programming with a single computation model -- Logic implemented functionally -- DrScheme: A pedagogic programming environment for scheme -- An editor for helping novices to learn standard ML -- Introducing the declarative dungeon -- A pragmatic approach to compilation of Erlang -- Formal translations described by translation grammars with LR(k) input grammars -- Automatic run-time code generation in object-oriented languages.
  note: edited by Hugh Glaser, Peter Hartel, Herbert Kuchen.
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computer programming
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Artificial intelligence
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Programming Techniques
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Artificial Intelligence
  classification: QA76.7-76.73
  classification: QA76.76.C65
  classification: 005.13
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 1292
  identifier: 9783540695370
  identifier: https://doi.org/10.1007/BFb0033832
  record info:
    record creation date: 121227
    record change date: 20191024142734.0
    record identifier: 978-3-540-69537-0