A formal specification for casanova, a language for computer games

Authors:
Giuseppe Maggiore;Alvise Spanò;Renzo Orsini;Michele Bugliesi;Mohamed Abbadi;Enrico Steffinlongo
Affiliations:
Università Ca' Foscari di Venezia, Venice, Veneto, Italy;Università Ca' Foscari di Venezia, Venice, Veneto, Italy;Università Ca' Foscari di Venezia, Venice, Veneto, Italy;Università Ca' Foscari di Venezia, Venice, Veneto, Italy;Università Ca' Foscari di Venezia, Venice, Veneto, Italy;Università Ca' Foscari di Venezia, Venice, Veneto, Italy
Venue:
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Year:
2012

Citing 7
Cited 0

Functional reactive animation

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
PolyP—a polytypic programming language extension

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Types and programming languages

Types and programming languages
Database System Implementation

Database System Implementation
Evaluation of object-oriented design patterns in game development

Information and Software Technology
Scaling games to epic proportions

Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Component based game development: a solution to escalating costs and expanding deadlines?

CBSE'07 Proceedings of the 10th international conference on Component-based software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.