Sciweavers

502 search results - page 17 / 101
» Declarative Programming with Function Patterns
Sort
View
EUROPLOP
2006
14 years 11 months ago
Supporting the Selection of Design Patterns by Formal Definition and Considering Semantics
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
Klaus Meffert
BIRTHDAY
2008
Springer
14 years 11 months ago
The Reaction Algebra: A Formal Language for Event Correlation
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed sys...
César Sánchez, Matteo Slanina, Henny...
HICSS
2003
IEEE
138views Biometrics» more  HICSS 2003»
15 years 2 months ago
Towards Verifying Parametrised Hardware Libraries with Relative Placement Information
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
Steve McKeever, Wayne Luk, Arran Derbyshire
ERLANG
2003
ACM
15 years 2 months ago
Parameterized modules in Erlang
This paper describes how the Erlang programming language could be extended with parameterized modules, in a way that is compatible with existing code. This provides a powerful way...
Richard Carlsson
ICFP
2006
ACM
15 years 9 months ago
Design patterns as higher-order datatype-generic programs
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream programming languages, these elements can only be expressed extra-linguist...
Jeremy Gibbons