Algebraic Semantics of Imperative Programs

Goguen, Joseph A.; Malcolm, Grant

doi:10.7551/mitpress/1188.001.0001

Cited by 108 publications

(39 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Fifth, we could use a formal approach to evaluating game designs for playability. For example, in [2], Harrell uses algebraic semiotics [33] and morphic semiotics [34] as a precise language to "design systems to reflect users' values" by considering the precise descriptions of such structures, termed semiotic spaces [34], [35], and their mappings from one to another, termed semiotic morphisms [35]. Comparison between games may be done by analyzing the structure-preserving mappings between their design and implementation [34].…”

Section: A Future Workmentioning

confidence: 99%

An approach to general videogame evaluation and automatic generation using a description language

Lim

Harrell

2014

2014 IEEE Conference on Computational Intelligence and Games

View full text Add to dashboard Cite

In this paper, we present an approach for au tomated evaluation and generation of videogames made with Puzz/eScript, a description-based scripting language for authoring games, which was created by game designer Stephen Lavelle [1].We have developed a system that automatically discovers solu tions for a multitude of videogames that each possess different game mechanics, rules, level designs, and win conditions. In our approach, we first developed a set of general level state heuristics, which estimates how close a given game level is to being solved. It is used to adapt the best-first search algorithm to implement a general evaluation approach for Puzz/eScript games called GEBestFS. Next, we developed an evolutionary framework that automatically generates novel game mechanics from scratch by evolving game design rulesets and evaluating them using GEBestFS. This was achieved by developing a set of general ruleset heuristics to assess the playability of a game based on its game mechanics. From the results of our approach, we showcase that a description-based language enables the development of general methods for automatically evaluating games authored with it. Additionally, we illustrate how an evolutionary approach can be used together with these methods to to automatically design alternate or novel game mechanics for authored games.

show abstract

Section: A Future Workmentioning

confidence: 99%

An approach to general videogame evaluation and automatic generation using a description language

Lim

Harrell

2014

2014 IEEE Conference on Computational Intelligence and Games

View full text Add to dashboard Cite

show abstract

“…Other approaches are also possible, including algebraic semantics [33] which has been used successfully to show equivalence between code fragments of metamorphic malware.…”

Section: Axiomatic Semanticsmentioning

confidence: 99%

Software Similarity and Classification

Cesare

Xiang

2012

SpringerBriefs in Computer Science

View full text Add to dashboard Cite

This thesis introduces the major applications related to software similarity and classification and proposes novel contributions to the theory and practice of malware detection and clone detection. The topic of software similarity and classification covers the areas of detecting software variants, clones, derivatives, and classes of software. The literature of those individual areas can be combined into a cohesive topic that we examine in a unified manner. We demonstrate that considering these applied problems as a software similarity and classification problem enables techniques to be shared between areas.

show abstract

“…For example, no real storage device exactly satisfies the two OBJ equations proposed by Goguen and Malcolm (1996). For example, no real storage device exactly satisfies the two OBJ equations proposed by Goguen and Malcolm (1996).…”

Section: Interpretation As Direct Statementsmentioning

confidence: 99%

On the interpretation of mathematical entities in the formalisation of programming and modelling languages

Cañete-Valdeón

2008

Math. Struct. in Comp. Science

View full text Add to dashboard Cite

This paper analyses the interpretation of mathematical entities in the formalisations of languages. Four case studies are considered, covering both denotational and axiomatic approaches. We argue that the usual interpretation consists of direct statements about the language concepts and, occasionally, about the real world; some problems of this approach are discussed. Applying results from philosophical studies into the structure of scientific theories, we propose an alternative interpretation of mathematical entities as statements defining constructed concepts, which can be employed in turn as theoretical models of the language concepts and the world. Though this approach requires us to write hypotheses claiming some similarity between the models and the represented subjects, we reason that it is more adequate for formalising certain languages.

show abstract

Algebraic Semantics of Imperative Programs

Cited by 108 publications

References 0 publications

An approach to general videogame evaluation and automatic generation using a description language

An approach to general videogame evaluation and automatic generation using a description language

Software Similarity and Classification

On the interpretation of mathematical entities in the formalisation of programming and modelling languages

Contact Info

Product

Resources

About