3473 search results - page 210 / 695 » Aspect-Oriented Programming with C |
130
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Keyword programming is a novel technique for reducing the need to remember details of programming language syntax and APIs, by translating a small number of keywords provided by t...
184
click to vote
CEFP
2007
Springer
15 years 10 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
127
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
135
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
131
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...