377 search results - page 5 / 76 » Modular logic metaprogramming |
DAGSTUHL
2003
13 years 8 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
CONCUR
2004
Springer
14 years 23 days ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
BIRTHDAY
2005
Springer
14 years 28 days ago
2005
Springer
PPDP
2009
Springer
14 years 1 months ago
2009
Springer
“Scrap Your Boilerplate” (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the un...
DAGSTUHL
2006
13 years 8 months ago
2006
This paper applies a mix of aspect-oriented programming (AOP) and logic meta-programming (LMP) to tackle some concerns of/in legacy environments. We present four different problem...