The Resource Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings, edited by Hélène Kirchner, Giorgio Levi, (electronic resource)

Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings, edited by Hélène Kirchner, Giorgio Levi, (electronic resource)

Label
Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings
Title
Algebraic and Logic Programming
Title remainder
Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings
Statement of responsibility
edited by Hélène Kirchner, Giorgio Levi
Creator
Contributor
Editor
Provider
Subject
Language
eng
Summary
This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 1992. Like the two previous conferences in Germany in 1988 and France in 1990, the third conference aims at strengthening the connections betweenalgebraic techniques and logic programming. On the one hand, logic programming has been very successful during the last decades and more and more systems compete in enhancing its expressive power. On the other hand, concepts like functions, equality theory, and modularity are particularly well handled in an algebraic framework. Common foundations of both approaches have recently been developed, and this conference is a forum for people from both areas to exchange ideas, results, and experiences. The book covers the following topics: semantics ofalgebraic and logic programming; integration of functional and logic programming; term rewriting, narrowing, and resolution; constraintlogic programming and theorem proving; concurrent features in algebraic and logic programming languages; and implementation issues
Member of
http://library.link/vocab/creatorName
Kirchner, Hélène
Image bit depth
0
LC call number
  • QA76.7-76.73
  • QA76.76.C65
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Levi, Giorgio.
  • SpringerLink
Series statement
Lecture Notes in Computer Science,
Series volume
632
http://library.link/vocab/subjectName
  • Computer science
  • Logic design
  • Computer Science
  • Programming Languages, Compilers, Interpreters
  • Logics and Meanings of Programs
  • Mathematical Logic and Formal Languages
Label
Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings, edited by Hélène Kirchner, Giorgio Levi, (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Outline of an object-oriented calculus of higher type -- High-level-replacement systems for equational algebraic specifications -- Termination of rewrite systems by elementary interpretations -- Termination of order-sorted rewriting -- Generalized sufficient conditions for modular termination of rewriting -- A theory of first-order built-in's of prolog -- Fixpoint semantics for partial computed answer substitutions and call patterns -- Oracle semantics for Prologa -- On the relation between primitive recursion, schematization, and divergence -- Term rewriting with sharing and memoïzation -- Definitional trees -- Multiparadigm logic programming -- Non-linear real constraints in constraint logic programming -- A general scheme for constraint functional logic programming -- Incremental rewriting in narrowing derivations -- Counterexamples to completeness results for basic narrowing (extended abstract) -- Uniform narrowing strategies -- Proof by consistency in constructive systems with final algebra semantics -- A fast algorithm for ground normal form analysis -- Eta-conversion for the languages of explicit substitutions -- Serialisation analysis of concurrent logic programs -- Implementation of a toolset for prototyping algebraic specifications of concurrent systems -- Axiomatizing permutation equivalence in the ?-calculus -- A CLP view of logic programming -- Partial deduction of logic programs WRT well-founded semantics -- The finiteness of logic programming derivations -- Theorem proving for hierarchic first-order theories -- A goal oriented strategy based on completion -- On n-syntactic equational theories
Dimensions
unknown
Extent
IX, 460 p.
File format
multiple file formats
Form of item
electronic
Isbn
9783540473022
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/BFb0013814
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-540-47302-2
Label
Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings, edited by Hélène Kirchner, Giorgio Levi, (electronic resource)
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Outline of an object-oriented calculus of higher type -- High-level-replacement systems for equational algebraic specifications -- Termination of rewrite systems by elementary interpretations -- Termination of order-sorted rewriting -- Generalized sufficient conditions for modular termination of rewriting -- A theory of first-order built-in's of prolog -- Fixpoint semantics for partial computed answer substitutions and call patterns -- Oracle semantics for Prologa -- On the relation between primitive recursion, schematization, and divergence -- Term rewriting with sharing and memoïzation -- Definitional trees -- Multiparadigm logic programming -- Non-linear real constraints in constraint logic programming -- A general scheme for constraint functional logic programming -- Incremental rewriting in narrowing derivations -- Counterexamples to completeness results for basic narrowing (extended abstract) -- Uniform narrowing strategies -- Proof by consistency in constructive systems with final algebra semantics -- A fast algorithm for ground normal form analysis -- Eta-conversion for the languages of explicit substitutions -- Serialisation analysis of concurrent logic programs -- Implementation of a toolset for prototyping algebraic specifications of concurrent systems -- Axiomatizing permutation equivalence in the ?-calculus -- A CLP view of logic programming -- Partial deduction of logic programs WRT well-founded semantics -- The finiteness of logic programming derivations -- Theorem proving for hierarchic first-order theories -- A goal oriented strategy based on completion -- On n-syntactic equational theories
Dimensions
unknown
Extent
IX, 460 p.
File format
multiple file formats
Form of item
electronic
Isbn
9783540473022
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/BFb0013814
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-540-47302-2

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...