Filters








38,508 Hits in 4.2 sec

Abstract machines for game semantics, revisited [article]

Olle Fredriksson, Dan R. Ghica
2013 arXiv   pre-print
We define new abstract machines for game semantics which correspond to networks of conventional computers, and can be used as an intermediate representation for compilation targeting distributed systems  ...  Game Abstract Machines (GAM), are HRAMs with additional structure at the interface level, but no special operational capabilities.  ...  Previous work in game semantics for resource usage can be naturally adapted to the operational setting of the GAMs and facilitate the automation of optimised task assignment [11] .  ... 
arXiv:1304.4159v1 fatcat:k3iskec2xzh3tc2u3e72nsx3ii

Abstract Machines for Game Semantics, Revisited

Olle Fredriksson, Dan R. Ghica
2013 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science  
We define new abstract machines for game semantics which correspond to networks of conventional computers, and can be used as an intermediate representation for compilation targeting distributed systems  ...  Game Abstract Machines (GAM), are HRAMs with additional structure at the interface level, but no special operational capabilities.  ...  Previous work in game semantics for resource usage can be naturally adapted to the operational setting of the GAMs and facilitate the automation of optimised task assignment [11] .  ... 
doi:10.1109/lics.2013.63 dblp:conf/lics/FredrikssonG13 fatcat:f6nmfmvtz5fwxe72ohn3kvijxu

How I Learned to Love the Bomb: Defcon and the Ethics of Computer Games [chapter]

Miguel Sicart
2008 Lecture Notes in Computer Science  
This analysis uses the concepts of Level of Abstraction and Gradient of Abstraction, as defined by Luciano Floridi's Information Ethics, applied to the specific study of computer games.  ...  In this paper I present an analysis of the ontology and ethics of computer games from an Information Ethics perspective.  ...  Abstract games 32 , then, are those games that privilege the importance of the procedural over the semantic GoA.  ... 
doi:10.1007/978-3-540-89222-9_1 fatcat:zxz6t7frizcvbh6tlzsrjcryny

Liberating effects with rows and handlers

Daniel Hillerström, Sam Lindley
2016 Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016  
We give an operational semantics for the calculus and a novel generalisation of the CEK machine that implements the operational semantics, and prove that the two coincide. • An implementation of effect  ...  We demonstrate the usability of our implementation by modelling the mathematical game of Nim as an abstract computation.  ...  Acknowledgments Nicolas Oury originally suggested the Nim game as an example to demonstrate programming with handlers.  ... 
doi:10.1145/2976022.2976033 dblp:conf/icfp/HillerstromL16 fatcat:7v6xedw455awrmgf7526ec3t7e

Page 5266 of Mathematical Reviews Vol. , Issue 98H [page]

1998 Mathematical Reviews  
(F-CNRS-IML; Marseille) Game semantics & abstract machines. (English summary) 11th Annual IEEE Symposium on Logic in Computer Science (New Brunswick, NJ, 1996), 394-405, IEEE Comput. Soc.  ...  Malacaria (AJM) are two existing paradigmatic implementations of linear head reduction: respectively, Krivine’s abstract machine and Girard’s interaction abstract machine.  ... 

Applying Game Semantics to Compositional Software Modeling and Verification [chapter]

Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C. -H. Luke Ong
2004 Lecture Notes in Computer Science  
We describe a software model checking tool founded on game semantics, highlight the underpinning theoretical results and discuss several case studies.  ...  Moreover, the models it produces are equationally fully abstract.  ...  Full Abstraction Full abstraction results are crucial in semantics, as they are a strong qualitative measure of the semantic model.  ... 
doi:10.1007/978-3-540-24730-2_32 fatcat:khu3xystave6lolnpbpu4wnxq4

The banality of simulated evil: designing ethical gameplay

Miguel Sicart
2009 Ethics and Information Technology  
The paper proposes a set of game design suggestions based on the Information Ethics concept of Levels of Abstraction which can be applied to formalise ethical challenges into gameplay mechanics; thus allowing  ...  game designers to incorporate ethics as part of the experience of their games.  ...  and the semantic levels of abstraction.  ... 
doi:10.1007/s10676-009-9199-5 fatcat:7rtfikfcgvbkxb665upr5psgzm

The Correctness-Security Gap in Compiler Optimization

Vijay D'Silva, Mathias Payer, Dawn Song
2015 2015 IEEE Security and Privacy Workshops  
The focus of such work is to determine if source code and optimized code have the same functional semantics.  ...  We analyze this gap and conclude that it arises due to techniques that model the state of the program but not the state of the underlying machine.  ...  Techniques for compositionally defining semantics with respect to a machine would simplify the construction of abstract machines and generalized correctness proofs. 5) Attacker models: Each abstract machine  ... 
doi:10.1109/spw.2015.33 dblp:conf/sp/DSilvaPS15 fatcat:rlqjzaynvfbmtk4x3cwi77na2e

The Power of Integrated Abstraction for Data-Centric Human/Machine Computations

Atsuyuki Morishima, Norihide Shinagawa, Shoji Mochizuki
2011 International Workshop on Very Large Data Search  
We argue that such abstractions give us opportunities to appropriately deal with computations not closed in machines.  ...  This paper discusses the potential of integrated abstraction of data-centric human/machine computations, where data provided by people plays an important role.  ...  This paper discusses the potential of integrated abstraction of data-centric human/machine computations.  ... 
dblp:conf/vlds/MorishimaSM11 fatcat:nrxnqltepfhsjfwtx4byohtgom

Towards Measuring the Abstractness of State Machines based on Mutation Testing

Thomas Baar
2017 Modelirovanie i Analiz Informacionnyh Sistem  
In model-based software development projects, the abstract metric can help to prevent model degradation since it can actually measure the semantic distance from the behavioural specification of a system  ...  Abstractness of state machines can be considered as a new metric.  ...  The abstractness is a value between 0 and 1 and encodes the 'semantic distance' between state machine and implementation.  ... 
doi:10.18255/1818-1015-2017-6-691-703 fatcat:kdej5ydtbrd5rirhjlnugivkly

Protocol Modelling Semantics for Embedded Systems

Ashley McNeile, Ella Roubtsova
2007 2007 International Symposium on Industrial Embedded Systems  
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain.  ...  In this paper we argue that a semantic framework known as Protocol Modelling provides a good basis for modelling interactive deterministic embedded systems.  ...  We need to build an independent Game Machine and synchronize it with the Call machine. A Game Machine is shown in Figure 4 . A game can be started when a call is enabled.  ... 
doi:10.1109/sies.2007.4297343 dblp:conf/sies/McNeileR07 fatcat:fnj4hpcfgjchvi6kvsxxwmd7rq

SelectAudit: A Secure and Efficient Audit Framework for Networked Virtual Environments [chapter]

Tuan Phan, Danfeng Yao
2009 Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering  
Recent studies identify that malicious users may compromise the semantic integrity of NVE applications and violate the semantic rules of the virtual environments without being detected.  ...  In this paper, we propose an efficient audit protocol to detect violations of semantic integrity through a probabilistic checking mechanism done by a third-party audit server.  ...  Concrete game state of the player Player's local machine Central game server Abstract states of all players' states Central game server Example 1.  ... 
doi:10.1007/978-3-642-03354-4_16 fatcat:e47n5ujulrggvpqsv5yij56ioa

A creative dialog generator for fallout 4

Khalid Alnajjar, Mika Hämäläinen
2019 Proceedings of the 14th International Conference on the Foundations of Digital Games - FDG '19  
This software demonstration describes a mod for Fallout 4 that will adapt in-game dialog to the context of the current state of the game.  ...  The dialog is generated by a computationally creative back-end software during the game play.  ...  The mod presented in this paper is fully functional with Fallout 4 and can be, with minor adjustments, installed on any Windows machine running the game.  ... 
doi:10.1145/3337722.3341824 dblp:conf/fdg/Al-NajjarH19 fatcat:fixfas4oyfdzbeezsy7uqxk64a

A survey of semantic description frameworks for programming languages

Yingzhou Zhang, Baowen Xu
2004 SIGPLAN notices  
., Games and full abstraction for FPC.  ...  Programs as operations on some hypothetical abstract machine.  ... 
doi:10.1145/981009.981013 fatcat:aq23dovoqvdgzdo5xz7vclcnoe

Robust Weighted Timed Automata and Games [chapter]

Patricia Bouyer, Nicolas Markey, Ocan Sankur
2013 Lecture Notes in Computer Science  
This paper studies cost-optimal reachability problems on weighted timed automata and games under robust semantics.  ...  More precisely, we consider two perturbation game semantics that introduce imprecisions in the standard semantics, and bring robustness properties w.r.t. timing imprecisions to controllers.  ...  The game semantics we consider allow the system to observe and react to perturbations.  ... 
doi:10.1007/978-3-642-40229-6_3 fatcat:eat2jvzcqrfoxkjy6hrtnfx75q
« Previous Showing results 1 — 15 out of 38,508 results