Sciweavers

2736 search results - page 147 / 548
» Understanding programmer language
Sort
View
LREC
2010
123views Education» more  LREC 2010»
15 years 6 months ago
Examining the Effects of Rephrasing User Input on Two Mobile Spoken Language Systems
In this work we investigate the effects of rephrasing the user's input on two mobile spoken dialogue systems. We argue that for specific kinds of applications it's impor...
Nikos Tsourakis, Agnes Lisowska, Manny Rayner, Pie...
124
Voted
ICFP
2005
ACM
16 years 4 months ago
Combining programming with theorem proving
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
Chiyan Chen, Hongwei Xi
DALT
2007
Springer
15 years 10 months ago
Towards Alternative Approaches to Reasoning About Goals
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-ag...
Patricia H. Shaw, Rafael H. Bordini
ML
2006
ACM
15 years 10 months ago
Seminal: searching for ML type-error messages
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
Benjamin S. Lerner, Dan Grossman, Craig Chambers
WCFLP
2005
ACM
15 years 10 months ago
A functional logic database library
Programmers need mechanisms to store application specific data that persists multiple program runs. To accomplish this task, they usually have to deal with storage specific code...
Sebastian Fischer