3634 search results - page 227 / 727 » The Field Representation Language |
163
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...
194
click to vote
ESOP
2004
Springer
16 years 4 hour ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
175
click to vote
IEEEICCI
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we focus on lexical semantics, a key issue in Natural Language Processing (NLP) that tends to converge with conceptual Knowledge Representation (KR) and ontologies....
196
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-speci...
172
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
In the seventies, several classification schemes for the rational languages were proposed, based on the alternate use of certain operators (union, complementation, product and star...