NDLI: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (PPDP '01)

Please wait, while we are loading the content...

Should UML be used for declarative programming?

Ideal models for pointwise relational and state-free imperative programming

De Bruijn's syntax and reductional equivalence of λ-terms

A denotational semantics for Timed Linda

Model checking (with) declarative programs

Development reuse and the logic program derivation of two string-matching algorithms

Instruction merging and specialization in the SICStus Prolog virtual machine

Polymorphic directional types for logic programming

Termination of well-typed logic programs

Termination of on-demand rewriting and termination of OBJ programs

Granularity of constraint-based analysis for Java

Trust in the pi-calculus

When do bounds and domain propagation lead to the same search space

Using confluence to generate rule-based constraint solvers

Types for cyphers: thwarting mischief and malice with type theory

Cycle therapy: a prescription for fold and unfold on regular trees

Declarative definition of group indexed data structures and approximation of their domains

Defunctionalization at work

A direct approach to control-flow sensitive region-based memory management

Parallel functional programming at two levels of abstraction

Constructor-based conditional narrowing

An implementation of narrowing strategies

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (PPDP '01)

Content Provider	ACM Digital Library
Editor	De Nicola, Rocco Søndergaard, Harald
Copyright Year	2001
Abstract	This volume contains the papers and abstracts presented at PPDP'01, the Third International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, held in Florence, Italy, September 5-7, 2001.Together with the Sixth International ACM SIGPLAN Conference on Functional Programming (ICFP) and a number of associated workshops, PPDP'01 has formed a federation of conferences known as Colloquium on Principles, Logics, and Implementations of high-level programming languages (PLI 2001). Previous PLI colloquia were held in Paris, in September 1999, and in Montréal, in September 2000. These events are organised by SIGPLAN, ACM's Special Interest Group on Programming Languages.PPDP 2001 aims to stimulate research on the use of declarative methods in programming and on the design, implementation and application of programming languages that support such methods. Topics of interest include any aspect related to understanding, integrating and extending programming paradigms such as those for functional, logic, constraint and object-oriented programming; concurrent extensions and mobile computing; type theory; support for modularity; use of logical methods in the design of program development tools; program analysis and verification; abstract interpretation; development ofimplementation methods; and application of the relevant paradigms and associated methods in industry and education.A total of 40 submissions were received in response to the call for papers. The START conference management system was used for the handling of electronic submissions, for allocation of reviewing duties, and for filing of reviews. The program committee meeting was conducted electronically. Each paper was reviewed by at least three referees and 19 papers were selected for publication. In addition to the regular paper presentations, the scientific program included three invited talks, by Javier Esparza (University of Edinburgh), Andrew Gordon (Microsoft Research Cambridge), and Dave Schmidt (Kansas State University).
ISBN	158113388X
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2001-09-05
Access Restriction	Subscribed
Content Type	Text
Resource Type	Conference Proceedings

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in