Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming - PPDP '11
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450307765

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The challenges of constraint-based test generation

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

10.1145/2003476.2003478 ◽

2011 ◽

Cited By ~ 1

Author(s):

Vitaly Lagoon

Keyword(s):

Test Generation

Download Full-text

Protocol analysis in Maude-NPA using unification modulo homomorphic encryption

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

10.1145/2003476.2003488 ◽

2011 ◽

Cited By ~ 3

Author(s):

Santiago Escobar ◽

Deepak Kapur ◽

Christopher Lynch ◽

Catherine Meadows ◽

José Meseguer ◽

...

Keyword(s):

Protocol Analysis ◽

Homomorphic Encryption

Download Full-text

Symbolic analysis of network security policies using rewrite systems

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

10.1145/2003476.2003489 ◽

2011 ◽

Author(s):

Tony Bourdier ◽

Horatiu Cirstea

Keyword(s):

Network Security ◽

Symbolic Analysis ◽

Security Policies ◽

Rewrite Systems

Download Full-text

Minimally strict polymorphic functions

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

10.1145/2003476.2003487 ◽

2011 ◽

Author(s):

Jan Christiansen ◽

Daniel Seidel

Download Full-text

Towards automatic synthesis of software verification tools

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

10.1145/2003476.2003479 ◽

2011 ◽

Author(s):

Andrey Rybalchenko

Keyword(s):

Software Verification ◽

Automatic Synthesis ◽

Verification Tools

Download Full-text

Dependent session types via intuitionistic linear type theory

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

10.1145/2003476.2003499 ◽

2011 ◽

Cited By ~ 27

Author(s):

Bernardo Toninho ◽

Luís Caires ◽

Frank Pfenning

Keyword(s):

Type Theory ◽

Linear Type ◽

Session Types

Download Full-text

Linearity and recursion in a typed Lambda-calculus

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

10.1145/2003476.2003500 ◽

2011 ◽

Cited By ~ 2

Author(s):

Sandra Alves ◽

Maribel Fernández ◽

Mário Florido ◽

Ian Mackie

Keyword(s):

Lambda Calculus ◽

Typed Lambda Calculus

Download Full-text

Incremental checking of well-founded recursive specifications modulo axioms

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

10.1145/2003476.2003481 ◽

2011 ◽

Cited By ~ 3

Author(s):

Felix Schernhammer ◽

José Meseguer

Download Full-text

A modular semantics for higher-order declarative programming with constraints

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

10.1145/2003476.2003485 ◽

2011 ◽

Author(s):

Rafael del Vado Vírseda ◽

Fernando Pérez Morente

Keyword(s):

Higher Order ◽

Declarative Programming

Download Full-text

Typing control operators in the CPS hierarchy

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

10.1145/2003476.2003498 ◽

2011 ◽

Cited By ~ 3

Author(s):

Malgorzata Biernacka ◽

Dariusz Biernacki ◽

Sergueï Lenglet

Keyword(s):

Control Operators

Download Full-text

Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming - PPDP '11Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

The challenges of constraint-based test generation

Protocol analysis in Maude-NPA using unification modulo homomorphic encryption

Symbolic analysis of network security policies using rewrite systems

Minimally strict polymorphic functions

Towards automatic synthesis of software verification tools

Dependent session types via intuitionistic linear type theory

Linearity and recursion in a typed Lambda-calculus

Incremental checking of well-founded recursive specifications modulo axioms

A modular semantics for higher-order declarative programming with constraints

Typing control operators in the CPS hierarchy

Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming - PPDP '11
Latest Publications