Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings

>> Google Books

所蔵情報QRコード

Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings / Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c1998

形態:

xi, 497 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1490 <BA00009279>

著者名:

ISBN:

9783540650126 [3540650121]

書誌ID:

BA38085214

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index

主題:

Electronic digital computers--Programming--Congresses; Programming languages (Electronic computers)--Congresses

言語:

英語

目次情報:

Verification: Invited Paper

Logic Programming and Model Checking / Baoqiu Cui ; Yifei Dong ; Xiaoqun Du ; K. Narayan Kumar ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Abhik Roychoudhury ; Scott A. Smolka ; David S. Warren

Logic Programming I

CAT: The Copying Approach to Tabling / Bart Demoen ; Konstantinos Sagonas

SICStus MT - A Multithreaded Execution Environment for SICStus Prolog / Jesper Eskilson ; Mats Carlsson

A Framework for Bottom Up Specialisation of Logic Programs / Wim Vanhoof ; Danny De Schreye ; Bern Martens

Termination of Logic Programs with block Declarations Running in Several Modes / Jan-Georg Smaus ; Pat Hill ; Andy King

Static Analysis

The Boolean Logic of Set Sharing Analysis / Michael Codish ; Harald SÃ¸ndergaard

Derivation of Proof Methods by Abstract Interpretation / Giorgio Levi ; Paolo Volpe

Detecting Unsolvable Queries for Definite Logic Programs / Maurice Bruynooghe ; Henk Vandecasteele ; D. Andre de Waal ; Marc Denecker

Staging Static Analyses Using Abstraction-Based Program Specialization / John Hatcliff ; Matthew Dwyer ; Shawn Laubach

An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs / Fausto Spoto

Software Methodologies: Invited Paper Architecturing Software Using: A Methodology for Language Development / Charles Consel ; Renaud Marlet

Object Oriented Programming

Explicit Substitutions for Objects and Functions / Delia Kesner ; Pablo E. Mart'inez Lopez

The Complexity of Late-Binding in Dynamic Object-Oriented Languages / Enrico Pontelli ; Desh Ranjan ; Gopal Gupta

Term Rewriting

A Compiler for Rewrite Programs in Associative-Commutative Theories / Pierre-Etienne Moreau ; HÃ©lÃ©ne Kirchner

Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems / Takahito Aoto

A General Framework for R-Unification Problems / Sebastien Limet ; FrÃ©dÃ©ric Saubion

Semantics: Tutorial

Operational Versus Denotational Methods in the Semantics of Higher Order Languages / Andrew M. Pitts

Functional Programming

Functional Implementations of Continuous Modeled Animation / Conal Elliott

Compiling Erlang to Scheme / Marc Feeley ; Martin Larose

From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View / Silvia Breitinger ; Ulrike Klusik ; Rita Loogen

Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine / David Wakeling

Metaprogramming: Tutorial

Program Analysis in ?Prolog / John Hannan

Logic Programming II

A Game Semantics Foundation for Logic Programming / Roberto Di Cosmo ; Jean-Vincent Loddo ; Stephane Nicolet

Controlling Search in Declarative Programs / Michael Hanus ; Frank Steiner

Encapsulating Data in Logic Programming via Categorical Constraints / James Lipton ; Robert McGrail

Constructive Negation Using Typed Existence Properties / John G. Cleary ; Lunjin Lu

Optimal Evaluation: Tutorial

Optimal Reduction of Functional Expressions / Andrea Asperti

Integration

Embedding Multiset Constraints into a Lazy Functional Logic Language / P. Arenas-SÃ¡nchez ; F.J. LÃ³pez-Fraguas ; M. Rodr'iguez-Artalejo

A Hidden Herbrand Theorem / Joseph Goguen ; Grant Malcolm ; Tom Kemp

Constraint Solving

Integrating Constraint Propagation in Complete Solving of Linear

Diophantine Systems / Farid Ajili ; Hendrik C.R. Lock

Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method / Philippe Refalo

Author Index

Verification: Invited Paper

Logic Programming and Model Checking / Baoqiu Cui ; Yifei Dong ; Xiaoqun Du ; K. Narayan Kumar ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Abhik Roychoudhury ; Scott A. Smolka ; David S. Warren

Logic Programming I

CAT: The Copying Approach to Tabling / Bart Demoen ; Konstantinos Sagonas

SICStus MT - A Multithreaded Execution Environment for SICStus Prolog / Jesper Eskilson ; Mats Carlsson

A Framework for Bottom Up Specialisation of Logic Programs / Wim Vanhoof ; Danny De Schreye ; Bern Martens

続きを見る

ブックレビュー

類似資料:

1 電子ブック Principles of Declarative Programming : 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September … Palamidessi, Catuscia., Glaser, Hugh., Meinke, Karl., SpringerLink (Online service)	7 図書 Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings SAS, Cousot, Patrick, 1948- Springer
2 図書 Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming … (: pbk) International Symposium, PLILP, Glaser, Hugh, Hartel, Pieter H., Kuchen, Herbert R., 1958- Springer	8 図書 Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings SAS, Van Hentenryck, Pascal Springer
3 図書 Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings SAS, Levi, Giorgio, 1942- Springer	9 図書 Proceedings : 1998 International Conference on Computer Languages, May 14-16, 1998, Chicago, Illinois (: casebound) International Conference on Computer Languages, IEEE Computer Society. Technical Committee on Computer Languages, ACM … IEEE Computer Society Press
4 電子ブック Principles of Declarative Programming PLILP'98, Glaser, Hugh, Meinke, Karl, Palamidessi, Catuscia SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 図書 Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings (: us ; : gw) International Symposium, PLILP, Hermenegildo, Manuel, Penjam, Jaan, 1955- Springer-Verlag
5 図書 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, European Conferences on Theory and Practice of Software, Hankin, Chris Springer-Verlag	11 図書 Conference record of the eighth annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Williamsburg, Virginia, January … (pbk.) ACM Symposium on Principles of Programming Languages, ACM Special Interest Group for Automata and Computability Theory, … ACM
6 図書 Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings International Symposium, PLILP, Kuchen, Herbert R., 1958-, Swierstra, S. Doaitse Springer	12 図書 Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 International Workshop on Natural Language Understanding and Logic Programming, Dahl, Veronica, 1950-, Saint-Dizier, … North-Holand, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.