3844 search results - page 542 / 769 » Modular interpreted systems |
160
click to vote
AML
2006
15 years 6 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
187
click to vote
ENTCS
2008
15 years 6 months ago
2008
In this paper we define nQML, a functional quantum programming language that follows the "quantum data and control" paradigm. In comparison to Altenkirch and Grattage�...
148
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
It is well known that perspective alignment plays a major role in the planning and interpretation of spatial language. In order to understand the role of perspective alignment and...
145
click to vote
CVGIP
2006
15 years 6 months ago
2006
The appearance of computer generated plants has improved significantly due to recent advances in both modeling and rendering. In this paper we describe a system that further impro...
151
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...