A Sampler of Formal Definitions

Marcotty, Michael; Ledgard, Henry; Bochmann, Gregor von

doi:10.1145/356669.356672

Cited by 84 publications

(11 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Another production oriented feature is the use of conditions (e.g. [15]) to specify the static semantics: these conditions do not define the values of attributes but values that are associated with productions.…”

Section: Discussionmentioning

confidence: 99%

Compiler construction using attribute grammars

Koskimies

Räihä

Sarjakoski

1982

Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction - SIGPLAN '82

View full text Add to dashboard Cite

The adequacy of attribute grammars as a compiler writing tool is studied on the basis of the experiences on attribute grammars for Pascal and a subset of Euclid. A qualitative assessment of the grammars shows that the compiler oriented view in the design of an attribute granmmr tends to make the grammar hard to understand. A design discipline is proposed to improve the comprehensibility of the grammar. Quantitative measurements of the automatically generated compilers suggest that an efficient compiler can be produced from an attribute grammar. To achieve this, a carefully optimized implementation of the compiler-compiler is required.

show abstract

Section: Discussionmentioning

confidence: 99%

Compiler construction using attribute grammars

Koskimies

Räihä

Sarjakoski

1982

Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction - SIGPLAN '82

View full text Add to dashboard Cite

show abstract

“…However, these have not been totally successful due to their complexity and lack of readability. A recent survey of such efforts [Marcotty et al 1976] showed (in the opinion of this author) the complexity which is obtained when syntax and semantics are combined into a single system. It is not expected that these academic efforts will be accepted in the foreseeable future.…”

Section: Syntax and Semanticsmentioning

confidence: 98%

“…This is partially because most systems [Lucas 1969, Lee 1972, Marcotty, et al 1976, Strachey 1973, McCarthy 1970 have been applied to few languages and there is little overlap in the objective of each specification. Thus it is difficult to judge the comparative effectiveness of the specifications systems.…”

Section: Standardized Formalismsmentioning

confidence: 99%

Considerations for future programming language standards activities

Lee

1977

Commun. ACM

View full text Add to dashboard Cite

show abstract

“…In the next step we want to extend this work to include classic procedural languages, maybe initially simplified, such as ASPLE [16]. However, being able to feed our method with real world languages such as C or Java is an important cornerstone in this research, as the two market leader systems available (JPlag and MOSS) work with those languages and, for example, do not work with APL2 or ASPLE.…”

Section: Relating Plagiarism To Function Optimizationmentioning

confidence: 99%

Towards the Validation of Plagiarism Detection Tools by Means of Grammar Evolution

Cebrián

Alfonseca

Ortega

2009

IEEE Trans. Evol. Computat.

View full text Add to dashboard Cite

Esta es la versión de autor del artículo publicado en: This is an author produced version of a paper published in: Towards the Validation of Plagiarism Detection Tools by means of Grammar EvolutionManuel Cebrián, Manuel Alfonseca, Member, IEEE, and Alfonso OrtegaAbstract-Student plagiarism is a major problem in universities worldwide. In this letter, we focus on plagiarism in answers to computer programming assignments, where students mix and/or modify one or more original solutions to obtain counterfeits. Although several software tools have been developed to help the tedious and time consuming task of detecting plagiarism, little has been done to assess their quality, because determining the real authorship of the whole submission corpus is practically impossible for markers. In this letter we present a Grammar Evolution technique which generates benchmarks for testing plagiarism detection tools. Given a programming language, our technique generates a set of original solutions to an assignment, together with a set of plagiarisms of the former set which mimic the basic plagiarism techniques performed by students. The authorship of the submission corpus is predefined by the user, providing a base for the assessment and further comparison of copy-catching tools. We give empirical evidence of the suitability of our approach by studying the behavior of one advanced plagiarism detection tool (AC) on four benchmarks coded in APL2, generated with our technique.

show abstract

A Sampler of Formal Definitions

Cited by 84 publications

References 16 publications

Compiler construction using attribute grammars

Compiler construction using attribute grammars

Considerations for future programming language standards activities

Towards the Validation of Plagiarism Detection Tools by Means of Grammar Evolution

Contact Info

Product

Resources

About