4258 search results - page 623 / 852 » Languages and Interactive Software Development |
141
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
133
Voted
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
114
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
124
Voted
ICFP
1999
ACM
15 years 8 months ago
1999
ACM
ML-style modules are valuable in the development and maintenance of large software systems, unfortunately, none of the existing languages support them in a fully satisfactory mann...
205
Voted
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...