Searching for "Imperative Functional Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

110 documents found, showing 1 through 10. Next 10 →

A verification environment for imperative and functional programs in the theorema system
by Laura Ildikó Kovács, Nikolaj Popov, Tudor Jebelean — 2005 — Satellite of 2nd Balkan Conference in Informatics, 17-19 November, Ohrid. Contributed talk at 2nd South-East European Workshop on Formal Methods (SEEFM05), ”Practical dimensions: Challenges in the business world”, Ohrid, FYR of Macedonia
…A Verification Environment for Imperative and Functional Programs in the Theorema system Laura…
Cited by 1 (0 self) – Add To MetaCart

A language-based approach to functionally correct imperative programming
by Edwin Westbrook, Aaron Stump, Ian Wehrman, Saint Louis Mo — 2005 — In Proceedings of the 10th International Conference on Functional Programming (ICFP05
…A Language-based Approach to Functionally Correct Imperative Programming Edwin Westbrook Aaron…
Cited by 27 (8 self) – Add To MetaCart

Partial Evaluation of Shaped Programs: Experience with FISh
by C. B. Jay — 1999
…@(email omitted); Abstract FISh is an array-based programming language that combines imperative and functional programming…
Cited by 1 (1 self) – Add To MetaCart

Partial Evaluation of Shaped Programs: Experience with FISh
by P. O. Box, Sydney Schoolofcomputingsciences, C. B. Jay — 1999
…FISh is an array-based programming language that combines imperative and functional programming styles. Static shape analysis uses partial evaluation to convert arbitrary programs into simple, efficient imperative programs.…
Add To MetaCart

Parallel Haskell: The vectorisation monad
by Keith Clarke, Jonathan M. D. Hill — 1993
… for parallel Haskell [27] (figure 1) as a vehicle in which imperative functional programs will be expressed…
Cited by 1 (0 self) – Add To MetaCart

An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional
by Jonathan M. D. Hill, Keith Clarke
… of the techniques gaining widespread acceptance as a model for imperative functional programming is monads [13, 9…
Cited by 2 (0 self) – Add To MetaCart

Imperative Lambda Calculus Revisited
by Hongseok Yang, Uday Reddy — 1997
… Lambda Calculus is a type system designed to combine functional and imperative programming features…
Cited by 3 (1 self) – Add To MetaCart

A First Order Logic of Effects
by Ian A. Mason — 1996 — Theoretical Computer Science
…E [34, 23, 35, 37, 24] is a logic for reasoning about imperative functional programs, inspired…
Cited by 4 (0 self) – Add To MetaCart

Plan in Maude: Specifying an Active Network Programming Language
by Mark-Oliver Stehr, Carolyn L. Talcott — 2002 — Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications. ENTCS, Elsevier
… generalizes the paradigm of imperative functional programming in an elegant way that allows for recursive…
Cited by 8 (1 self) – Add To MetaCart

An Operational Logic of Effects
by Jacob Frost, Ian A. Mason — 1996 — In Proceedings of the Australasian Theory Symposium, CATS ’96
… for reasoning about imperative functional programs. The logic goes well beyond traditional programming logics…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB