2496 search results - page 230 / 500 » Error-detecting properties of languages |
166
click to vote
CSFW
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
263
click to vote
WCFLP
2005
ACM
16 years 7 days ago
2005
ACM
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
149
click to vote
ESOP
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
177
click to vote
IFL
2005
Springer
16 years 5 days ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
150
click to vote
IJCNLP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Lexical Conceptual Structure (LCS) represents verbs as semantic structures with a limited number of semantic predicates. This paper attempts to exploit how LCS can be use...