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
|
|
7 |
Plagiarism Detection for Lisp ...
|
|
|
|
Abstract:
Computers made it very easy to copy someone else's work. This makes grading a difficult task, as the teacher that wants to prevent plagiarism needs to compare each student's assignment against every other student's assignment, a quadratic process that is impractical when the number of assignments gets large. Students know this and some take advantage of it. To be able to detect plagiarism among students' programming assignment we created a software tool that checks all assignments against each other, searching for copied fragments. Unlike many other tools, this search is not based on textual comparisons or hashing functions but, instead, on collecting pieces of evidence for and against a plagiarism verdict. This collection is determined by specialized procedures, invoked in a data-driven fashion, that incorporate expert knowledge regarding what is plagiarism and what is not plagiarism. The tool has been successfully used since 1995 in the evaluation of assignments programmed in Lisp dialects, particularly, ...
|
|
Keyword:
Certainty factors; Lisp; Plagiarism detection
|
|
URL: https://zenodo.org/record/2648976 https://dx.doi.org/10.5281/zenodo.2648976
|
|
BASE
|
|
Hide 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)
|
|
BASE
|
|
Show 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
|
|
|
|