Sciweavers

4386 search results - page 182 / 878
» A Tamper-Resistant Programming Language System
Sort
View
OORASE
1999
Springer
15 years 6 months ago
OpenJava: A Class-Based Macro System for Java
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is difficult to...
Michiaki Tatsubori, Shigeru Chiba, Kozo Itano, Mar...
113
Voted
FLAIRS
2010
15 years 4 months ago
A Game Playing System for Use in Computer Science Education
The MAPLE Game Playing System is a web application and website that allows students to design and program game playing agents using the Python programming language. The system pro...
James MacGlashan, Don Miner, Marie desJardins
FLOPS
2010
Springer
15 years 8 months ago
Code Generation via Higher-Order Rewrite Systems
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
Florian Haftmann, Tobias Nipkow
ECBS
1997
IEEE
118views Hardware» more  ECBS 1997»
15 years 6 months ago
A generic system for interactive real-time animation
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
Marita Dücker, Georg Lehrenfeld, Wolfgang M&u...
SIGSOFT
2001
ACM
16 years 2 months ago
Using aspectC to improve the modularity of path-specific customization in operating system code
Layered architecture in operating system code is often compromised by execution path-specific customizations such as prefetching, page replacement and scheduling strategies. Paths...
Yvonne Coady, Gregor Kiczales, Michael J. Feeley, ...