Declarative programming

Known as: Declarative program, Declarative Programming Language, Declarative (programming) 
In computer science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1959-2017
010020030019592017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
published by the press syndicate of the university of cambridge A catalogue record for this book is available from the British… (More)
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Building and debugging distributed software remains extremely difficult. We conjecture that by adopting a data-centric approach… (More)
  • figure 2
  • table 1
  • table 2
  • table 3
  • figure 4
Is this relevant?
2009
2009
This paper proposes a declarative description of user inter fac s that abstracts from low-level implementation details. In parti… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
This paper presents Meld, a programming language for modular robots, i.e., for independently executing robots where inter-robot… (More)
  • figure 1
  • figure 7
  • figure 9
  • figure 8
  • figure 10
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The networking and distributed systems communities have recently explored a variety of new network architectures, both for… (More)
  • figure 1
  • figure 4
  • figure 2
  • figure 3
  • figure 5
Is this relevant?
2005
2005
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Maude is a high-level language and a high-performance system supporting executable speci$cation and declarative programming in… (More)
Is this relevant?
1993
1993
We try to assess to what extent declarative programming can be realized in Prolog and which aspects of correctness of Prolog… (More)
Is this relevant?
1988
1988
The Flagship project aims to produce a computing technology based on the declarative style of programming. A major component of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
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… (More)
Is this relevant?