Sciweavers

4139 search results - page 305 / 828
» Designing and Implementing Combinator Languages
Sort
View
166
Voted
SWAP
2007
15 years 7 months ago
The JUMP project: Domain Ontologies and Linguistic Knowledge @ Work
The JUMP project aims at bringing together the knowledge stored in different information systems in order to satisfy information and training needs in knowledge-intensive organisa...
Pierpaolo Basile, Marco Degemmis, Anna Lisa Gentil...
182
Voted
JTRES
2010
ACM
15 years 6 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek
185
Voted
JAVA
2001
Springer
15 years 10 months ago
High-performance Java codes for computational fluid dynamics
The computational science community is reluctant to write largescale computationally-intensive applications in Java due to concerns over Java’s poor performance, despite the cla...
Christopher Riley, Siddhartha Chatterjee, Rupak Bi...
SAC
2006
ACM
16 years 3 days ago
Lost in just the translation
This paper describes the design and implementation of a scheme for hiding information in translated natural language text, and presents experimental results using the implemented ...
Ryan Stutsman, Christian Grothoff, Mikhail J. Atal...
ICFP
2002
ACM
16 years 6 months ago
Monads for incremental computing
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A program that uses incremental computation is able to...
Magnus Carlsson