6201 search results - page 333 / 1241 » Implementation of Axiomatic Language |
157
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with as...
173
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
The idea of linked programs, or procedural RDF metadata, has not been deeply explored. This paper introduces a dedicated scripting language for linked data, called Ripple, whose pr...
168
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents the syntax and semantics of a simplified version of a logic-based agent-oriented programming language to implement agents with emotions. Four types of...
145
click to vote
FLAIRS
2008
15 years 9 months ago
2008
This paper describes the efforts undertaken in an international research project LT4eL from the perspective of one of the participating languages, Czech. The project aims at explo...
158
click to vote
HCI
2007
15 years 8 months ago
2007
This paper investigates methods of describing two-dimensional and three-dimensional scenes using eXtensible Mark-up Language (XML). It also investigates the initial development of ...