Sciweavers

968 search results - page 84 / 194
» The Molen Programming Paradigm
Sort
View
ENTCS
2007
87views more  ENTCS 2007»
15 years 4 months ago
Aspect-orientation For Revitalising Legacy Business Software
This paper relates on a first attempt to see if aspect-oriented programming (AOP) and logic meta-programming (LMP) can help with the revitalisation of legacy business software. B...
Kris De Schutter, Bram Adams
ENTCS
2000
154views more  ENTCS 2000»
15 years 4 months ago
Debugging Haskell by Observing Intermediate Data Structures
Haskell has long needed a debugger. Although there has been much research into the topic of debugging lazy functional programs, no robust tool has yet come from the Haskell commun...
Andy Gill
APLAS
2009
ACM
15 years 11 months ago
Proving Copyless Message Passing
Handling concurrency using a shared memory and locks is tedious and error-prone. One solution is to use message passing instead. We study here a particular, contract-based flavor ...
Jules Villard, Étienne Lozes, Cristiano Cal...
SEFM
2006
IEEE
15 years 10 months ago
Formalizing AspectJ Weaving for Static Pointcuts
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...
Nadia Belblidia, Mourad Debbabi
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
15 years 9 months ago
Specifying Behavior in C++
Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and ...
Xiangtian Dai, Gregory D. Hager, John Peterson