6740 search results - page 408 / 1348 » Using Classification as a Programming Language |
132
click to vote
ICALP
2009
Springer
15 years 8 months 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...
132
Voted
UM
2001
Springer
15 years 8 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...
132
Voted
ESOP
1994
Springer
15 years 7 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...
123
click to vote
IFIP
1994
Springer
15 years 7 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...
102
Voted
ICCL
1992
IEEE
15 years 7 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...