947 search results - page 77 / 190 » Declarative Programming in Prolog |
178
click to vote
ERLANG
2003
ACM
16 years 13 days ago
2003
ACM
This paper describes how the Erlang programming language could be extended with parameterized modules, in a way that is compatible with existing code. This provides a powerful way...
212
Voted
POPL
1992
ACM
15 years 11 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
204
click to vote
TPLP
2002
15 years 6 months ago
2002
We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic schedu...
207
click to vote
BIRTHDAY
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
171
Voted
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular a...