11909 search results - page 436 / 2382 » The Scheme Programming Language |
152
click to vote
BMCBI
2008
15 years 7 months ago
2008
We explore a linguistically motivated approach to the problem of recognizing speculative language ("hedging") in biomedical research articles. We describe a method, whic...
248
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
167
click to vote
APSEC
2004
IEEE
15 years 11 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
226
click to vote
TOOLS
1999
IEEE
15 years 12 months ago
1999
IEEE
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...
185
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
We propose multi-language synchronization, a novel approach to the problem of migrating code from a legacy language (such as C) to a new language. We maintain two parallel versions...