30 Mar 07 The New Twelf Wiki
We are pleased to announce the Twelf Wiki, a major new source of documentation about Twelf: http://twelf.plparty.org
Twelf is a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics. Large research projects using Twelf include the TALT typed assembly language, a foundational proof-carrying-code system, and a type safety proof for Standard ML. Visitors without a technical background are encouraged to read the general description of Twelf.The Twelf Wiki includes:
- A new introduction to LF and Twelf.
- Tutorials on common Twelf tricks and techniques.
- Case studies of larger applications of Twelf, including encodings of and proofs about linear logic, mutable state, and CPS conversion.
- Pre-compiled CVS builds of Twelf for Linux and Windows.
We invite you to come share what you know, learn from what’s there, and ask questions about what’s not.
- The Twelf Wiki Team
(I know many of the people working on this, and they’ve put in a lot of effort to make a really useful resource.)
29 Mar 07 AC: An Integrated Source Code Plagiarism Detection Environment
Authors: Manuel Freire, Manuel Cebrian, Emilio del Rosal
Comments: 57 pages, 11 figures
Subj-class: Information Theory
Plagiarism detection in programming assignments is still a very problematic issue, in terms of economic costs, conceptual controversy, legal risks, and detection algorithms and heuristics. In this paper, we present AC: an integrated environment for the study of plagiarism and a powerful tool for its detection. We explain the special design of AC, prepared for unlimited improvement and external contributions, and how it can be used for detecting plagiarism. In particular, the special visualization of the results that AC offers, together with the statistical analysis that it performs provide different useful heuristics to catch suspects. Besides, AC incorporates different measures of similarity: old and new developed by our group. Finally, we study the performance of AC in two practical examples of programming assignments submission.
Full-text: PDF, or Other formats
