5451 search results - page 136 / 1091 » Typed Operational Semantics |
143
Voted
EUSFLAT
2009
15 years 1 months ago
2009
Abstract-- This paper examines type-2 fuzzy arithmetic using interval analysis. It relies heavily on alpha-cuts and alpha-planes. Furthermore, we discuss the use of quasi type-2 fu...
113
Voted
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
115
Voted
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
108
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
XML transformations are very sensitive to types: XML types describe the tags and attributes of XML elements as well as the number, kind, and order of their sub-elements. Therefore,...
104
Voted
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...