2004 search results - page 149 / 401 » Interaction nets: programming language design and implementa... |
190
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
204
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
160
click to vote
IJHPCA
2007
15 years 6 months ago
2007
We describe the rationale behind the design of key features of Titanium—an explicitly parallel dialect of JavaTM for high-performance scientific programming—and our experienc...
151
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
We built a text-based programming environment that enables youth to design and implement a chat client for the One Laptop per Child XO. The environment allows users to program and...
147
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Polyglot is an extensible compiler framework that supports the easy creation of compilers for languages similar to Java, while avoiding code duplication. The Polyglot framework is ...