1180 search results - page 202 / 236 » Total Functional Software Engineering - Overview Paper |
113
click to vote
SEFM
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
92
Voted
CIKM
2007
Springer
15 years 5 months ago
2007
Springer
Modern web search engines are expected to return top-k results efficiently given a query. Although many dynamic index pruning strategies have been proposed for efficient top-k com...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
The aim of this paper is to propose an approach based on the concept of annotation for supporting design communication. In this paper, we describe a co-operative design case study...
TOPLAS
2002
14 years 10 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
174
click to vote
POPL
2009
ACM
15 years 11 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...