Sciweavers

3516 search results - page 254 / 704
» Programming Languages: Application and Interpretation
Sort
View
BIRTHDAY
2005
Springer
16 years 6 days ago
Term Rewriting Meets Aspect-Oriented Programming
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
Paul Klint, Tijs van der Storm, Jurgen J. Vinju
PEPM
2004
ACM
16 years 9 hour ago
Program transformations for portable CPU accounting and control in Java
In this paper we introduce a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be use...
Jarle Hulaas, Walter Binder
HASKELL
2006
ACM
16 years 19 days ago
Introducing the Haskell equational reasoning assistant
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
Andy Gill
CD
2005
Springer
16 years 6 days ago
Component Deployment Using a Peer-to-Peer Overlay
The deployment of component-based software applications usually relies on a centralized repository where the components are stored. This paper describes a peer-to-peer approach for...
Stéphane Frénot, Yvan Royon
ERLANG
2003
ACM
15 years 12 months ago
Automated test generation for industrial Erlang applications
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
Johan Blom, Bengt Jonsson