Sudoku --- A Language Description Case Study

Authors:
Terje Gjøsæter;Ingelin F. Isfeldt;Andreas Prinz
Affiliations:
Faculty of Engineering and Science, University of Agder, Grimstad, Norway N-4876;Faculty of Engineering and Science, University of Agder, Grimstad, Norway N-4876;Faculty of Engineering and Science, University of Agder, Grimstad, Norway N-4876
Venue:
Software Language Engineering
Year:
2009

Citing 5
Cited 0

Programming languages (2nd ed.): concepts and constructs

Programming languages (2nd ed.): concepts and constructs
MDA Explained: The Model Driven Architecture: Practice and Promise

MDA Explained: The Model Driven Architecture: Practice and Promise
Java(TM) Developer's Guide to Eclipse, The (2nd Edition)

Java(TM) Developer's Guide to Eclipse, The (2nd Edition)
Human comprehensible and machine processable specifications of operational semantics

ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
A model-based standard for SDL

SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.