2625 search results - page 45 / 525 » The development of the Emerald programming language |
115
Voted
COLING
2002
15 years 3 months ago
2002
This paper presents the Natural Language Processing-based linguistic analysis tool that we have developed for Japanese as a Second Language teachers. This program, Zero Detector (...
134
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
206
click to vote
BALT
2010
14 years 10 months ago
2010
For the purposes of tool development, computer languages are usually described using context-free grammars with annotations such as semantic actions or pretty-printing instructions...
137
Voted
HASKELL
2007
ACM
15 years 7 months ago
2007
ACM
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
159
Voted
ITICSE
2005
ACM
15 years 9 months ago
2005
ACM
concepts more concrete. The method has two main learning outcomes: • Language Specification – The goal of the assignment is to be able to build LEGO® creations on a standard g...