Sciweavers

687 search results - page 27 / 138
» Feature (De)composition in Functional Programming
Sort
View
FM
2011
Springer
357views Formal Methods» more  FM 2011»
13 years 7 days ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
ECOOP
2000
Springer
14 years 1 months ago
Towards a Unified Programming Language
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not a...
Ole Lehrmann Madsen
VEE
2005
ACM
167views Virtualization» more  VEE 2005»
14 years 2 months ago
An execution layer for aspect-oriented programming languages
Language mechanisms deserve language implementation effort. While this maxim has led to sophisticated support for language features specific to object-oriented, functional and lo...
Michael Haupt, Mira Mezini, Christoph Bockisch, To...
HICSS
2002
IEEE
150views Biometrics» more  HICSS 2002»
14 years 1 months ago
AUI: A Programming Language for Developing Plastic Interactive Software
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
Kevin A. Schneider, James R. Cordy
ICDCSW
2002
IEEE
14 years 1 months ago
Taxonomy of Distributed Event-Based Programming Systems
Event-based middleware is currently being applied for application component integration in a range of application domains. As a result, a variety of event services have been propo...
René Meier, Vinny Cahill