3516 search results - page 168 / 704 » Programming Languages: Application and Interpretation |
150
click to vote
SPIN
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
157
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
The Push programming language was developed for use in genetic and evolutionary computation systems, as the representation within which evolving programs are expressed. It has bee...
157
click to vote
AAAI
2004
15 years 7 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...
179
click to vote
PPPJ
2009
ACM
16 years 25 days ago
2009
ACM
Continuations, or ’the rest of the computation’, are a concept that is most often used in the context of functional and dynamic programming languages. Implementations of such ...
163
click to vote
VLC
2002
15 years 5 months ago
2002
In this paper, we introduce an XML-based Hierarchical QoS Markup Language, called HQML, to enhance distributed multimedia applications on the World Wide Web (WWW) with Quality of ...