3824 search results - page 355 / 765 » Geometry Constructions Language |
139
click to vote
VL
1999
IEEE
15 years 9 months ago
1999
IEEE
We present new pragmatic constructs for easing programming in visual graph rewriting programming languages. The first is a modification to the rewriting process for nodes the host...
123
click to vote
POPL
1998
ACM
15 years 9 months ago
1998
ACM
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
142
click to vote
APSEC
1997
IEEE
15 years 9 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
134
Voted
COOPIS
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper describes how query formulation can be made simple and less complicated by using ontologies. It takes a brief look at several advantages of using ontologies in a distri...
150
Voted
ECOOP
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...