3706 search results - page 618 / 742 » KtSeqC: System Description |
211
click to vote
ICCL
1992
IEEE
15 years 10 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
209
click to vote
TOOLS
1992
IEEE
15 years 10 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
188
click to vote
EWDW
1990
15 years 10 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
165
click to vote
SIGGRAPH
1989
ACM
15 years 10 months ago
1989
ACM
We analyse some recent approaches to the global illumination problem by introducing the corresponding reflection operators, and we demonstrate the advantages of a two-pass method....
156
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...