626 search results - page 118 / 126 » Towards a Unified Programming Language |
106
Voted
IPL
2008
14 years 11 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
CORR
2000
Springer
14 years 11 months ago
2000
Springer
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...
RAS
2008
14 years 11 months ago
2008
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
100
click to vote
LRE
2010
14 years 6 months ago
2010
In this article we want to demonstrate that annotation of multiword expressions in the Prague Dependency Treebank is a well defined task, that it is useful as well as feasible, an...
CHI
2009
ACM
16 years 6 days ago
2009
ACM
We introduce the interaction library Squidy, which eases the design of natural user interfaces by unifying relevant frameworks and toolkits in a common library. Squidy provides a ...