Filters








198,582 Hits in 6.1 sec

Implementing Equational Constraints in a Functional Language [chapter]

Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
2013 Lecture Notes in Computer Science  
To overcome this drawback, we propose new techniques to implement equational constraints in this framework.  ...  KiCS2 is a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs.  ...  Other implementations of equational constraints in functional logic languages use side effects for their implementation.  ... 
doi:10.1007/978-3-642-45284-0_9 fatcat:jrt5kqbabbd2jdhimbzqyii264

Implementing Equational Constraints in a Functional Language [article]

Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
2011 arXiv   pre-print
To overcome this drawback, we propose new techniques to implement equational constraints in this framework.  ...  KiCS2 is a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs.  ...  Other implementations of equational constraints in functional logic languages use side effects for their implementation.  ... 
arXiv:1108.5609v1 fatcat:j5nee5yj5vfgdlt4llrdn76od4

Developing DSLs using combinators. A design pattern

Pablo Andres Barrientos, Pablo E. Martinez Lopez
2009 2009 International Multiconference on Computer Science and Information Technology  
Combinators is a common technique from functional programming to write programs.  ...  It was used many times to implement domain-specific embedded languages (DSELs) but that implementation approach is not the only one.  ...  ACKNOWLEDGMENTS We thank Marjan Mernik for his careful reading and comments in an advanced version of the paper.  ... 
doi:10.1109/imcsit.2009.5352773 dblp:conf/imcsit/BarrientosL09 fatcat:knetwibstnd6bexcn6hvdddkqi

A Semantic Web Reasoner for Rules, Equations and Constraints [chapter]

Daniel Elenius, Grit Denker, Mark-Oliver Stehr
2008 Lecture Notes in Computer Science  
This allows for a behavior similar to that of a logic programming system, while constraint simplification rules as well as operations can easily be defined and processed.  ...  Furthermore, the reasoner must perform sophisticated constraint simplification because any unresolved constraints can be used by a cognitive radio to plan and reason about its spectrum usage.  ...  ACKNOWLEDGMENTS We thank Steven Eker (SRI) for maintaining the Maude system and responding to our feature requests, including the entire narrowing functionality.  ... 
doi:10.1007/978-3-540-88737-9_11 fatcat:yq2ioj6fabgqtcpmpxmn6qe6nq

The Implementation of FDL, a Functional Database Language

A. Poulovassilis
1992 Computer journal  
We describe the implementation of the functional database language FDL.  ...  All functions are updated incrementally by the insertion and deletion of equations, and an integrity sub-system verifies updates against the declared semantic integrity constraints.  ...  This work has been supported by a scholarship from the Greek State Scholarships Foundation (I.K..Y.) and subsequently by a Postdoctoral Fellowship from the S.E.R.C. at University College London.  ... 
doi:10.1093/comjnl/35.2.119 fatcat:actpsdo36jhbxhiwnb77kirgpa

Language Support for Generic Programming in Object-Oriented Languages: Design Challenges
Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения

Julia Belyakova
2016 Proceedings of the Institute for System Programming of RAS  
And if not, is there a reason why OO languages yield to functional ones in this respect? In the earlier comparative studies object-oriented languages were usually not treated in any special way.  ...  However, the OO features affect language facilities for GP and a style people write generic programs in such languages.  ...  Fig. 8 illustrates some examples: the Equatable protocol extended with a default implementation for notEqual (pay attention to the use of the Self type); the contains<T> generic function with a protocol  ... 
doi:10.15514/ispras-2016-28(2)-1 fatcat:ssarnht57jesjanahbaowt3nse

Reduction Strategies for Declarative Programming

Michael Hanus
2001 Electronical Notes in Theoretical Computer Science  
Reasonable reduction strategies for declarative languages must be efficiently implementable to be useful in practice.  ...  On the other hand, they should also support the programmers to write programs in a declarative way ignoring the influence of the evaluation strategy to the success of a computation as good as possible.  ...  Although all these languages offer equational constraints, the inclusion of other constraint domains is less clear.  ... 
doi:10.1016/s1571-0661(04)00273-7 fatcat:jtcnfes5ireuxlctdpm6nxkehm

Functional Logic Programming: From Theory to Curry [chapter]

Michael Hanus
2013 Lecture Notes in Computer Science  
The declarative multi-paradigm language Curry is influenced by recent advances in the foundations and implementation of functional logic languages.  ...  Functional logic programming languages combine the most important declarative programming paradigms, and attempts to combine these paradigms have a long history.  ...  Acknowledgments I am grateful to Harald Ganzinger who put me on this research track and created a productive research environment in his group that lead to my most important contributions in this area.  ... 
doi:10.1007/978-3-642-37651-1_6 fatcat:bi7s3wzbvbh5xf57gsox7uhhjq

Compiling Multi-paradigm Declarative Programs into Prolog [chapter]

Sergio Antoy, Michael Hanus
2000 Lecture Notes in Computer Science  
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry.  ...  In this way, we obtain with a relatively modest effort the implementation of a declarative language combining lazy evaluation, concurrency and constraint solving for a variety of constraint systems. constraints  ...  Thus, an equational constraint e 1 =:= e 2 without occurrences of defined functions has the same meaning (unification) as in Prolog. Curry's basic kernel only provides equational constraints.  ... 
doi:10.1007/10720084_12 fatcat:6lx3io6mdncv3mqcc3lo4uiawe

Proposal of A New Elements for the Mathematica Program to Solve Partial Differential Equations

Sadiq Mehdi, Methaq Ali
2021 Journal of Al-Rafidain University College For Sciences ( Print ISSN: 1681-6870 ,Online ISSN: 2790-2293 )  
We have also implemented a prototype that generates input to a PDE-solver from a specification in Mathematica using our extensions.  ...  In this paper we have designed new proposal elements for the Mathematica program in order to support model with partial differential equations (PDEs).  ...  The language constructs discussed here were implemented with the Mathematica syntax.  ... 
doi:10.55562/jrucs.v32i2.341 fatcat:2o2iq76p5jhijbqc3puwxwso4y

Distributed Programming in a Multi-Paradigm Declarative Language [chapter]

Michael Hanus
1999 Lecture Notes in Computer Science  
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms.  ...  In particular, sending partially instantiated messages containing logical variables is quite useful to implement reply messages.  ...  The author is grateful to Frank Steiner and Philipp Niederau for many discussions and comments on this paper and for providing the implementation of the talk program.  ... 
doi:10.1007/10704567_11 fatcat:mhlkxwibtffo7in2jbinjfyklm

Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL [chapter]

George Giorgidze, Henrik Nilsson
2011 Lecture Notes in Computer Science  
This paper explores how to implement an iteratively staged domain-specific language (DSL) by embedding into a functional language.  ...  Our DSL can thus be seen as a combined functional and constraint programming language, albeit a two-level one, with the functional language chiefly serving as a meta language.  ...  Hydra can be seen as a functional and constraint or logical programming language in that it combines a functional and relational approach to programming.  ... 
doi:10.1007/978-3-642-20775-4_3 fatcat:ocwlh4zezzbxngi6ju445tb2va

Path Feasibility Analysis for String-Manipulating Programs [chapter]

Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov
2009 Lecture Notes in Computer Science  
We implemented the procedure in a symbolic execution framework, report on the encouraging results and discuss directions for improving the method further. Definition 1 (core string language).  ...  The core string language contains the following functions:  ...  We thank Wolfram Schulte for numerous early stage discussions and Yuri Matiyasevich for his help finding related work on word equations.  ... 
doi:10.1007/978-3-642-00768-2_27 fatcat:47vfjqrcordtlpganqucsmvjh4

Meta-programming in CLP(R)

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H.C. Yap
1997 The Journal of Logic Programming  
We present a decision algorithm for ~ +~" constraints, discuss implementation issues, and describe the implementation of a subclass of ~' +11 constraints.  ...  Unfortunately, this property is not carried over to richer languages such as CLP(A')--the manipulation of CLP(~) programs in CLP(~') is quite limited.  ...  Implementing such a solver within the language usually adds considerable overhead hence CLP systems typically require some form of reflection in order to make use of the existing constraint solver.  ... 
doi:10.1016/s0743-1066(96)00145-8 fatcat:m4xldmp4azaw3cut7jobxcbjvu

Set constraints: Results, applications and future directions [chapter]

Alexander Aiken
1994 Lecture Notes in Computer Science  
Set constraints are a natural formalism for many problems that arise in program analysis.  ...  This paper provides a brief introduction to set constraints: what set constraints are, why they are interesting, the current state of the art, open problems, applications and implementations.  ...  The latter implementation is available by anonymous ftp and comes with a type inference system for a functional language based on solving systems of set constraints AWL94].  ... 
doi:10.1007/3-540-58601-6_110 fatcat:3ccf5wz6wvfs7hvgrtxx6xjh64
« Previous Showing results 1 — 15 out of 198,582 results