956 search results - page 89 / 192 » Languages as libraries |
119
Voted
JCDL
2003
ACM
15 years 10 months ago
2003
ACM
G-Portal is a web portal system providing a range of digital library services to access geospatial and georeferenced resources on the Web. Among them are the storage and query sub...
133
Voted
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
133
click to vote
COMPUTER
1999
15 years 4 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
156
click to vote
AICCSA
2001
IEEE
15 years 8 months ago
2001
IEEE
- This paper presents an environment for development of distributed applications. It consists basically of adding to language Java a library of methods to manipulate shared objects...
119
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...