|
Conferences in DBLP
- Andreas Abecker, Harold Boley, Knut Hinkelmann, Holger Wache, Franz Schmalhofer
An Environment for Exploring and Validating Declarative Knowledge. [Citation Graph (0, 0)][DBLP] LPE, 1995, pp:- [Conf]
- José Paulo Leal
Data Oriented LP with Magritte. [Citation Graph (0, 0)][DBLP] LPE, 1995, pp:- [Conf]
- Corin A. Gurr
Techniques-Based Programming Environment for Gödel. [Citation Graph (0, 0)][DBLP] LPE, 1995, pp:- [Conf]
- Norbert E. Fuchs, Rolf Schwitter
Attempto: Controlled Natural Language for Requirements Specifications. [Citation Graph (0, 0)][DBLP] LPE, 1995, pp:- [Conf]
- Rayk Fenske, Ulrich Geske, Mario Lenz
Generating Types Is Better than Programming Them. [Citation Graph (0, 0)][DBLP] LPE, 1995, pp:- [Conf]
- Pierre Deransart, Henryk Jan Komorowski
Task Force on Logic Program Development (Compulog Project). [Citation Graph (0, 0)] LPE, 1995, pp:- [Conf]
- Baudouin Le Charlier, Sabina Rossi
Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions. [Citation Graph (0, 0)][DBLP] LPE, 1995, pp:- [Conf]
- Wamberto Weber Vasconcelos, Norbert E. Fuchs
Prolog Program Development via Enhanced Schema-based Transformations. [Citation Graph (0, 0)][DBLP] LPE, 1995, pp:- [Conf]
- Stéphane Schoenig, Mireille Ducassé
Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog. [Citation Graph (0, 0)][DBLP] LPE, 1995, pp:- [Conf]
- Aurelie Bechina, Marios Siormanolakis
Man Machine Service Embedded in Logic Programming. [Citation Graph (0, 0)][DBLP] LPE, 1995, pp:- [Conf]
- Spiro Michaylov, Iván Ordóñez
Time and Money: A Case Study in Systematic Development of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP] LPE, 1995, pp:- [Conf]
- Michael R. Levy
Proposal for a Foreign Language Interface to Prolog. [Citation Graph (0, 0)][DBLP] LPE, 1995, pp:0-0 [Conf]
|