3824 search results - page 390 / 765 » Geometry Constructions Language |
151
click to vote
ISSTA
2004
ACM
15 years 11 months 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...
134
Voted
IWMM
2004
Springer
15 years 11 months ago
2004
Springer
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...
160
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...
173
click to vote
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
Automatically generating Conceptual Graphs (CGs) [1] from natural language sentences is a difficult task in using CG as a semantic (knowledge) representation language for natural l...
151
click to vote
SIGSOFT
2000
ACM
15 years 10 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...