6740 search results - page 408 / 1348 » Using Classification as a Programming Language |
188
Voted
ICALP
2009
Springer
16 years 3 days ago
2009
Springer
We consider an extension of the guarded fragment in which one can guard quanti ers using the transitive closure of some binary relations. The obtained logic captures the guarded fr...
193
click to vote
UM
2001
Springer
15 years 12 months ago
2001
Springer
The objective of this research is the exploration how affective knowledge used in global controlling mechanisms for public information systems with lifelike presentation agents wil...
182
click to vote
ESOP
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
189
Voted
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
Registered Engineers are expected to be aware of their responsibilities as professionals. Those who practice Software Engineering often enter that profession without either an eng...
153
click to vote
ICCL
1992
IEEE
15 years 11 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...