4716 search results - page 254 / 944 » Tangible functional programming |
142
click to vote
ALP
1990
Springer
15 years 10 months ago
1990
Springer
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
167
click to vote
SNPD
2004
15 years 7 months ago
2004
The problem of testing programs without test oracles is well known. A commonly used approach is to use special values in testing but this is often insufficient to ensure program c...
146
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
This article presents HSS1 , a compiler for CSS. It is first argued that generating CSS improves portability and maintainability of CSS files. This claim is supported by realist...
169
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
358
click to vote
FM
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...