Sciweavers

27119 search results - page 379 / 5424
» Languages
Sort
View
VL
1993
IEEE
159views Visual Languages» more  VL 1993»
15 years 11 months ago
A Visual Logic Programming Language Based on Sets and Partitioning Constraints
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...
Lindsey L. Spratt, Allen L. Ambler
POPL
2006
ACM
16 years 7 months ago
Why dependent types matter
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
James McKinna
CICLING
2003
Springer
16 years 1 days ago
Sentence Co-occurrences as Small-world Graphs: A Solution to Automatic Lexical Disambiguation
This paper presents a graph-theoretical approach to lexical disambiguation on word co-occurrences. Producing a dictionary similar to WordNet, this method is the counterpart to word...
Stefan Bordag
TOOLS
1999
IEEE
15 years 11 months ago
Optimizations of Eiffel Programs: Smalleiffel, the GNU Eiffel Compiler
The design of the Eiffel language makes it possible to perform global optimizations on Eiffel programs. In this paper, we describe some of the techniques we used in SmallEiffel, T...
Dominique Colnet, Olivier Zendra
ICCL
1998
IEEE
15 years 11 months ago
Network Programming Using PLAN
Abstract. We present here a methodology for programming active networks in the environment de ned by our new language PLAN (Packet Language for Active Networks). This environment p...
Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore...