论文信息 - A formal specification for casanova, a language for computer games

A formal specification for casanova, a language for computer games

In this paper we present the specification and preliminary assessment of Casanova, a newly designed computer language which integrates knowledge about many areas of game development with the aim of simplifying the process of engineering a game. Casanova is designed as a fully-fledged language, as an extension language to F#, but also as a pervasive design pattern for game development.

[1] Simon L. Peyton Jones,et al. Imperative functional programming , 1993, POPL '93.

[2] Mat Buckland,et al. Programming Game AI by Example , 2004 .

[3] Giuseppe Maggiore,et al. Designing Casanova: A Language for Games , 2011, ACG.

[4] Johannes Gehrke,et al. Scaling games to epic proportions , 2007, SIGMOD '07.

[5] Tracy Fullerton,et al. Game Design Workshop: A Playcentric Approach to Creating Innovative Games, Third Edition , 2014 .

[6] Johan Jeuring,et al. PolyP—a polytypic programming language extension , 1997, POPL '97.

[7] Paul Hudak,et al. Functional reactive animation , 1997, ICFP '97.

[8] P. Vorderer,et al. Serious games : mechanisms and effects , 2009 .

[9] Eelke Folmer,et al. Component Based Game Development - A Solution to Escalating Costs and Expanding Deadlines? , 2007, CBSE.

[10] Monadic Scripting in F# for Computer Games , 2011 .

[11] Jennifer Widom,et al. Database System Implementation , 2000 .

[12] Benjamin C. Pierce,et al. Types and programming languages: the next generation , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[13] Apostolos Ampatzoglou,et al. Evaluation of object-oriented design patterns in game development , 2007, Inf. Softw. Technol..