3796 search results - page 427 / 760 » Presentations by Programmers for Programmers |
154
Voted
ENTCS
2002
15 years 7 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
197
Voted
SIGPLAN
2002
15 years 7 months ago
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
224
click to vote
JSC
2010
15 years 5 months ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
158
Voted
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
The act of computer programming is generally considered to be temporally removed from a computer program’s execution. In this paper we discuss the idea of programming as an acti...
201
Voted
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
Managing features that have fine-grained impact on base programs is a challenging task in software product line development. Despite well-known problems, preprocessing (e.g., cpp)...