1210 search results - page 123 / 242 » Formal Techniques for Java Programs |
115
click to vote
IFL
2007
Springer
15 years 8 months ago
2007
Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
141
click to vote
EICS
2010
ACM
15 years 2 months ago
2010
ACM
Component-based software engineering is a paradigm aiming at better ways to reuse existing code and to distribute work across teams. Integrating UI components developed with diffe...
101
click to vote
LOPSTR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
136
click to vote
IJCAI
2001
15 years 3 months ago
2001
We are interested in semantical underpinnings for existing approaches to preference handling in extended logic programming (within the framework of answer set programming). As a s...
102
Voted
ICTAC
2009
Springer
15 years 9 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...