Common Lisp Interface Manager: Difference between revisions

Revision as of 22:06, 14 March 2021

Revision as of 22:35, 22 March 2021

Line 49:

* CLIB, a prototype interface builder for CLIM<ref>{{cite journal |last=Hesse |first=Jan |last2=König |first2=Rainer |last3=Logi |first3=Filippo |last4=Herder |first4=Jens |date=August 1993 |title=A prototype of an interface builder for the Common Lisp Interface Manager – CLIB |journal=ACM SIGPLAN Notices |volume=28 |issue=8 |pages=19–28 |___location=New York, New York, United States |publisher=Association for Computing Machinery |doi=10.1145/163114.163116 }}</ref>

* Direct Labor Management System (DLMS), manages automobile manufacturing process system at Ford assembly plants<ref>{{cite journal |last=Rychtyckyj |first=Nestor |date=1999 |title=DLMS: Ten Years of AI for Vehicle Assembly Process Planning |url=https://aaai.org/Library/IAAI/1999/iaai99-116.php |journal=IAAI-99 Proceedings |pages=821–828 |isbn=978-0-262-51106-3 |publisher=Association for the Advancement of Artificial Intelligence |access-date=2019-09-03}}</ref>

* [https://github.com/lambdamikel/DLMAPS DLMAPS], an ontology-based spatial query language and environment, a predecessor of GeoSPARQL<ref>{{cite journal |last=Wessel|first=Michael |last2=Möller |first2=Ralf |title=Flexible software architectures for ontology-based information systems |url=https://www.sciencedirect.com/science/article/pii/S157086830700064X |journal=Journal of Applied Logic, Volume |volume=7, Issue |issue=1, |date=March 2009, Pages |pages=75-99 |access-date=2021-03-14}}</ref>

* [https://github.com/lambdamikel/GenEd GenEd], editor with generic semantics for formal reasoning on visual notations<ref>{{cite journal |last=Haarslev |first=Volker |last2=Wessel |first2=Michael |title=GenEd – An Editor with Generic Semantics for Formal Reasoning about Visual Notations |url=http://users.encs.concordia.ca/~haarslev/publications/vl96/paper.html |journal=Proceedings, 12th IEEE Symposium on Visual Languages |___location=Boulder, Colorado, USA |pages=September 3–6, 1996 |publisher=IEEE Press |access-date=2019-09-03}}</ref>

* Grasper-CL, graph management system<ref>{{cite web |url=http://www.sri.com/sites/default/files/uploads/publications/pdf/454.pdf |title=The Grasper-CL Graph Management System |last=Karp |first=Peter D. |last2=Lowrance |first2=John D. |last3=Strat |first3=Thomas M. |last4=Wilkins |first4=David E. |date=20 January 1993 |website=SRI International |access-date=2019-09-06}}</ref>