|
| |
| | Declarative programming language - Wikipedia, the free encyclopedia |
 | | Declarative programming is in contrast to Imperative programming via imperative programming languages, where serial orders (imperatives) are given to a computer: "Take this, do that". | | | An imperative programming language is (almost) the same as a procedural language or procedural programming language. | | | The distinctions are never sharp; any computer language has an element of initializing a process in a computer, in order to be of any use. |
|
http://en.wikipedia.org/wiki/Declarative_programming_language
(206 words)
|
|
| |
| | Declarative programming - Wikipedia, the free encyclopedia |
| | Declarative programming languages are extensively used in solving problems related to artificial intelligence, constraint-satisfaction problems, databases, configuration management and Inter-process communication. | | | Declarative programming is an approach to computer programming that involves the creation of a set of conditions that describe a solution space, but leaves the interpretation of the specific steps needed to arrive at that solution up to an unspecified interpreter. | | | Declarative programming thus takes a different approach from the traditional imperative programming found in Fortran, C or Pascal which requires the programmer to provide a list of instructions to execute in a specified order. |
|
http://en.wikipedia.org/wiki/Declarative_programming
(410 words)
|
|
| |
| | Programming language - Wikipédia |
| | The development of programming languages, unsurprisingly, follows closely the development of the physical and electronic processes used in today's computers. | | | Type-inferred languages superficially treat all data as not having a type, but actually do sophisticated analysis of the way the program uses the data to determine which elementary operations are performed on the data, and therefore deduce what type the variables have at compile-time. | | | The rigorous definition of the meaning of programming languages is the subject of Formal semantics. |
|
http://su.wikipedia.org/wiki/Programming_language
(1603 words)
|
|
| |
| | Medtool FAQ |
| | In these programs, knowledge is represented using a declarative programming language that is commonly based on Logic. | | | Declarative programming languages are commonly based on Logic. | | | The basic idea is that the knowledge the program contains is programmed separated from the other components of the program. |
|
http://www.dc.fi.udc.es/.aios/medfaq.htm
(194 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. | | | 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. | | | 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. |
|
http://www.cs.chalmers.se/pub/users/oloft/Papers/wm96/wm96.html
(5508 words)
|
|
| |
| | EETimes.com - Declarative programming language simplifies hardware design |
| | Confluence is a generator language; programs are algorithms that generate RTL structures. | | | Declarative programming languages have higher levels of expressionand abstraction than most other programming paradigms. | | | In fact some functional programming languages do not even have "for" and "while" loops; those that do are usually just syntactic sugar for a recursive function. |
|
http://www.eetimes.com/news/design/showArticle.jhtml?articleID=16501963
(2245 words)
|
|
| |
| | ipedia.com: SQL Article |
| | As such, it is a set-based programming language rather than a procedural language such as C or BASIC, which are designed to solve a much broader set of problems. | | | Structured Query Language is the most popular computer language used with databases. | | | DML is the subset of the language used to query a database, add, update and delete data. |
|
http://www.ipedia.com/sql.html
(956 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
(1178 words)
|
|
| |
| | Tempo: a declarative concurrent programming language |
| | Unfortunately, even "declarative" languages tend to resort to imperative ("non-logical") features for some purposes, particularly for interaction with their environment, e.g., I/O. This is perhaps especially true in concurrent programming, where a lot of programming effort goes into ensuring that processes correctly interact with each other. | | | Concurrent logic programming languages (e.g., Parlog, KL1, etc.) are declarative in the sense that a program explicitly describes the final result (if any) that it computes. | | | It improves on traditional concurrent logic programming languages in that a program can explicitly specify its safety properties, not just the final result computed (which is a special case of a safety property). |
|
http://www.cs.bris.ac.uk/~steve/research/projects/tempo.html
(300 words)
|
|
| |
| | Functional and Declarative Programming in Education (FDPE05) |
| | Functional and declarative programming plays an increasingly important role in computing education at all levels. | | | 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. | | | programming courses teaching functional programming in commercial languages (e.g. |
|
http://www.cs.kent.ac.uk/people/staff/sjt/fdpe05
(301 words)
|
|
| |
| | Ulf's Programming Language List |
| | Cyclone is a programming language that is as C-like as possible while preventing unsafe behavior (buffer overflows, dangling pointers, format string attacks, and so on). | | | The searchable CUI language list is an attempt to enumerate all known programming languages. | | | ASL (Activity Structures Language), a software process language (modelling formalism), is a proper superset of MSL (Marvel Strategy Language) -- used to express the "local" constraints and policies on individual tools and data -- extended by Roddle's "acticivity structures" for global control flow and synchronization. |
|
http://www.cs.mun.ca/~ulf/pld/pls.html
(2275 words)
|
|
| |
| | HacWrite - 3 Declarative programming and input/output |
| | Another problem with combinator programming in strict programming languages is that we must be much more careful when defining combinators in terms of themselves. | | | This feature is used in the non-strict, purely functional programming languages that we will use in the rest of this thesis. | | | When defining and combining effects, we do not have to bother about which parts of our program should be computed, how many times they might be computed, and in which order. |
|
http://www.md.chalmers.se/~hallgren/Thesis/declio.html
(636 words)
|
|
| |
| | The Goedel Programming Language |
| | Gödel is a declarative, general-purpose programming language in the family of logic programming languages. | | | There has always been a large gap between the theory of logic programming (as in "Foundations of Logic Programming", for example) and the much more complex and unsatisfactory semantics of practical logic programming languages, such as Prolog. | | | The declarative nature of Gödel greatly eases the task of building a parallel implementation of the language (compared to Prolog, for example, whose non-logical facilities cause serious difficulties for parallel implementations) and offers substantial scope for parallelization in such implementations. |
|
http://www.cs.bris.ac.uk/~bowers/goedel.html
(789 words)
|
|
| |
| | Our Research on Declarative Meta Programming |
| | For this, we require that the logic meta-programming language lives in symbiosis with the object-oriented base language, allowing base level programs to be manipulated as terms, facts or rules in the meta level. | | | A third approach is the use of a separate logic language and base language with provisions of the logic language to externally access the repository of the base language. | | | 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. |
|
http://prog.vub.ac.be/research/DMP
(5182 words)
|
|
| |
| | The Functional Logic Language Curry |
| | Curry is a universal programming language aiming to amalgamate the most important declarative programming paradigms, namely functional programming and logic programming. | | | Moreover, Curry provides additional features in comparison to the pure languages (compared to functional programming: search, computing with partial information; compared to logic programming: more efficient evaluation due to the deterministic and demand-driven evaluation of functions). | | | Curry combines in a seamless way features from functional programming (nested expressions, higher-order functions, lazy evaluation), logic programming (logical variables, partial data structures, built-in search), and concurrent programming (concurrent evaluation of expressions with synchronization on logical variables). |
|
http://www.informatik.uni-kiel.de/~curry
(215 words)
|
|
| |
| | SMC: Secure Multiparty Computation Language |
| | A Declarative Programming Language (as compared with an imperative programming language) is a paradigm within which the programmer describes his problem without needing to know any detail about the algorithms used to solve it. | | | The contribution of this language and of the provided interpreter should be considered in the light of the fact that no other support for secure computations was present at the moment when this was written (no imperative languages and even no software libraries). | | | SMC is a declarative programming language for Secure Multiparty Computations. |
|
http://www.cs.fit.edu/~msilaghi/SMC/tutorial.html
(1655 words)
|
|
| |
| | Deep profiling: engineering a profiler for a declarative programming language |
| | Declarative programs differ from imperative programs in several respects, the main ones being their heavy use of recursion, of various forms of polymorphism, and of higher order. | | | We present a new profiling technique we call deep profiling that yields detailed and useful information about programs even in the presence of these constructs, information that yields detailed and useful information about programs even in the presence of these constructs, information that is significantly richer than the output of other profilers. | | | The deep profiling algorithms themselves are applicable to most other language styles, including imperative, object-oriented, and functional languages. |
|
http://www.cs.mu.oz.au/tr_submit/test/cover_db/mu_TR_2001_24.html
(275 words)
|
|
| |
| | Logic Programming |
| | This unit is concerned with the use of Prolog as a declarative programming language, for expressing programmed solutions to a wide range of applications in logical problem solving. | | | Bratko, I, Prolog Programming for Artificial Intelligence, Addison Wesley, 1990, 02 0117 5789, Y | | | To explain and illustrate the use of Prolog as a programming language. |
|
http://www.tech.port.ac.uk/tud/db2005/UnivPort/level_2/LOGPR.htm
(531 words)
|
|
| |
| | Amazon.ca: Books: The Godel Programming Language |
| | Gödel is a new, general-purpose, declarative programming language that is based on the paradigm of logic programming and can be regarded as a successor to Prolog. | | | Presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on its logic. | | | This book gives a tutorial overview of Gödel, presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on logic. |
|
http://www.amazon.ca/exec/obidos/ASIN/0262082292
(240 words)
|
|
| |
| | Interaction and Concurrency in a Declarative Programming Language - Lloyd (ResearchIndex) |
| | In [9] set processing is developed in a way analogous to the way multisets are developed here and it would be instructive to understand the way sets... | | | Abstract: A previous paper described the basic features of the new functional logic programming language Escher and provided example programs to illustrate those features. | | | Programming in an Integrated Functional and Logic Language - Lloyd (1999) |
|
http://citeseer.ist.psu.edu/lloyd98interaction.html
(370 words)
|
|
| |
| | The Mozart Programming System |
| | The system is the result of a decade of research in programming language design and implementation, constraint-based inference, distributed computing, and human-computer interfaces. | | | The Mozart Programming System is an advanced development platform for intelligent, distributed applications. | | | For distribution, Mozart provides a true network transparent implementation with support for network awareness, openness, and fault tolerance. |
|
http://www.mozart-oz.org
(220 words)
|
|
| |
| | The Mercury Project: Introduction |
| | Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. | | | Despite the expected advantages of a very high level programming language based upon well developed theories of logic over conventional programming languages (such as C, C++, Pascal and Ada) they have not had significant impact on the computer industry. | | | Logic programming languages have been around for more than twenty years. |
|
http://www.cs.mu.oz.au/research/mercury
(248 words)
|
|
| |
| | A Causal Model and a Declarative Programming Language... |
| | We also provide the language with an operational semantics which is equivalent to the denotational semantics and discuss as an example the well-known alternating-bit protocol. | | | In particular, provision of an operational semantics that is concrete enough to serve as the basis for language implementation. | | | A Causal Model and a Declarative Programming Language... |
|
http://uebb.cs.tu-berlin.de/papers/published/TR96-40.html
(329 words)
|
|
| |
| | RE: [SC-L] Programming languages used for security |
| | David Crocker wrote: > Whilst I agree that the distinction between specification and > programming languages is not completely clear cut, there is > nevertheless a fundamental difference between specification > and programming. | | | > > In a programming language, you tell the computer what you want > it to do, normally by way of sequential statements and loops. | | | ;-) My impression always has always been that a declarative programming language is a high-level language that describes a problem rather than defining a solution, but that pretty much sounds like your definition of a specification language. |
|
http://www.mail-archive.com/sc-l@securecoding.org/msg00396.html
(508 words)
|
|
| |
| | TopXML : The Functional Programming Language XSLT - A proof through examples |
| | Until now it was believed that although XSLT is based on functional programming ideas, it is not as yet a full functional programming language, as it lacks the ability to treat functions as a first-class data type. | | | Based on numerous concrete XSLT implementations of some of the major functional programming design patterns, including some of the most generic list-processing and tree-processing functions, this article provides ample proof that XSLT is in fact a full-pledged functional programming language. | | | The citation in the start of this section reflects the unanimous, dominating understanding of XSLT as a declarative-only programming language, which does not belong to the family of FP languages, due to its lack of support for higher order functions. |
|
http://www.topxml.com/xsl/articles/fp
(508 words)
|
|
| |
| | The MGS home page |
| | The MGS programming language is designed to support this approach offering several mechanisms to build complex (and evolving) spaces and handling the maps between these spaces and the data. | | | The goal is to investigate the concepts and tools (programming languages) needed for the modelling and the simulation of dynamical systems exhibiting a dynamical structure. | | | MGS is an applicative programming language: operators acting on values combine values to give new values, they do not act by side-effect. |
|
http://mgs.lami.univ-evry.fr
(1462 words)
|
|
| |
| | Cetus Links: 18,452 Links on Objects and Components / Prolog |
| | Prolog Programming in Depth (Covington, Nute, and Vellino) | | | Prolog is a goal-oriented, implicative language based on predicate logic. | | | Prolog code often has a declarative interpretation, meaning that it specifies "what" exists but not "how." This is different from imperative in which a program defines a series of steps to carry out (C or Basic for example). |
|
http://www.cetus-links.org/oo_prolog.html
(2177 words)
|
|
| |
| | Integrating Algorithm Animation into a Declarative Visual Programming Language |
| | Until now, only users of textual programming languages have enjoyed the fruits of algorithm animation. | | | Our research shows how a declarative VPL that is responsive can provide features not found in other algorithm animation systems. | | | Users of visual programming languages (VPLs) have been deprived of the unique semantic insights algorithm animation offers. |
|
http://lki-www.informatik.uni-hamburg.de/~haarslev/vl95www/posters/P6.html
(110 words)
|
|
| |
| | Leveraging XAML on the Longhorn Platform - Intel® Software Network |
| | This has extraordinary implications from a process point-of-view: designers can focus on the user interface of an application using a familiar declarative programming language, while programmers can focus on building the supporting procedural code in a C# or VB.NET class file. | | | XAML is capable of doing virtually everything that procedural languages like C# or VB.NET can do in terms of developing user interfaces. | | | An essential aspect of Avalon's ability to bridge the gap between Windows and the Web is XAML, a declarative programming language for creating rich user interfaces for Longhorn applications. |
|
http://www.intel.com/cd/ids/developer/asmo-na/eng/os/windows/95653.htm?page=3
(350 words)
|
|
| |
| | A Declarative Programming Language |
| | This allows a developer to fully exploit the complementarity of Attribute Grammars with other programming paradigms (in particular, functional programming), by letting him select the most appropriate language and system for each part of his application. | | | $a(X) := $a(Y) can be automatically generated and omitted from the program; this allows the developer to concentrate on important computations rather than on simple information transfer [JP90a]. | | | Besides, in our opinion, the real interest of our work is not the language itself but the computation model that underlies it. |
|
http://www-rocq.inria.fr/oscar/www/fnc2/presentations/rr2662/node9.html
(450 words)
|
|
| |
| | Database Transactions in a Purely Declarative Logic Programming Language |
| | We have begun incorporating transactions into the Aditi deductive database system using an extended form of Mercury as the database programming and query language. | | | Database Transactions in a Purely Declarative Logic Programming Language | | | Correspondence regarding this paper should be directed to Dr David Kemp. |
|
http://www.cs.mu.oz.au/~evan/papers/dasfaa97.html
(237 words)
|
|
| |
| | PPDP 2000 |
| | PPDP represents the union of two former conferences: Programming Languages, Implementations, Logics and Programs (PLILP) and Algebraic and Logic Programming (ALP). | | | This list is not exhaustive: submissions related to new and interesting ideas relating broadly to declarative programming are encouraged. | | | Colloquium on Principles, Logics, and Implementations of high-level programming languages |
|
http://www.cs.yorku.ca/ppdp-00
(136 words)
|
|
| |
| | Alma-0: An Imperative Language Supporting Declarative Programming |
| | We describe here an implemented small programming language, called alma-0, that augments the expressive power of imperative programming by a limited number of additions inspired by the logic programming paradigm. | | | These solutions are substantially simpler than their counterparts written in the imperative or in the logic programming style and can be used for different purposes without any modification. | | | We also discuss here the implementation of alma-0 and an operational, executable, semantics of a large subset of the language. |
|
http://www.dis.uniroma1.it/~ai/citations/ABPS97.html
(158 words)
|
|
| |
| | Prolog Tutorial -- Contents |
| | 7.3 Idiomatic natural language command and question interfaces |
|
http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html
(32 words)
|
|
| |
| | XSLT: The Other Programming Language in your Browser |
| | Christopher loves programming, but is eternally frustrated by the shortcomings of modern programming languages. | | | XSLT: The Other Programming Language in your Browser | | | Christopher Diggins is a software developer and freelance writer. |
|
http://www.artima.com/weblogs/viewpost.jsp?thread=134533
(287 words)
|
|
| |
| | Savvysoft - A New Spin on Software |
| | As any programmer knows, 90% of the time spent writing code is not writing the algorithm, it's debugging and testing. | | | Have you ever written a program that worked on the first try? | | | TurboExcel lets you use Excel to code in C++. |
|
http://www.TurboExcel.com
(223 words)
|
|
| |
| | PPDP 2001 |
| | Colloquium on Principles, Logics, and Implementations of high-hevel programming languages | | | PPDP 2001 aims to stimulate research on the use of declarative methods in programming and on the design, implementation and application of programming languages that support such methods. | | | The PPDP 2001 submission site has information for authors. |
|
http://music.dsi.unifi.it/pli01/ppdp
(105 words)
|
|
| |
| | Erlang |
| | May 27, 2004: A new version of the Erlang/OTP Test Server has been released. | | | It features a callback oriented single-threaded programming model. | | | July 28, 2004: Tomas Abrahamsson has released a new version (0.92) of the user contribution py_interface (minor improvements and bugfixes). |
|
http://www.erlang.org
(235 words)
|
|
|
