On Integration of Programming Paradigms ALAN MYCROFT Computer Laboratory, Cambridge University, Cambridge, U.K. Alan.Mycroft@cl.cam.ac.uk Programming notions can be expressed in many different paradigms using imperative, object-oriented, concurrent, functional, or logic-programming (or other) formulations. Choice of an appropriate paradigm can greatly affect the ease of programming. Initially this choice appears unequivocally helpful to the programmer, but doubts soon arise. What if parts of a system are written in a typed imperative language (e.g., C) and others in an untyped logic programming language (e.g., Prolog)? How can a lazy functional language (e.g., Haskell) invoke procedures that have state? We thus confront the problem of integration of programming paradigms to integrate subsystems expressed in differing paradigms into a coherent whole. The aim of this article is to expound an algebraic view of such integration. Work with related aims but differing starting points can be found in the action semantics approach [Mosses 1992] and the monads view of feature composition (see e.g. Liang and Hudak [1996]). Also relevant is work [Mycroft et al. 1995] on using complexity to compare semantic models. Integrating subprograms written in {1, 2} varying source languages i , i intuitively represents writing in the union of
End of preview. The entire article is 3 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/on-integration-of-programming-paradigms-NyEobGBOO3
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
On integration of programming paradigms
Mycroft, Alan
Follow ACM Computing Surveys (CSUR)
, Volume 28 (2)
Association for Computing Machinery – Jun 1, 1996
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
