Abstract is missing.
- Abstraction carrying code and resource-awarenessManuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla. 1-11 [doi]
- A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signaturesVéronique Cortier, Michaël Rusinowitch, Eugen Zalinescu. 12-22 [doi]
- Self-tuning resource aware specialisation for prologStephen-John Craig, Michael Leuschel. 23-34 [doi]
- Monadic concurrent linear logic programmingPablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins. 35-46 [doi]
- Nominal rewriting with name generation: abstraction vs. localityMaribel Fernández, Murdoch Gabbay. 47-58 [doi]
- Program transformation by templates based on term rewritingYuki Chiba, Takahito Aoto, Yoshihito Toyama. 59-69 [doi]
- Isolation-only transactions by typing and versioningPawel T. Wojciechowski. 70-81 [doi]
- ReactiveML: a reactive extension to MLLouis Mandel, Marc Pouzet. 82-93 [doi]
- A new calculus of contextsMurdoch Gabbay. 94-105 [doi]
- Automatic type inference via partial evaluationAaron Tomb, Cormac Flanagan. 106-116 [doi]
- Incremental and demand-driven points-to analysis using logic programmingDiptikalyan Saha, C. R. Ramakrishnan. 117-128 [doi]
- Inverting abstract unification for set-sharingXuan Li, Lunjin Lu. 129-138 [doi]
- Trace effects and object orientationChristian Skalka. 139-150 [doi]
- Security analysis of network protocols: logical and computational methodsJohn C. Mitchell. 151-152 [doi]
- Security policy in a declarative styleRachid Echahed, Frédéric Prost. 153-163 [doi]
- Timed constraint programming: a declarative approach to usage controlRadha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat. 164-175 [doi]
- Efficiently compiling a functional language on AMD64: the HiPE experienceDaniel Luna, Mikael Pettersson, Konstantinos F. Sagonas. 176-186 [doi]
- Formal validation of pattern matching codeClaude Kirchner, Pierre-Etienne Moreau, Antoine Reilles. 187-197 [doi]
- A gentle introduction to semantic subtypingGiuseppe Castagna, Alain Frisch. 198-199 [doi]
- A compositional semantics for CHRGiorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo. 209-217 [doi]
- Abstract interpretation for constraint handling rulesTom Schrijvers, Peter J. Stuckey, Gregory J. Duck. 218-229 [doi]
- Heuristics, optimizations, and parallelism for protein structure prediction in CLP(::::FD::::)Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli. 230-241 [doi]
- Optimization with mode-directed preferencesHai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu. 242-251 [doi]