4008 search results - page 389 / 802 » An expressive language of signatures |
185
click to vote
CICLING
2005
Springer
16 years 12 days ago
2005
Springer
Information extraction is concerned with applying natural language processing to automatically extract the essential details from text documents. A great disadvantage of current ap...
176
click to vote
GPCE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such ...
170
click to vote
ISSTA
2004
ACM
16 years 8 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
168
click to vote
TLDI
2003
ACM
16 years 3 days ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
187
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...