6533b7cefe1ef96bd12579b4

RESEARCH PRODUCT

Sudoku – A Language Description Case Study

Andreas PrinzIngelin F. IsfeldtTerje Gjøsæter

subject

Structure (mathematical logic)CorrectnessTheoretical computer scienceTransformation (function)Textual representationProgramming languageComputer scienceClass diagramRepresentation (arts)computer.software_genrecomputer

description

A complete language description includes the structure as well as constraints, textual representation, graphical representation, and behaviour (transformation and execution). As a case study in language description, we consider Sudoku as a language, where a Sudoku puzzle is an instance of the language. Thus we are able to apply meta-model-based technologies for the creation of a language description for Sudoku, including correctness checking of a puzzle, and solving strategies. We identify what has to be expressed and how this can be done with the technology available today.

yearjournalcountryeditionlanguage
2009-01-01
https://doi.org/10.1007/978-3-642-00434-6_19