1401 search results - page 128 / 281 » Tool Integration for Reasoned Programming |
174
Voted
ICLP
2011
Springer
14 years 6 months ago
2011
Springer
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
113
Voted
ICFP
2001
ACM
16 years 2 months ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...
107
click to vote
MICRO
2002
IEEE
15 years 7 months ago
2002
IEEE
Register integration (or just integration) is a register renaming discipline that implements instruction reuse via physical register sharing. Initially developed to perform squash...
153
click to vote
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
124
click to vote
APSEC
1999
IEEE
15 years 6 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...