default search action
2nd LPE 1990: Eilat, Israel
- Mireille Ducassé, Anna-Maria Emde, Anthony J. Kusalik, Jacob Levy:
Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25. 1990
Software Development Tools and Environments
- Jan Wielemaker:
A Programming Environment for Developing Large Applications. LPE 1990: 1-5 - Philippe Chatalic:
Keeping Track of Data Dependencies for Incremental Execution in Logic Programming. LPE 1990: 6-11 - Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero:
The Logic Language ESP and its Programming Environment. LPE 1990: 12-15
Windowing, Graphics, and Visualization
- Alain Callebaut:
Carmen: A Prolog Tool for Generating User Interfaces. LPE 1990: 16-18 - José Paulo Leal:
The YToolkit: A Prolog Approach to a User Interface. LPE 1990: 19-29 - Kenneth M. Kahn, Vijay A. Saraswat:
Complete Visualization of Concurrent Programs and Their Executions. LPE 1990: 30-34
Debugging I
- Anna-Maria Emde, Mireille Ducassé:
Automated Debugging of Non-Terminating Prolog Programs. LPE 1990: 35-39 - Jean-Luc Cochard:
A Graphical Representation Environment for Complex Prolog Structures. LPE 1990: 40-45 - Jürgen F. H. Winkler, Axel v. Reeken, Adolf Schleiermacher:
A Prolog Debugger Based on a Refined Box Model. LPE 1990: 46-51
Debugging II
- Liliane Lardot, Norbert Batllou:
A Theory of Testing in Logic Programming. LPE 1990: 52-56 - Michel Bergère, Gérard Ferrand:
A Semantics for Error Declarative Notion of Logic Programs with Negation. LPE 1990: 57-62 - Ryozo Kiyohara, Koichi Nakao, Kumiko Wada, Takashi Chikayama:
PIMOS: A Concurrent Logic Programming Environment. LPE 1990: 63-67
Poster Displays
- Gabriel David, António Porto:
Generic Browsing: A Case for Contextual Logic Programming. LPE 1990: 68-73 - Vincenzo Loia, Michel Quaggetto, François-Xavier Testard-Vaillant:
A Prolog Debugging System is an Open System. LPE 1990: 74-79 - Alain Callebaut, Bart Demoen:
Program Source as Model for Debugging Prolog. LPE 1990: 80-83
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: