Stop the war!
Остановите войну!
for scientists:
default search action
11th ICLP 1994, Workshop W4: Sixth Workshop on Logic Programming Environments
- Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges. Tekniske Høgskole, University of Trondheim, Trondheim, Norway 1994
User Interfaces
- José Paulo Leal:
Visualization and Interaction in Logic Programming. LPE 1994 - Bernardo Lula Jr., Eugène Chouraqui, Hélio de Menezes Silva:
Automatic Generation of Graphical Interfaces in an Object-Logic Programming Environment. LPE 1994 - Paul Tarau, Bart Demoen:
Language Embedding by Dual Compilation and State Mirroring. LPE 1994
Tools and Methods
- Ulrich Geske, Mario Lenz:
A Type Based Debugging Tool for Untyped Logic Languages. LPE 1994 - Sophie Renault, Pierre Deransart:
A Proof Manager for Verification of Logic Programs. LPE 1994 - Liviu-Virgil Ciortuz, Mirela Petrea:
LOGOS: An Object-Oriented Scheme to Implement Logic Programming Languages. LPE 1994
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.