|
Conferences in DBLP
- Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla
Abstraction carrying code and resource-awareness. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:1-11 [Conf]
- Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:12-22 [Conf]
- Stephen-John Craig, Michael Leuschel
Self-tuning resource aware specialisation for prolog. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:23-34 [Conf]
- Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins
Monadic concurrent linear logic programming. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:35-46 [Conf]
- Maribel Fernández, Murdoch Gabbay
Nominal rewriting with name generation: abstraction vs. locality. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:47-58 [Conf]
- Yuki Chiba, Takahito Aoto, Yoshihito Toyama
Program transformation by templates based on term rewriting. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:59-69 [Conf]
- Pawel T. Wojciechowski
Isolation-only transactions by typing and versioning. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:70-81 [Conf]
- Louis Mandel, Marc Pouzet
ReactiveML: a reactive extension to ML. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:82-93 [Conf]
- Murdoch Gabbay
A new calculus of contexts. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:94-105 [Conf]
- Aaron Tomb, Cormac Flanagan
Automatic type inference via partial evaluation. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:106-116 [Conf]
- Diptikalyan Saha, C. R. Ramakrishnan
Incremental and demand-driven points-to analysis using logic programming. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:117-128 [Conf]
- Xuan Li, Lunjin Lu
Inverting abstract unification for set-sharing. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:129-138 [Conf]
- Christian Skalka
Trace effects and object orientation. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:139-150 [Conf]
- John C. Mitchell
Security analysis of network protocols: logical and computational methods. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:151-152 [Conf]
- Rachid Echahed, Frédéric Prost
Security policy in a declarative style. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:153-163 [Conf]
- Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat
Timed constraint programming: a declarative approach to usage control. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:164-175 [Conf]
- Daniel Luna, Mikael Pettersson, Konstantinos F. Sagonas
Efficiently compiling a functional language on AMD64: the HiPE experience. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:176-186 [Conf]
- Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles
Formal validation of pattern matching code. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:187-197 [Conf]
- Giuseppe Castagna, Alain Frisch
A gentle introduction to semantic subtyping. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:198-199 [Conf]
- Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
A compositional semantics for CHR. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:209-217 [Conf]
- Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck
Abstract interpretation for constraint handling rules. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:218-229 [Conf]
- Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:230-241 [Conf]
- Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu
Optimization with mode-directed preferences. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:242-251 [Conf]
|