Conferences in DBLP
Dirk Beyer , Adam J. Chlipala , Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar Invited talk: the blast query language for software verification. [Citation Graph (0, 0)][DBLP ] Conf ] Sheila A. McIlraith Invited talk: towards declarative programming for web services. [Citation Graph (0, 0)][DBLP ] Conf ] J. Gregory Morrisett Invited talk: what's the future for proof-carrying code? [Citation Graph (0, 0)][DBLP ] Conf ] Ehud Y. Shapiro Invited talk: injecting life with computers. [Citation Graph (0, 0)][DBLP ] Conf ] Yannis Smaragdakis Invited talk: program generators and the tools to make them. [Citation Graph (0, 0)][DBLP ] Conf ] José Miguel Cleva , Javier Leach , Francisco Javier López-Fraguas A logic programming approach to the verification of functional-logic programs. [Citation Graph (0, 0)][DBLP ] Conf ] Berndt Farwer , Michael Leuschel Model checking object petri nets in prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Sava Krstic , John Matthews Semantics of the reFLect language. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Javier López-Fraguas , Mario Rodríguez-Artalejo , Rafael del Vado Vírseda A lazy narrowing calculus for declarative constraint programming. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Camarão , Lucília Figueiredo , Cristiano Vasconcellos Constraint-set satisfiability for overloading. [Citation Graph (0, 0)][DBLP ] Conf ] Konstantinos F. Sagonas , Peter J. Stuckey Just enough tabling. [Citation Graph (0, 0)][DBLP ] Conf ] Neng-Fa Zhou , Yi-Dong Shen , Taisuke Sato Semi-naive evaluation in linear tabling. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Flesca , Sergio Greco , Ester Zumpano Active integrity constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Maribel Fernández , Murdoch Gabbay , Ian Mackie Nominal rewriting systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mircea Marin , Aart Middeldorp New completeness results for lazy conditional narrowing. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Carlier , J. B. Wells Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Antoy , Stephen Johnson Formalization and abstract implementation of rewriting with nested rules. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel J. Dougherty , Silvia Ghilezan , Pierre Lescanne Characterizing strong normalization in a language with control operators. [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Liquori , Bernard P. Serpette iRho: an imperative rewriting calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Brassel , Michael Hanus , Frank Huch , Germán Vidal A semantics for tracing declarative multi-paradigm programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kohei Honda , Nobuko Yoshida A compositional logic for polymorphic higher-order functions. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Serrano , Frédéric Boussinot , Bernard P. Serpette Scheme fair threads. [Citation Graph (0, 0)][DBLP ] Conf ] Nick Benton , Andrew Kennedy , Claudio V. Russo Adventures in interoperability: the SML.NET experience. [Citation Graph (0, 0)][DBLP ] Conf ] J. Rajesh , D. Janakiram JIAD: a tool to infer design patterns in refactoring. [Citation Graph (0, 0)][DBLP ] Conf ] Gianluigi Greco , Antonella Guzzo , Domenico Saccà , Francesco Scarcello Event choice datalog: a logic programming language for reasoning in multiple dimensions. [Citation Graph (0, 0)][DBLP ] Conf ] 