4139 search results - page 360 / 828 » Designing and Implementing Combinator Languages |
194
Voted
ECRTS
2000
IEEE
15 years 12 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
176
click to vote
TOOLS
1998
IEEE
15 years 11 months ago
1998
IEEE
Object-orientation has rapidly become accepted as the preferred paradigm for large scale system design. There is considerable literature describing approaches to object-oriented d...
187
Voted
ICTAI
1994
IEEE
15 years 11 months ago
1994
IEEE
Large-scale lexical knowledge acquisition is one of the most time critical steps in developing a knowledge-based machine translation system. In particular, developing the syntacti...
167
Voted
IFIP
1993
Springer
15 years 11 months ago
1993
Springer
A new type of computer-aided engineering environment is envisioned which will improve the productivity of manufacturing/industrial engineers. This environment would be used by eng...
222
Voted
HASKELL
2007
ACM
15 years 11 months ago
2007
ACM
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...