1143 search results - page 80 / 229 » Abstract Syntax and Logic Programming |
142
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...
124
click to vote
CSMR
2003
IEEE
15 years 10 months ago
2003
IEEE
The paper addresses two problems in software maintenance. Firstly, some maintenance tasks require modifications of the grammar. A change in a grammar can make syntax and transfor...
128
Voted
JUCS
2007
15 years 4 months ago
2007
Abstract: Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Act...
140
click to vote
SLP
1993
15 years 6 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...
143
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....