Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
5,719
Multi-paradigm Declarative Languages
- In Proceedings of the International Conference on Logic Programming (ICLP 2007
, 2007
"... Abstract. Declarative programming languages advocate a programming style expressing the properties of problems and their solutions rather than how to compute individual solutions. Depending on the underlying formalism to express such properties, one can distinguish different classes of declarative l ..."
Abstract
-
Cited by 51 (18 self)
- Add to MetaCart
Abstract. Declarative programming languages advocate a programming style expressing the properties of problems and their solutions rather than how to compute individual solutions. Depending on the underlying formalism to express such properties, one can distinguish different classes of declarative
LUSTRE: A declarative language for programming synchronous systems
- In 14th Symposium on Principles of Programming Languages (POPL’87). ACM
, 1987
"... LUSTRE is a synchronous data-flow language for programming syetema which interact. with their environments in real-time. After an informal presentation of the language, we describe its semantics by means of structural inference rules. Moreover, we ehow how to use this semantics in order to generate ..."
Abstract
-
Cited by 284 (19 self)
- Add to MetaCart
LUSTRE is a synchronous data-flow language for programming syetema which interact. with their environments in real-time. After an informal presentation of the language, we describe its semantics by means of structural inference rules. Moreover, we ehow how to use this semantics in order to generate
Compilation of Concurrent Declarative Languages
- University of Oregon
, 1995
"... The plethora of concurrent declarative language families, each with subtly different semantics, makes the design and implementation of static analyses for these languages a demanding task. However, many of the languages share underlying structure. If this structure can be exploited, static analysis ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
The plethora of concurrent declarative language families, each with subtly different semantics, makes the design and implementation of static analyses for these languages a demanding task. However, many of the languages share underlying structure. If this structure can be exploited, static analysis
Abstract Interpretation of Declarative Languages
- R News
, 1987
"... This paper is a short summary of the main classes defined in the ade4 package for one table analysis methods (e.g., principal component analysis). Other papers will detail the classes defined in ade4 for twotables ..."
Abstract
-
Cited by 37 (2 self)
- Add to MetaCart
This paper is a short summary of the main classes defined in the ade4 package for one table analysis methods (e.g., principal component analysis). Other papers will detail the classes defined in ade4 for twotables
Parallelism in Declarative Languages
, 1990
"... This model of storage oriented computation blocks parallelism and increases the cost of parallel program development and porting. Declarative languages based on mathematical models of computation, seem more suitable for the development of parallel programs. In the first part of this thesis we examin ..."
Abstract
- Add to MetaCart
This model of storage oriented computation blocks parallelism and increases the cost of parallel program development and porting. Declarative languages based on mathematical models of computation, seem more suitable for the development of parallel programs. In the first part of this thesis we
Declarative language design for interactive visualization
- IEEE Transactions on Visualization and Computer Graphics
"... Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By sep-arating specification from execution, declarative languages can simplify development, enable unobtrusive optimization, and sup-port retargeting across platforms. We descri ..."
Abstract
-
Cited by 27 (5 self)
- Add to MetaCart
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By sep-arating specification from execution, declarative languages can simplify development, enable unobtrusive optimization, and sup-port retargeting across platforms. We
Using a Declarative Language to Build an
, 2002
"... In this paper we give a brief summary of our experience in using a declarative language, Prolog, to develop an experimental formal analysis tool, the NRL Protocol Analyzer, which was updated and modified over the years to incorporate new theories and techniques. We discuss the benefits of using such ..."
Abstract
- Add to MetaCart
In this paper we give a brief summary of our experience in using a declarative language, Prolog, to develop an experimental formal analysis tool, the NRL Protocol Analyzer, which was updated and modified over the years to incorporate new theories and techniques. We discuss the benefits of using
From Declarative Languages to Declarative Processing
"... Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperative scripting language which is then compiled to relational algebra and executed by a special games engine with features s ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperative scripting language which is then compiled to relational algebra and executed by a special games engine with features
Graphical User Interfaces for Declarative Languages
, 1997
"... The problems with performing I/O in purely declarative languages are well known. Work has been going on for several years to alleviate these problems. In this thesis we look at some of the techniques devised for performing I/O without losing referential transparency. We then look at how these techni ..."
Abstract
- Add to MetaCart
The problems with performing I/O in purely declarative languages are well known. Work has been going on for several years to alleviate these problems. In this thesis we look at some of the techniques devised for performing I/O without losing referential transparency. We then look at how
Results 1 - 10
of
5,719
