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 : proceedings
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.
"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."@en
"Programming languages : implementations, logics and programs ; 9th international symposium ; proceedings ; including a special track on declarative programming languages in education"
"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 Proceedings"
"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 : proceedings"
"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 proceedings"
"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 : proceedings"@en
"Programming languages implementations, logics, and programs : 9th international symposium, PLILP '97, including a special track on declarative programming languages in education, Southampton, UK, September 1-3, 1997 : proceedings"
"Programming languages implementations, logics, and programs : 9th international symposium, PLILP '97, including a special track on declarative programming languages in education, Southampton, UK, September 1-3, 1997 : proceedings"@en
"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. Proceedings"
"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 : proceedings"
"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 ; proceedings"
"Programming Languages: Implementations, Logics, and Programs 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 35, 1997 Proceedings"@en
"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. Proceedings"
"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 : proceedings"
"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 : proceedings"
"Programming languages : implementations, logics, and programs : 9th international symposium, PLILP '97, including a special track on declarative programming languages in education southampton, UK, September 1997 proceedings"@it
"Programming languages : implementations, logics, and programs : 9th international symposium, PLILP '97, including a special track on declarative programming languages in education, Southampton, UK, September 1-3, 1997 : proceedings"
"Programming Languages: Implementations, Logics, and Programs : 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education : Proceedings"
"Programming languages implementations, logics and programs ; 9th international symposium ; proceedings"
"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 : proceedings"
"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 : proceedings"
International Symposium on Programming Language Implementation and Logic Programming (9th : 1997 : Southampton, England)
This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
International Symposium on Programming Languages, Implementations, Logics and Programming (9 : 1997 : Southampton)
This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
International Symposium on Programming Languages, Implementations, Logics and Programs (9 : 1997 : Southampton)
This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
International Symposium on Programming Languages, Implementations, Logics, and Programs (9è (1997 : Southampton, UK)
This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP) (9 1997.09.03-05 Southampton)
This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
International Symposium, PLILP '97 (9. 1997. Southampton, England)
This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
International Symposium on Programming Languages, Implementations, Logics and Programs
This is a placeholder reference for a Organization entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Place entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
langage de programmation programmation logique [congrès]
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.