Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Declarative programming

Known as: Declarative language, Declarative programming language, Declarative program 
In computer science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Building and debugging distributed software remains extremely difficult. We conjecture that by adopting a data-centric approach… Expand
  • figure 2
  • table 1
  • table 2
  • table 3
  • figure 4
Highly Cited
2006
Highly Cited
2006
The networking and distributed systems communities have recently explored a variety of new network architectures, both for… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Highly Cited
2002
Highly Cited
2002
We present the Tiny AGgregation (TAG) service for aggregation in low-power, distributed, wireless environments. TAG allows users… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Highly Cited
2000
Highly Cited
2000
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The… Expand
  • table 1
  • table 2
  • table 4
  • table 6
  • table 5
Review
1999
Review
1999
generalize create, solve unseen problems, extrapolate to unknown domains 22831.indb 124 6/15/11 2:11 PM Designing intended… Expand
  • figure 1.1
  • figure 2.1
  • figure 3.1
  • table 4.1
  • table 4.2
Highly Cited
1993
Highly Cited
1993
Abstract To support the sharing and reuse of formally represented knowledge among AI systems, it is useful to define the common… Expand
Highly Cited
1988
Highly Cited
1988
Abstract We identify a useful class of logic programs with negation, called stratified programs, that disallow certain… Expand
Highly Cited
1987
Highly Cited
1987
LUSTRE is a synchronous data-flow language for programming systems which interact with their environments in real-time. After an… Expand
  • table 1
Highly Cited
1987
Highly Cited
1987
This paper presents the language LUSTRE, whose main application field is the programming of automatic control and signal… Expand
Highly Cited
1987
Highly Cited
1987
We address the problem of designing programming systems to reason with and about constraints. Taking a logic programming approach… Expand