3 |
History of Logo
|
|
|
|
In: Proceedings of the ACM on Programming Languages, vol 4, iss HOPL (2020)
|
|
BASE
|
|
Show details
|
|
4 |
Partial Evaluation Based CPS Transformation: An Implementation Case Study ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
Partial Evaluation Based CPS Transformation: An Implementation Case Study ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Representing and computing with types in dynamically typed languages ; Représentation et calcul avec des types dans des langages à typage dynamique
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03018107 ; Symbolic Computation [cs.SC]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS440⟩ (2018)
|
|
BASE
|
|
Show details
|
|
11 |
Contact-Induced Change? Basque lisp in Navarre
|
|
|
|
In: 18e Rencontres Jeunes Chercheurs en Sciences du Langage ; https://hal-univ-paris3.archives-ouvertes.fr/hal-01495118 ; 18e Rencontres Jeunes Chercheurs en Sciences du Langage, ED 268 Paris 3, Jun 2015, Paris, France (2015)
|
|
BASE
|
|
Show details
|
|
12 |
A Need for Multilingual Names
|
|
|
|
In: The 7th European Lisp Symposium ; https://hal.archives-ouvertes.fr/hal-01060446 ; The 7th European Lisp Symposium, May 2014, Paris, France. pp.64-71 (2014)
|
|
BASE
|
|
Show details
|
|
13 |
The OMAS Multi-Agent Platform
|
|
|
|
In: The 7th European Lisp Symposium ; https://hal.archives-ouvertes.fr/hal-01060443 ; The 7th European Lisp Symposium, May 2014, Paris, France. pp.33-34 (2014)
|
|
BASE
|
|
Show details
|
|
14 |
Extensible Languages: Blurring the Distinction between DSL and GPL
|
|
|
|
In: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments ; https://hal.archives-ouvertes.fr/hal-01542954 ; Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, 2012, 9781466620926. ⟨10.4018/978-1-4666-2092-6.ch001⟩ ; https://www.igi-global.com/chapter/extensible-languages-blurring-distinction-between/71814 (2012)
|
|
BASE
|
|
Show details
|
|
15 |
Armazenamento e consulta relacional de texto: o caso de “Os Lusíadas”
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Visual Lisp/CLOS Programming in OpenMusic
|
|
|
|
In: ISSN: 1388-3690 ; EISSN: 1573-0557 ; Higher-Order and Symbolic Computation ; https://hal.archives-ouvertes.fr/hal-00683472 ; Higher-Order and Symbolic Computation, Springer Verlag, 2009, 22 (1), pp.81-111. ⟨10.1007/s10990-009-9044-x⟩ (2009)
|
|
BASE
|
|
Show details
|
|
17 |
A tool for reasoning about qualitative temporal information: the theory of S-languages with a Lisp implementation
|
|
|
|
In: ISSN: 0948-695X ; EISSN: 0948-6968 ; Journal of Universal Computer Science ; https://hal.archives-ouvertes.fr/hal-00350036 ; Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2008, 14 (20), pp.3282-3306 (2008)
|
|
BASE
|
|
Show details
|
|
18 |
A Tool for Reasoning about Qualitative Temporal Information: the Theory of Slanguages with a Lisp Implementation
|
|
|
|
In: http://www.jucs.org/jucs_14_20/a_tool_for_reasoning/jucs_14_20_3282_3306_durand.pdf (2008)
|
|
Abstract:
Abstract: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of natural language processing for instance, the temporal analysis of a text yields a set of temporal relations between events in a given linguistic theory. The problem is first to express events and any possible temporal relations between them, then to express the qualitative temporal constraints (as subsets of the set of all possible temporal relations) and compute (or count) all possible temporal relations that can be deduced. For this purpose, we propose to use the formalism of S-languages, based on the mathematical notion of S-arrangements with repetitions [Schwer, 2002]. In this paper, we present this formalism in detail and our implementation of it. We explain why Lisp is adequate to implement this theory. Next we describe a Common Lisp system SLS (for S-LanguageS) which implements part of this formalism. A graphical interface written using McCLIM, the free implementation of the CLIM specification, frees the potential user of any Lisp knowledge. Fully developed examples illustrate both the theory and the implementation.
|
|
Keyword:
F.4; I.1.1; I.2.4; Key Words; Lisp Category; relation algebras; S-languages; Temporal reasoning
|
|
URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.5205 http://www.jucs.org/jucs_14_20/a_tool_for_reasoning/jucs_14_20_3282_3306_durand.pdf
|
|
BASE
|
|
Hide details
|
|
19 |
Definitional interpreters for higher-order programming languages
|
|
|
|
In: College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects (1998)
|
|
BASE
|
|
Show details
|
|
20 |
Software engineering for the lingware engineering ; Génie logiciel pour le génie linguiciel
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00005104 ; Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1994. Français (1994)
|
|
BASE
|
|
Show details
|
|
|
|