1835 search results - page 61 / 367 » Functional Programming of Behavior-Based Systems |
MSCS
2008
15 years 27 days ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
133
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
112
click to vote
CSL
1998
Springer
15 years 19 days ago
1998
Springer
This paper presents PARADISE PARAdigm for DIalogue System Evaluation , a general framework for evaluating and comparing the performance of spoken dialogue agents. The framework d...
133
Voted
RTCSA
2003
IEEE
15 years 6 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
127
Voted
ISORC
2003
IEEE
15 years 6 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...