Sciweavers

4 search results - page 1 / 1
» Ucigame, a java library for games
Sort
View
SIGCSE
2008
ACM
151views Education» more  SIGCSE 2008»
13 years 5 months ago
Ucigame, a java library for games
Ucigame (pronounced OO-see-GAH-me) is a Java package that supports the programming of 2D sprite-based computer games. Designed for novice programmers, it enables students in an in...
Daniel Frost
POPL
2005
ACM
14 years 5 months ago
Synthesis of interface specifications for Java classes
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
P. Madhusudan, Pavol Cerný, Rajeev Alur, Wo...
CAV
2007
Springer
121views Hardware» more  CAV 2007»
13 years 11 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
NSDI
2010
13 years 7 months ago
Mugshot: Deterministic Capture and Replay for JavaScript Applications
Mugshot is a system that captures every event in an executing JavaScript program, allowing developers to deterministically replay past executions of web applications. Replay is us...
James Mickens, Jeremy Elson, Jon Howell