926 search results - page 108 / 186 » Prolog as the First Programming Language |
158
click to vote
NLDB
2001
Springer
15 years 9 months ago
2001
Springer
: This paper presents an automatic method and interface to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two co...
155
click to vote
FUIN
2008
15 years 4 months ago
2008
Parsing Expression Grammar (PEG) is a new way to specify syntax, by means of a top-down process with limited backtracking. It can be directly transcribed into a recursive-descent ...
155
click to vote
GPCE
2003
Springer
15 years 10 months ago
2003
Springer
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
124
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
125
click to vote
TAP
2008
Springer
15 years 4 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...