8008 search results - page 523 / 1602 » Computer-Aided Language Processing |
151
click to vote
MODELS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
203
click to vote
FDL
2006
IEEE
16 years 14 days ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
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 ...
160
click to vote
AIIA
1991
Springer
15 years 10 months ago
1991
Springer
The following paper describes FSS-WASTL, a system for the acquisition of semantic knowledge within XTRA – a natural language access system to expert systems. Starting from user-...
171
click to vote
TCS
2010
15 years 4 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...