A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Functional pearl: a smart view on datatypes
2015
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015
Preserved Fulltext
Can we solve this problem without losing the ability to pattern-match on the computation? Surprisingly, there is a deceptively simple solution: use a smart view to pattern-match on the datatype. ...
We introduce the notion of smart view and show how it solves the problem of slow leftnested operations. ...
In order to optimise a datatype using its algebraic properties, it is a good idea to have a smart view on it. ICFP '15, September 01 -03, 2015, Vancouver, BC, Canada. ...
doi:10.1145/2784731.2784743
dblp:conf/icfp/JaskelioffR15
fatcat:hpgbej3wc5ciporvk26fk5wsbu
Functional pearl: a smart view on datatypes
2015
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Can we solve this problem without losing the ability to pattern-match on the computation? Surprisingly, there is a deceptively simple solution: use a smart view to pattern-match on the datatype. ...
We introduce the notion of smart view and show how it solves the problem of slow leftnested operations. ...
In order to optimise a datatype using its algebraic properties, it is a good idea to have a smart view on it. ICFP '15, September 01 -03, 2015, Vancouver, BC, Canada. ...
doi:10.1145/2858949.2784743
fatcat:c2g3eulzrjbajivgirabcsycmi
Equality proofs and deferred type errors
2012
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
We describe a simple, elegant technique that exploits these equality proofs to support deferred type errors. ...
Acknowledgments Particular thanks are due to Etienne Laurin, who suggested to us the idea of deferring type errors (GHC Trac ticket 5624), although his implementation was very different to the one described ...
In our view this is a trade-off worth making. ...
doi:10.1145/2364527.2364554
dblp:conf/icfp/VytiniotisJM12
fatcat:6lyhgwmh4fdvflk4bxryrmd344
Equality proofs and deferred type errors
2012
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
We describe a simple, elegant technique that exploits these equality proofs to support deferred type errors. ...
Acknowledgments Particular thanks are due to Etienne Laurin, who suggested to us the idea of deferring type errors (GHC Trac ticket 5624), although his implementation was very different to the one described ...
In our view this is a trade-off worth making. ...
doi:10.1145/2398856.2364554
fatcat:ktmpsoe3gra7pkkhl6iunmwmcu
Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We handle all the functionalities of the base protocol, including garbage collection and view change, which are essential in practical protocols. ...
For example it can be one that is controlled by an attacker, or simply one that contains a bug. ...
As mentioned above, we implemented the digital signature-based version of PBFT, while BFT-SMaRt uses a more efficient MAC-based authentication scheme, which in part explains why BFT-SMaRt is around one ...
doi:10.1007/978-3-319-89884-1_22
fatcat:megombf5b5fuxnjkh4ff5xvnia
Combining predicate transformer semantics for effects: a case study in parsing regular languages
2020
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
This paper describes how to verify a parser for regular expressions in a functional programming language using predicate transformer semantics for a variety of effects. ...
Where our previous work in this area focused on the semantics for a single effect, parsing requires a combination of effects: non-determinism, general recursion and mutable state. ...
This work is in the spirit of a Theoretical Pearl [11] : we begin by defining a match function that does not terminate. ...
doi:10.4204/eptcs.317.3
fatcat:p6sxca6b6nd6blbhpbbfwafxd4
Multi-Model Evolution through Model Repair
2021
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present a comprehensive feature model providing an overview of the current state of the art of model management. ...
At the same time, these models are subject to frequent changes, and as a result, maintaining their global consistency over time becomes an important issue in model management in general and Model-Driven ...
The replaced part is determined by a function, the so-called view definition. ...
doi:10.5381/jot.2021.20.1.a2
fatcat:u45ymv6chrdrlbitoiyayhx6ba
cucs-023-99.pdf
[article]
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The choice of programming language has a huge effect on the algorithms and data structures that are to be implemented in that language. ...
This workshop considers the algorithmic implications of choosing an advanced functional or logic programming language instead. ...
Functional Pearl: Perfect trees and bit-reversal permutations. Journal of Functional Programming, 1999. To appear. [11] Ralf Hinze. Polytypic functions over nested datatypes (extended abstract). ...
doi:10.7916/d81g0zcp
fatcat:brywhf6eo5earbzmqkdqrknahu
Organizing institutions
2016
2016 10th International Conference on Software, Knowledge, Information Management & Applications (SKIMA)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Acknowledgments The authors thank the Fundação Araucária of Paraná, Brazil and the Portuguese Fundação para a Ciência e Tecnologia through the financial support of INESC-ID funding under project PEst-OE ...
We studied a number of them that could be used in the area of biodiversity. In [Xiong et al. 2009 ], a method of search based on a smart query agent is proposed (Geoonto). ...
One way to capture the probabilistic structure of a network is through graph-based models such as Markov random fields or Bayesian networks [Pearl 1988 ]. ...
doi:10.1109/skima.2016.7916183
fatcat:ctichxcphnhj7ci3h4lu662gbi
Organizing institutions
2015
2015 21st International Conference on Automation and Computing (ICAC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Acknowledgments The authors thank the Fundação Araucária of Paraná, Brazil and the Portuguese Fundação para a Ciência e Tecnologia through the financial support of INESC-ID funding under project PEst-OE ...
We studied a number of them that could be used in the area of biodiversity. In [Xiong et al. 2009 ], a method of search based on a smart query agent is proposed (Geoonto). ...
One way to capture the probabilistic structure of a network is through graph-based models such as Markov random fields or Bayesian networks [Pearl 1988 ]. ...
doi:10.1109/iconac.2015.7313649
fatcat:prpaqk2d4bhnlom25xxztiimaq
Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
By applying a non-deterministic predicate to these sorting functions, we gain a permutation enumeration function. ...
On the other hand, we present an idea to apply formal reasoning on effectful declarative programming languages. In order to start with simple effects, we focus on modelling a functional subset first. ...
Modelling Curry Programs Besides the generic view on modelling effects and the focus on modelling or reasoning about Haskell, we also take a look at related work on proving properties about functional ...
arXiv:2006.01531v1
fatcat:s7nl4qdd5veo7fv64cpg3buvwm
Resolving and Mediating Ambiguous Contexts in Pervasive Environments
[chapter]
Smart Healthcare Applications and Services
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
through a utility function. ...
be viewed as a shared, highly reusable infrastructure. ...
Bayesian Networks: A probabilistic framework that represents a set of random variables and their conditional independence.
Multi Sensor Fusion: Data fusion based on multi-modal sensors. ...
doi:10.4018/978-1-60960-180-5.ch006
fatcat:uyscvlymonacjjiptyzyeckut4
Resolving and Mediating Ambiguous Contexts in Pervasive Environments
[chapter]
User-Driven Healthcare
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
through a utility function. ...
be viewed as a shared, highly reusable infrastructure. ...
Bayesian Networks: A probabilistic framework that represents a set of random variables and their conditional independence.
Multi Sensor Fusion: Data fusion based on multi-modal sensors. ...
doi:10.4018/978-1-4666-2770-3.ch031
fatcat:2tpihefyffddzosl7eqtzalryy
FMS-Berichte
2021
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Case study: Pearl river
tower, guangzhou, china: Towards zero energy. Council
on Tall Buildings and Urban Habitat, 2008. ...
The Pearl River Tower located in Guangzhou, China. The 310 m high office tower has a total of 71 floors. ...
doi:10.35096/othr/pub-1915
fatcat:l4lhayhfe5ax7cw46vsdn2nxum
OPTIMIZATION OF NONSTANDARD REASONING SERVICES
[article]
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
So, in general, the maximal secure views of NCM are not secure according to Def. 3.2.3. Next, we define a secure filtering function. It is formulated as an iterative process based on a censor. ...
For each feature name f ∈ N F and interpretation function I , f I is a partial function from ∆ I to ∆ D . ...
Clinical Document Architecture (CDA) is an international standard for information exchange, based on the Health Level 7 Reference ...
doi:10.6093/unina/fedoa/11873
fatcat:3wl42ekaa5byzoge7vfsdikama
« Previous
Showing results 1 — 15 out of 20 results