926 search results - page 34 / 186 » Prolog as the First Programming Language |
129
Voted
DIAGRAMS
2006
Springer
15 years 6 months ago
2006
Springer
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...
188
click to vote
SOFSEM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
160
click to vote
CADE
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
93
Voted
CC
2007
Springer
15 years 8 months ago
2007
Springer
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...
121
Voted
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest. It combines...