Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,371,937 papers from all fields of science
Search
Sign In
Create Free Account
Declarative programming
Known as:
Declarative language
, Declarative programming language
, Declarative program
Expand
In computer science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
AMPL
Adaptive grammar
Alma-0
Analytica
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
A Diagrammatic Approach to Model Completion
F. Rabbi
,
Yngve Lamo
,
Ingrid Chieh Yu
,
L. Kristensen
AMT@MoDELS
2015
Corpus ID: 14309659
Metamodelling plays an important role in model-driven engineering as it can be used to define domain-specific modelling languages…
Expand
2008
2008
Senceive: A Middleware for a Wireless Sensor Network
Christian Hermann
,
W. Dargie
International Conference on Advanced Information…
2008
Corpus ID: 5394160
A significant amount of research effort is being carried out by the research community to increase the scope and usefulness of…
Expand
2004
2004
Model-Based Computing for Design and Control of Reconfigurable Systems
Markus P. J. Fromherz
,
D. Bobrow
,
J. Kleer
The AI Magazine
2004
Corpus ID: 10215094
Complex electro-mechanical products, such as high-end printers and photocopiers, are designed as families, with reusable modules…
Expand
2002
2002
DialogXML: extending VoiceXML for dynamic dialog management
Eric Nyberg
,
T. Mitamura
,
N. Hataoka
2002
Corpus ID: 61088429
The characteristics of VoiceXML make it an attractive choice for the implementation of embedded dialog systems on networked…
Expand
2002
2002
Studies in Comparative Germanic Syntax : Proceedings from the 15th Workshop on Comparative Germanic Syntax
C. Zwart
,
W. Abraham
2002
Corpus ID: 60534313
1. Introduction (by Zwart, C. Jan-Wouter) 2. List of contributors 3. Subordination 4. Wh-movement and integrated parenthetical…
Expand
2001
2001
Ontology negotiation between scientific archives
S. Bailin
,
W. Truszkowski
Proceedings Thirteenth International Conference…
2001
Corpus ID: 17933783
Describes an approach to ontology negotiation between information agents. Ontologies are declarative (data-driven) expressions of…
Expand
1995
1995
Specification by-Example of Virtual Agents Behavior
A. Bimbo
,
E. Vicario
IEEE Transactions on Visualization and Computer…
1995
Corpus ID: 38479333
The development of virtual agents running within graphic environments which emulate real-life contexts may largely benefit from…
Expand
1992
1992
Deduction and declarative programming
P. Padawitz
Cambridge tracts in theoretical computer science
1992
Corpus ID: 117338681
Introduction 1. Preliminaries 2. Guards, generators and constructors 3. Models and correctness 4. Computing goal solutions 5…
Expand
1992
1992
Declarative programming of graphical interfaces by visual examples
Ken Miyashita
,
S. Matsuoka
,
Shin Takahashi
,
A. Yonezawa
,
Tomihisa Kamada
ACM Symposium on User Interface Software and…
1992
Corpus ID: 14481295
Graphical user interfaces (GUI) provide intuitive and easy means for users to communicate with computers. However, construction…
Expand
1989
1989
Expressing Database Queries with Intuitionistic Logic
A. Bonner
,
L. T. McCarty
,
K. Vadaparty
NACLP
1989
Corpus ID: 15027121
This paper develops a declarative language with intuitionistic semantics which expresses exactly the generic database queries…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE