Conferences in DBLP
Kung-Kiu Lau , Mario Ornaghi Specifying Compositional Units for Correct Program Development in Computational Logic. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:1-29 [Conf ] David A. Basin , Yves Deville , Pierre Flener , Andreas Hamfelt , Jørgen Fischer Nilsson Synthesis of Programs in Computational Logic. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:30-65 [Conf ] Robert Colvin , Lindsay Groves , Ian J. Hayes , David Hemer , Ray Nickson , Paul A. Strooper Developing Logic Programs from Specifications Using Stepwise Refinement. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:66-89 [Conf ] Annalisa Bossi , Nicoletta Cocco , Sandro Etalle , Sabina Rossi Declarative Semantics of Input Consuming Logic Programs. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:90-114 [Conf ] Antonio Brogi On the Semantics of Logic Program Composition. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:115-151 [Conf ] Jacob M. Howe , Andy King , Lunjin Lu Analysing Logic Programs by Reasoning Backwards. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:152-188 [Conf ] Wim Vanhoof , Maurice Bruynooghe , Michael Leuschel Binding-Time Analysis for Mercury. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:189-232 [Conf ] Germán Puebla , Jesús Correas , Manuel V. Hermenegildo , Francisco Bueno , Maria J. García de la Banda , Kim Marriott , Peter J. Stuckey A Generic Framework for Context-Sensitive Analysis of Modular Programs. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:233-260 [Conf ] Abhik Roychoudhury , C. R. Ramakrishnan Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:261-290 [Conf ] Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti Transformation Rules for Locally Stratified Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:291-339 [Conf ] Michael Leuschel , Stephen-John Craig , Maurice Bruynooghe , Wim Vanhoof Specialising Interpreters Using Offline Partial Deduction. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:340-375 [Conf ] Dino Pedreschi , Salvatore Ruggieri , Jan-Georg Smaus Characterisations of Termination in Logic Programming. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:376-431 [Conf ] Jonathan C. Martin , Andy King On the Inference of Natural Level Mappings. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:432-452 [Conf ] Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik Proving Termination for Logic Programs by the Query-Mapping Pairs Approach. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:453-498 [Conf ] Bart Demoen , Maria J. García de la Banda , Warwick Harvey , Kim Marriott , David Overton , Peter J. Stuckey Herbrand Constraints in HAL. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:499-538 [Conf ]