585 search results - page 49 / 117 » Component-Based Description of Programming Languages |
EMSOFT
2006
Springer
14 years 23 days ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
ICCL
1992
IEEE
14 years 1 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 ...
IFIP
2000
Springer
14 years 21 days ago
2000
Springer
We are developing scientific software component technology to manage the complexity of modern, parallel simulation software and increase the interoperability and re-use of scientif...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
ASWEC
2005
IEEE
14 years 2 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...