|
| |
| | Declarative programming - Wikipedia, the free encyclopedia |
 | | According to a different definition, a program is "declarative" if it is written in a functional programming language, logic programming language, or constraint programming language. | | | Declarative programming language for programming languages that support declarative programming | | | In a declarative program you write (declare) a data structure that is processed by a standard algorithm (for that language) to produce the desired result. |
|
http://en.wikipedia.org/wiki/Declarative_programming
(728 words)
|
|
| |
| | Declarative programming language - Wikipedia, the free encyclopedia |
| | Functional programming languages are declarative in that functions relate their output to their input — without defining a strict order to evaluate any operations. | | | Data-oriented programming languages and query languages are declarative in that queries are not given in terms of how to find data but instead give criteria for the desired data (SQL is an example). | | | A declarative programming language is a high-level language that describes a problem rather than defining a solution — it makes use of declarative programming. |
|
http://en.wikipedia.org/wiki/Declarative_programming_language
(361 words)
|
|
| |
| | [No title] |
| | Pure declarative programming languages are a holy grail that is unlikely ever to be achieved, unless artificial intelligence results in computer programs that are smarter than computer programmers, and that's a long, long way off. | | | DECLARATIVE programming is programming by telling the computer WHAT, not HOW. | | | Declarative vs. Imperative IMPERATIVE programming is programming where you "tell the computer what to do" using imperative statements. |
|
http://www.cs.utexas.edu/ftp/pub/garbage/cs345/class-notes/declara.txt
(5216 words)
|
|
| |
| | 2cs24 Declarative |
| | DECLARATIVE LANGUAGES: Declarative programs, in turn, are made up of sets of definitions or equations describing relations which specify what is to be computed (not how it is to be computed), e.g. | | | Declarative languages are considered to be specialised in that they were initially intended for use in Artificial Intelligence (AI) and expert systems programming. | | | To study computer programming languages it is convenient to devide such languages into categories according to some classification. |
|
http://www.csc.liv.ac.uk/~frans/OldLectures/2CS24/declarative.html
(1107 words)
|
|
| |
| | A Note on Declarative Programming Paradigms and the Future of Definitional Programming |
| | Programs are evaluated by proving queries with respect to the given program. | | | Declarative programming in the weak sense means that the programmer apart from the logic of a program also must give control information to yield an efficient program. | | | Most declarative programming languages stem from work in artificial intelligence and automated theorem proving, areas where the need for a higher level of abstraction and a clear semantic model of programs is obvious. |
|
http://www.cs.chalmers.se/pub/users/oloft/Papers/wm96/wm96.html
(5508 words)
|
|
| |
| | java.net: Ruling Out: Rule Engines and Declarative Programming Come to Java |
| | Declarative programming is distinct from imperative programming, which is more commonly known as procedural programming. | | | Rule engines and declarative programming give you the ability to quickly alter the behavior of your system in a way which is difficult to program in raw Java, and to manage and interact with data in a more human way. | | | Declarative programming has been around for at least 30 years, but is presently enjoying a renaissance due to the rise of open source software, XML, and a reinvigorated interest in rule engine technology. |
|
http://today.java.net/pub/a/today/2004/08/19/rulingout.html
(2533 words)
|
|
| |
| | ONJava.com -- Declarative Programming in Java |
| | Imperative programming gives a list of instructions to execute in a particular order -- Java program that counts the number of words in a text file is an example of the imperative approach. | | | There are two approaches to programming called imperative programming and declarative programming. | | | Annotation is a generic mechanism for associating metadata (declarative information) with program elements such as classes, methods, fields, parameters, local variables, and packages. |
|
http://www.onjava.com/pub/a/onjava/2004/04/21/declarative.html
(764 words)
|
|
| |
| | CoDe Magazine - Article: Anything To Declare? |
| | Using imperative programming, a developer can instruct the computer to perform a specific task based on a set of instructions or commands. | | | I prefer to think of declarative programming as an "instantiation and invocation concept." In the label example you are still working with objects. | | | In declarative programming, on the other hand, the developer simply states what is to be achieved, and leaves it up to the system to get the job done. |
|
http://www.code-magazine.com/Article.aspx?quickid=050053
(1384 words)
|
|
| |
| | Declarative Logic Programming Research Project |
| | A logic program is written as a set of logical definitions (declarations, specifications.) The same program is interpreted by a computer as a set of imperative procedures. | | | After composing the program in a declarative way, the programmer may wish to consider program's imperative meaning, and add control structures to improve the efficiency. | | | This research project was concerned with designing a logic programming system which could offer the programmer a wide expressive power and minimize the need for thinking about the procedural meaning of the program. |
|
http://faculty.plattsburgh.edu/jan.plaza/research/lp
(1076 words)
|
|
| |
| | Functional and Declarative Programming in Education (FDPE05) |
| | Functional and declarative programming plays an increasingly important role in computing education at all levels. | | | programming courses teaching functional programming in commercial languages (e.g. | | | The aim of this workshop is to bring together educators and others who are interested in exchanging ideas on how to use a functional or declarative programming style in the classroom or in e-learning environments. |
|
http://www.cs.kent.ac.uk/people/staff/sjt/fdpe05
(317 words)
|
|
| |
| | Our Research on Declarative Meta Programming |
| | To express this interaction between the program code and the (higher-level) documentation of a software system, we believe that a declarative programming language is highly suited. | | | As such, the design-information of a system is meta-information of the program itself that can be actively used by the programming environment. | | | These declarations form the 'law' of the system and can be enforced by the environment in which the system is developed. |
|
http://prog.vub.ac.be/research/DMP
(5182 words)
|
|
| |
| | Declarative Programming Across the Undergraduate Curriculum - Sabry (ResearchIndex) |
| | Historically this level of abstraction has been associated with specialized programming languages, but it is now routinely used by both students and professional programmers in a variety of contexts, programming languages, and courses. | | | Abstract: In its ultimate form, declarative programming provides solutions to problems using only a statement of the problem as the program. | | | 24 Programming with Fudgets (context) - Hallgren, Carlsson - 1995 |
|
http://citeseer.ist.psu.edu/237386.html
(299 words)
|
|
| |
| | Caltech Computer Science Technical Reports - Parallel Programming with Declarative Ada |
| | Declarative programming languages (e.g., functional and logic programming languages) are semantically elegant and implicitly express parallelism at a high level. | | | Declarative Ada integrates parallel and sequential composition, allowing sequential input and output from within parallel declarative programs. | | | Such a language combines the advantages of parallel declarative programming with the strengths and familiarity of the underlying imperative language. |
|
http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-03
(138 words)
|
|
| |
| | [No title] |
| | In these languages, you -command- the program to carry out a sequence of instructions: -put- some data in a variable; -fetch- the data back out of the variable; -loop- through a block of instructions -until- some condition is satisfied; do something -if- something else is true. | | | CHARMING PYTHON #B11: Declarative Mini-Languages Programming as assertion rather than instruction David Mertz, Ph.D. Essence Preceder, Gnosis Software, Inc. December, 2002 The object orientation and transparent introspective capabilities of Python allow you to easily create -declarative mini-lanaguages- for programming tasks. | | | On the other hand, there are also many programming languages that are -declarative- in style, including both functional and logic languages, and also including both general purpose and specialized ones. |
|
http://gnosis.cx/publish/programming/charming_python_b11.txt
(1954 words)
|
|
| |
| | The International Conference on Principles and Practice of Declarative Programming (PPDP) |
| | PPDP is an annual programming language conference that was created in 1999 as the union of two former conferences: Programming Languages, Implementations, Logics and Programs (PLILP) and Algebraic and Logic Programming (ALP). | | | PPDP sollicits papers on all topics related to declarative programming in a broad sense, including the use of declarative methods in programming, and the design, implementation and application of novel programming languages that support such methods. | | | PPDP aims to complement other more focused programming language conferences by offering a forum for discussion and cross-fertilization of ideas to researchers working on various paradigms or on different aspects of declarative programming. |
|
http://pauillac.inria.fr/~fages/PPDP
(912 words)
|
|
| |
| | CoDe Magazine - Article: ASP.NET Development Through Web Controls and Declarative Programming |
| | Declarative programming by way of custom controls has always been a part of Windows (WinForm) development. | | | It is a style of programming whereas at one level you define, in detail, how a variety of things are done, and from another level you instruct as to what needs to be done. | | | In the end, I hope to leave you with an understanding of what declarative programming is, how you can use it when developing ASP.NET Web applications, and how, with the help of WebControls, to use it as an approach to ASP.NET development. |
|
http://www.code-magazine.com/Article.aspx?quickid=0503051
(1269 words)
|
|
| |
| | Computer Aids for VLSI Design |
| | Declarative programming is the use of unsequenced statements that are performed in response to external stimuli. | | | This is important in VLSI design systems, which often have very large collections of objects to be constrained. | | | Such systems can do arbitrary functions, such as hierarchical simulation [Saito, Uehara, and Kawato]. |
|
http://www.rulabinsky.com/cavd/text/chap08-3.html
(1933 words)
|
|
| |
| | Citebase - Propositional satisfiability in declarative programming |
| | Several answer-set programming formalisms have been developed on the basis of logic programming with the semantics of stable models. | | | Answer-set programming (ASP) paradigm is a way of using logic to solve search problems. | | | Logic programming with stable model semantics as a constraint programming paradigm. |
|
http://citebase.eprints.org/cgi-bin/citations?id=oai:arXiv.org:cs/0211033
(981 words)
|
|
| |
| | [No title] |
| | In our experience, there are two essentially different styles of declarative logic programming, which can be called the 'algorithmic' (or 'directed') style and the 'free' (or 'undirected') style, depending on whether the programmer knows the control flow or not. | | | The free style is used often in constraint programming, theorem proving, and computational linguistics.Usually, the programmer specifies the problem's logical constraints, purely declaratively, and then separately specifies the inference (or search,or resolution) strategy.The strategy gives partial information about the operational semantics. | | | Prolog is quite weak for specifying the strategy; a logic programming language intended for the free style usually extends Prolog in substantial ways. |
|
http://www.cs.ucy.ac.cy/compulog/issue7/projects/mozart.htm
(801 words)
|
|
| |
| | Drools - Declarative Programming |
| | Declarative programming deals with what is, as opposed with the how to normally encountered in imperative programming languages. | | | This is useful in complex fact-based evaluations and in creating nondeterministic languages, where a single what is can be used to solve multiple problems with different how to components. | | | Imperative logic helps us decompose complex decisions into mind-sized pieces. |
|
http://drools.codehaus.org/Declarative+Programming
(307 words)
|
|
| |
| | MyXaml Wiki - Declarative Vs Imperative Programming |
| | Even if they aren't correct, understanding the differences between declarative and imperative programming is an educational experience because it gives you a different way of looking at how you program. | | | Most introductions to programming (and even accepted techniques, like using the Visual Studio designer) create programs that embed both declarative and imperative aspects in code. | | | Declarative programming is something we do every day too. |
|
http://www.myxaml.com/wiki/ow.asp?DeclarativeVsImperativeProgramming
(962 words)
|
|
| |
| | Know Dot Net - Attributes and Declarative Programming |
| | Declarative Programming is a methodology who's time has come and while it may seem a bit abstract and overly complex at first, I assure you that once you start using it, you'll fall in love with it quickly. | | | Before I even knew what Declarative Programming was, I was yearning for it. | | | Ever since I first encountered them, I thought they were ugly and there was nothing Object Oriented about them. |
|
http://www.knowdotnet.com/articles/attributes.html
(2185 words)
|
|
| |
| | PPDP 2005: Call for Papers |
| | At the level of methodology, the use of logic-based principles in the design of tools for program development, analysis, and verification relative to all declarative paradigms is of interest. | | | The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, and to stimulate cross-fertilization by including work from one community that could be of particular interest and relevance to the others. | | | Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. |
|
http://www.site.uottawa.ca/~afelty/ppdp05
(491 words)
|
|
| |
| | PADL 06: Practical Aspects of Declarative Languages |
| | The program committee may choose not to make an award; or may make multiple awards. | | | Co-located with ACM's Principles of Programming Languages, January 11-13, 2006 | | | Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. |
|
http://www.cs.brown.edu/people/pvh/PADL06.html
(500 words)
|
|
| |
| | Rule Engines and Declarative Programming Come to Java |
| | My hope is also that using a declarative approach for my problem could actually improve the performance of the solution (which is now handled imperatively), and that's even harder to satisfy, given the reputation of declarative implementations, which are often much slower than imperative languages. | | | I was trying to apply the declarative approach to one problem in the knowledge representation area, and the problem I ran into was unsuitable semantics of today's frameworks. | | | for me, one of the best examples of how "imperative" programming fails to scale well is the classic chess game example. |
|
http://www.theserverside.com/news/thread.tss?thread_id=28211
(6232 words)
|
|
| |
| | Declarative Programming in Java |
| | Contrary to imperative programming, declarative programming is a programming paradigm by giving specification rather than the algorithm of how to find out the solution. | | | By this definition, you could say that C is a declarative language because when I write "t[i]", I am just telling it what data I need and I don't care if it involves dereferencing a memory location to get it... | | | You see, the above examples are of semantics and that is what declarative programming really cares about. |
|
http://www.theserverside.com/news/thread.tss?thread_id=25448
(3604 words)
|
|
| |
| | FDPE'99:Proceedings |
| | Advanced Programming Concepts in a Course on Grammars and Parsing | | | The aim of FDPE'99 was to provide a forum for researchers and teachers who love using functional and declarative languages for instructional purposes. | | | Proceedings of the Workshop on Functional and Declarative Programming in Education |
|
http://www.ccs.neu.edu/home/matthias/FDPE99
(177 words)
|
|
| |
| | Longhorn Eats, Sleeps and Breathes Declarative Programming |
| | XSLT is a great language to learn to help move to declarative programming, but so are things like LISP and SMIL. | | | Anyone that has not learned declarative programming definitely need to learn this stuff soon. | | | It is not an easy jump to make from the procedural programming. |
|
http://weblogs.asp.net/donxml/posts/33879.aspx
(226 words)
|
|
| |
| | Find in a Library: Applications of declarative programming and knowledge management : 15th International Conference on ... |
| | Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers | | | Find in a Library: Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers | | | WorldCat is provided by OCLC Online Computer Library Center, Inc. on behalf of its member libraries. |
|
http://worldcatlibraries.org/wcpa/ow/d39c2ed19d0b7876a19afeb4da09e526.html
(123 words)
|
|
| |
| | Declarative Programming Languages' Journal |
| | advancement of the the state-of-the-art of logic programming, and (3) | | | T shirts with the Hindley-Milner Principal Type Algorithm on the back. | | | * Alternative Paradigms: Constraint Logic Programming, Abductive Logic |
|
http://community.livejournal.com/declarative
(439 words)
|
|
| |
| | A declarative logic programming system |
| | KANREN is a declarative logic programming system with first-class relations, embedded in a pure functional subset of Scheme. | | | Pure, declarative, and constructive binary arithmetics: Addition, multiplication, division with the remainder as sound and complete, pure, declarative relations that can be used in any mode and that recursively enumerate their domains. | | | The system has a set-theoretical semantics, true unions, fair scheduling, first-class relations, lexically-scoped logical variables, depth-first and iterative deepening strategies. |
|
http://kanren.sourceforge.net/#Documentation
(554 words)
|
|
| |
| | Anders Norås' blog : Declarative JavaScript programming |
| | As you can see from the example above, XDoclet uses comments to declare its metadata. | | | To retrieve the metadata information I developed a | | | In addition, JavaScript and C# are to widely different programming languages. |
|
http://dotnetjunkies.com/WebLog/anoras/archive/2004/08/09/21502.aspx
(897 words)
|
|
| |
| | Sarah Allen's Weblog: Declarative GUI comparison |
| | The XML for declarative programming of objects, animations, stateful behaviors & the ECMAScript (or JavaScript) for more fine-grained control of the app's behavior. |
|
http://www.ultrasaurus.com/sarahblog/archives/000140.html
(328 words)
|
|
|
