Matches in SemOpenAlex for { <https://semopenalex.org/work/W23202956> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W23202956 abstract "Functional programming languages provide programmers with clean semantics and side-effect free computation, which make easier the tasks of designing programs and reasoning about them. Efficient implementations of purely functional programs, however, can pose certain challenges. Our purpose in this dissertation is to develop new techniques for the efficient analysis and implementation of functional programs.Our first goal is to investigate a syntactic approach, contrary to the usual semantic approaches, of finding the least fixed points of higher-order functions over finite domains. The second objective is to develop implementation techniques for aggregate data structures for functional programs such that accesses to aggregates are both efficient and side-effect free.Finding the least fixed point of a monotonic function over a finite domain is an essential task when analyzing a functional program in the framework of abstract interpretation. Previous methods for least fixed point finding have primarily used semantic approaches, which often traverse large portions of the semantic domain and may be very inefficient even for simple programs. We propose a syntactic method based on an augmented simply typed lambda calculus. It is shown that, for finite domains, the syntactic method is both sound and complete with respect to the semantics. Moreover, we demonstrate that the proposed syntactic method can be quite effective in cases where the usual semantic method is very inefficient.Efficient implementations of aggregate data structures for functional programs has been an active research topic. The problem arises because once an aggregate is updated, both the old version and newly updated copy must be preserved to maintain the side-effect free semantics of functional languages. We modify the shallow binding scheme of Baker to implement functional arrays for efficient incremental updates and voluminous reads. The scheme, however, uses side-effects and cannot be implemented in purely functional languages themselves. We then investigate the possibility of implementing efficient aggregates without using side-effects, and show that real-time deques can be implemented in a purely functional way. We describe several interesting applications of this technique." @default.
- W23202956 created "2016-06-24" @default.
- W23202956 creator A5043042831 @default.
- W23202956 date "1993-01-11" @default.
- W23202956 modified "2023-09-27" @default.
- W23202956 title "New techniques for the analysis and implementation of functional programs" @default.
- W23202956 hasPublicationYear "1993" @default.
- W23202956 type Work @default.
- W23202956 sameAs 23202956 @default.
- W23202956 citedByCount "1" @default.
- W23202956 crossrefType "journal-article" @default.
- W23202956 hasAuthorship W23202956A5043042831 @default.
- W23202956 hasConcept C118615104 @default.
- W23202956 hasConcept C134306372 @default.
- W23202956 hasConcept C154945302 @default.
- W23202956 hasConcept C184337299 @default.
- W23202956 hasConcept C199360897 @default.
- W23202956 hasConcept C26713055 @default.
- W23202956 hasConcept C29585364 @default.
- W23202956 hasConcept C33923547 @default.
- W23202956 hasConcept C36503486 @default.
- W23202956 hasConcept C41008148 @default.
- W23202956 hasConcept C42383842 @default.
- W23202956 hasConcept C80444323 @default.
- W23202956 hasConceptScore W23202956C118615104 @default.
- W23202956 hasConceptScore W23202956C134306372 @default.
- W23202956 hasConceptScore W23202956C154945302 @default.
- W23202956 hasConceptScore W23202956C184337299 @default.
- W23202956 hasConceptScore W23202956C199360897 @default.
- W23202956 hasConceptScore W23202956C26713055 @default.
- W23202956 hasConceptScore W23202956C29585364 @default.
- W23202956 hasConceptScore W23202956C33923547 @default.
- W23202956 hasConceptScore W23202956C36503486 @default.
- W23202956 hasConceptScore W23202956C41008148 @default.
- W23202956 hasConceptScore W23202956C42383842 @default.
- W23202956 hasConceptScore W23202956C80444323 @default.
- W23202956 hasLocation W232029561 @default.
- W23202956 hasOpenAccess W23202956 @default.
- W23202956 hasPrimaryLocation W232029561 @default.
- W23202956 hasRelatedWork W12807312 @default.
- W23202956 hasRelatedWork W1530251652 @default.
- W23202956 hasRelatedWork W1973678011 @default.
- W23202956 hasRelatedWork W2103424315 @default.
- W23202956 hasRelatedWork W2174129300 @default.
- W23202956 hasRelatedWork W2182361133 @default.
- W23202956 hasRelatedWork W2510852717 @default.
- W23202956 hasRelatedWork W2612872244 @default.
- W23202956 hasRelatedWork W2726299070 @default.
- W23202956 hasRelatedWork W2951358961 @default.
- W23202956 hasRelatedWork W2951494809 @default.
- W23202956 hasRelatedWork W2952024228 @default.
- W23202956 hasRelatedWork W2953143047 @default.
- W23202956 hasRelatedWork W3005777145 @default.
- W23202956 hasRelatedWork W3022862953 @default.
- W23202956 hasRelatedWork W3093047347 @default.
- W23202956 hasRelatedWork W637774 @default.
- W23202956 hasRelatedWork W67718509 @default.
- W23202956 hasRelatedWork W808017860 @default.
- W23202956 hasRelatedWork W98495262 @default.
- W23202956 isParatext "false" @default.
- W23202956 isRetracted "false" @default.
- W23202956 magId "23202956" @default.
- W23202956 workType "article" @default.