6829 search results - page 307 / 1366 » Quantitative Generalizations of Languages |
144
click to vote
SIGADA
2004
Springer
16 years 1 days ago
2004
Springer
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...
180
click to vote
DOCENG
2003
ACM
15 years 12 months ago
2003
ACM
In this paper, we propose to extend XQuery - the XML query language - with a set of transformation operators which will produce a copy of an XML tree in which some subtrees will b...
175
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
161
click to vote
ERSHOV
1999
Springer
15 years 11 months ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...
171
click to vote
HOPL
2007
15 years 10 months ago
2007
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...