750 search results - page 50 / 150 » Declarative event-oriented programming |
115
click to vote
PPDP
2010
Springer
15 years 3 days ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
AGP
1998
IEEE
15 years 6 months ago
1998
IEEE
Parsing has been a traditional workbench for showing the virtues of declarative programming. Both logic and functional programming claim the ability of writing parsers in a natura...
115
click to vote
ERLANG
2003
ACM
15 years 7 months 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...
118
Voted
POPL
1992
ACM
15 years 6 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...
131
Voted
BIRTHDAY
2003
Springer
15 years 7 months 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...