3824 search results - page 332 / 765 » Geometry Constructions Language |
107
click to vote
EACL
1989
ACL Anthology
15 years 6 months ago
1989
ACL Anthology
In this paper we describe a framework for research into translation that draws on a combination of two existing and independently constructed technologies: an analysis component d...
147
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
148
Voted
JLP
2008
15 years 4 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
145
click to vote
NLE
2008
15 years 4 months ago
2008
Morphological analysis is a crucial component of several natural language processing tasks, especially for languages with a highly productive morphology, where stipulating a full ...
143
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...