NDLI: Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming (PPDP '11)

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

The challenges of constraint-based test generation

Incremental checking of well-founded recursive specifications modulo axioms

Bellman's GAP: a declarative language for dynamic programming

Minimally strict polymorphic functions

A contextual semantics for concurrent Haskell with futures

Maintaining distributed logic programs incrementally

Typing control operators in the CPS hierarchy

Towards automatic synthesis of software verification tools

Graph-transformation verification using monadic second-order logic

A modular semantics for higher-order declarative programming with constraints

Protocol analysis in Maude-NPA using unification modulo homomorphic encryption

Nitpicking c++ concurrency

CLP projection for constraint handling rules

Dependent session types via intuitionistic linear type theory

Symbolic analysis of network security policies using rewrite systems

Linearity and recursion in a typed Lambda-calculus

Precision and complexity of XQuery type inference

Nested proof search as reduction in the Lambda-calculus

Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming (PPDP '11)

Content Provider	ACM Digital Library
Editor	Hanus, Michael Schneider-Kamp, Peter
Copyright Year	2011
Abstract	This volume contains the papers presented at PPDP 2011, the 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, held in Odense, Denmark, July 20-22, 2011. The PPDP series of conferences is a major forum for researchers and practitioners in the declarative programming communities to present results on leading edge issues of logic, constraint and functional programming, as well as related paradigms. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, and static analysis. PPDP 2011 continued this tradition, bringing together researchers from the declarative programming communities and related areas (such as specification and theorem proving, database languages, AI languages and knowledge representation) and researchers applying declarative programming techniques to a variety of domains (for example, network security, concurrency, program analysis, language implementation, bioinformatics, etc). This year, 36 papers were initially submitted to PPDP, and out of 29 papers reviewed the programme committee selected 16 papers for presentation in the symposium. Each submission was reviewed by at least three program committee members. The program committee used the EasyChair conference management system for handling electronic submissions, allocating reviewing duties, managing reviews, and the final discussions about all papers. In addition to regular paper sessions, the symposium included three invited talks by Fritz Henglein (University of Copenhagen, Denmark), Vitaly Lagoon (Cadence Design Systems, Boston, USA), and Andrey Rybalchenko (Technical University of Munich, Germany). PPDP 2011 was part of the Odense Summer on Logic and Programming 2011. It was co-located with the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011) with shared invited talks, the 20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011), and 4th International Workshop on Approaches and Applications of Inductive Programming (AAIP 2011).
ISBN	9781450307765
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2011-07-20
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