Sciweavers

6201 search results - page 147 / 1241
» Implementation of Axiomatic Language
Sort
View
ESOP
2000
Springer
15 years 8 months ago
Sharing Continuations: Proofnets for Languages with Explicit Control
We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values,...
Julia L. Lawall, Harry G. Mairson
ITCC
2005
IEEE
15 years 10 months ago
A Stemming Algorithm for the Farsi Language
In this paper, we report on the design and implementation of a stemmer for the Farsi language. The results of our evaluation on a small Farsi document collection shows a signific...
Kazem Taghva, Russell Beckley, Mohammad Sadeh
OOPSLA
1995
Springer
15 years 8 months ago
Using a Prototype-based Language for User Interface: The Newton Project's Experience
Object-oriented user interface frameworks are usually implemented in a class-based language. We chose instead to develop a prototype-based language, NewtonScript, for this purpose...
Walter R. Smith
ACL
1992
15 years 5 months ago
Association-Based Natural Language Processing with Neural Networks
This paper describes a natural language processing system reinforced by the use of association of words and concepts, implemented as a neural network. Combining an associative net...
Kazuhiro Kimura, Takashi Suzuoka, Shin'ya Amano
SIGCSE
2002
ACM
142views Education» more  SIGCSE 2002»
15 years 4 months ago
Integrating formal models into the programming languages course
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
Allen B. Tucker, Robert E. Noonan