scholarly journals Editorial for the Special Issue on Parallel and Concurrent Functional Programming

2018 ◽  
Vol 28 ◽  
Author(s):  
Gabriele Keller ◽  
Fritz Henglein
Keyword(s):  
Programming Languages ◽  
Functional Programming ◽  
Programming Model ◽  
State Of The Art ◽  
Functional Languages ◽  
Functional Language ◽  
Special Issue ◽  
Practical Applications ◽  
Wide Range ◽  
Concurrent Computing

Functional languages are uniquely suited to providing programmers with a programming model for parallel and concurrent computing. This is reflected in the wide range of work that is currently underway, both on parallel and concurrent functional languages, as well as on bringing functional language features to other programming languages. This has resulted in a rapidly growing number of practical applications. The Journal of Functional Programming decided to dedicate a special issue to this field to showcase the state of the art in how functional languages and functional concepts currently assist programmers with the task of managing the challenges of creating parallel and concurrent systems.

scholarly journals Dynamic game semantics

2020 ◽  
pp. 1-60
Author(s):  
Norihiro Yamada ◽  
Samson Abramsky
Keyword(s):  
Programming Languages ◽  
Functional Programming ◽  
Operational Semantics ◽  
Dynamic Game ◽  
Standard Interpretation ◽  
Functional Programming Languages ◽  
Game Semantics ◽  
Wide Range ◽  
Cartesian Closed Categories ◽  
Cartesian Closed

Abstract The present work achieves a mathematical, in particular syntax-independent, formulation of dynamics and intensionality of computation in terms of games and strategies. Specifically, we give game semantics of a higher-order programming language that distinguishes programmes with the same value yet different algorithms (or intensionality) and the hiding operation on strategies that precisely corresponds to the (small-step) operational semantics (or dynamics) of the language. Categorically, our games and strategies give rise to a cartesian closed bicategory, and our game semantics forms an instance of a bicategorical generalisation of the standard interpretation of functional programming languages in cartesian closed categories. This work is intended to be a step towards a mathematical foundation of intensional and dynamic aspects of logic and computation; it should be applicable to a wide range of logics and computations.

CALL FOR PAPERS Journal of Functional Programming Special Issue on Theorem Provers and Functional Programming

1997 ◽  
Vol 7 (1) ◽  
pp. 125-126
Author(s):  
Tom Melham
Keyword(s):  
Interface Design ◽  
Functional Programming ◽  
Type Systems ◽  
Theory And Practice ◽  
Theorem Prover ◽  
Functional Languages ◽  
Special Issue ◽  
Theorem Provers ◽  
Problems And Solutions ◽  
Submission Deadline

A special issue of the Journal of Functional Programming will be devoted to the use of functional programming in theorem proving. The submission deadline is 31 August 1997.The histories of theorem provers and functional languages have been deeply intertwined since the advent of Lisp. A notable example is the ML family of languages, which are named for the meta language devised for the LCF theorem prover, and which provide both the implementation platform and interaction facilities for numerous later systems (such as Coq, HOL, Isabelle, NuPrl). Other examples include Lisp (as used for ACL2, PVS, Nqthm) and Haskell (as used for Veritas).This special issue is devoted to the theory and practice of using functional languages to implement theorem provers and using theorem provers to reason about functional languages. Topics of interest include, but are not limited to:– architecture of theorem prover implementations– interface design in the functional context– limits of the LCF methodology– impact of host language features– type systems– lazy vs strict languages– imperative (impure) features– performance problems and solutions– problems of scale– special implementation techniques– term representations (e.g. de Bruijn vs name carrying vs BDDs)– limitations of current functional languages– mechanised theories of functional programming

scholarly journals The Embeddedness of Social Sciences and Economics in Research on Resources

Resources ◽  
2020 ◽  
Vol 9 (2) ◽  
pp. 15
Author(s):  
Juan Uribe-Toril ◽  
José Luis Ruiz-Real ◽  
Jaime de Pablo Valenciano
Keyword(s):  
Social Sciences ◽  
State Of The Art ◽  
Local Development ◽  
The State ◽  
Special Issue ◽  
Continuous Review ◽  
The Past ◽  
Research Fields ◽  
Wide Range ◽  
Knowledge Area

Sustainability, local development, and ecology are keywords that cover a wide range of research fields in both experimental and social sciences. The transversal nature of this knowledge area creates synergies but also divergences, making a continuous review of the existing literature necessary in order to facilitate research. There has been an increasing number of articles that have analyzed trends in the literature and the state-of-the-art in many subjects. In this Special Issue of Resources, the most prestigious researchers analyzed the past and future of Social Sciences in Resources from an economic, social, and environmental perspective.

scholarly journals EDITORIAL

1998 ◽  
Vol 8 (4) ◽  
pp. 319-321 ◽  
Author(s):  
SIMON PEYTON JONES ◽  
PHIL WADLER
Keyword(s):  
Functional Programming ◽  
Lambda Calculus ◽  
Language Design ◽  
Functional Languages ◽  
Functional Language ◽  
The Past ◽  
Semantic Models ◽  
Compiled Code ◽  
Design Speed ◽  
Academic Content

In the end, research on functional languages does little good unless they are used to write something other than compilers for functional languages. However, if one scans a typical functional programming conference or journal, one mainly sees papers on twists in language design, speed-ups in compiled code, clever new analyses, or refinements to semantic models. It much less common to see a paper that considers a functional language as a tool to some other practical end. We would like to see this change.The Journal of Functional Programming carries, and will continue to carry, articles on all aspects of functional programming from lambda calculus theory to language design to implementation. But we have specially sought, and will continue to seek, papers on functional programming practice and experience.Research and papers on practice and experience sometimes receive less attention because they are perceived as possessing less academic content. So we want to remind potential authors that we have published a number of papers on this topic in the past, and to spell out the criteria we apply to such papers.

What is a purely functional language?

1998 ◽  
Vol 8 (1) ◽  
pp. 1-22 ◽  
Author(s):  
AMR SABRY
Keyword(s):  
Programming Languages ◽  
Functional Programming ◽  
Denotational Semantics ◽  
Functional Language ◽  
Formal Definition ◽  
Functional Programming Languages ◽  
Precise Meaning ◽  
Definition Of ◽  
Parameter Passing

Functional programming languages are informally classified into pure and impure languages. The precise meaning of this distinction has been a matter of controversy. We therefore investigate a formal definition of purity. We begin by showing that some proposed definitions which rely on confluence, soundness of the beta axiom, preservation of pure observational equivalences and independence of the order of evaluation, do not withstand close scrutiny. We propose instead a definition based on parameter-passing independence. Intuitively, the definition implies that functions are pure mappings from arguments to results; the operational decision of how to pass the arguments is irrelevant. In the context of Haskell, our definition is consistent with the fact that the traditional call-by-name denotational semantics coincides with the traditional call-by-need implementation. Furthermore, our definition is compatible with the stream-based, continuation-based and monad-based integration of computational effects in Haskell. Finally, we observe that call-by-name reasoning principles are unsound in compilers for monadic Haskell.

scholarly journals Special Issue: New Horizon of Plasmonics and Metamaterials

Materials ◽  
2020 ◽  
Vol 13 (7) ◽  
pp. 1756
Author(s):  
Shinpei Ogawa ◽  
Masafumi Kimata
Keyword(s):  
Electromagnetic Waves ◽  
New Technologies ◽  
Special Issue ◽  
Practical Applications ◽  
New Horizons ◽  
Fundamental Knowledge ◽  
Recent Advances ◽  
Wide Range ◽  
Remarkable Progress

Plasmonics and metamaterials are growing fields that consistently produce new technologies for controlling electromagnetic waves. Many important advances in both fundamental knowledge and practical applications have been achieved in conjunction with a wide range of materials, structures and wavelengths, from the ultraviolet to the microwave regions of the spectrum. In addition to this remarkable progress across many different fields, much of this research shares many of the same underlying principles, and so significant synergy is expected. This Special Issue introduces the recent advances in plasmonics and metamaterials and discusses various applications, while addressing a wide range of topics in order to explore the new horizons emerging for such research.

scholarly journals A new constraint programming model and solving for the cyclic hoist scheduling problem

Constraints ◽  
2020 ◽  
Vol 25 (3-4) ◽  
pp. 319-337 ◽  
Author(s):  
Mark Wallace ◽  
Neil Yorke-Smith
Keyword(s):  
Constraint Programming ◽  
Programming Model ◽  
State Of The Art ◽  
Scale Up ◽  
Generic Model ◽  
Scheduling Problem ◽  
Hoist Scheduling ◽  
Wide Range ◽  
Constraint Programming Model ◽  
High Level

AbstractThe cyclic hoist scheduling problem (CHSP) is a well-studied optimisation problem due to its importance in industry. Despite the wide range of solving techniques applied to the CHSP and its variants, the models have remained complicated and inflexible, or have failed to scale up with larger problem instances. This article re-examines modelling of the CHSP and proposes a new simple, flexible constraint programming formulation. We compare current state-of-the-art solving technologies on this formulation, and show that modelling in a high-level constraint language, MiniZinc, leads to both a simple, generic model and to computational results that outperform the state of the art. We further demonstrate that combining integer programming and lazy clause generation, using the multiple cores of modern processors, has potential to improve over either solving approach alone.

Special Issue on “What can We do for Developing Search and Rescue Robot?”

2014 ◽  
Vol 26 (4) ◽  
pp. 435-435
Author(s):  
Koichi Osuka
Keyword(s):  
Research And Development ◽  
Natural Disasters ◽  
Disaster Response ◽  
Large Scale ◽  
Special Issue ◽  
Practical Applications ◽  
Response System ◽  
Wide Range ◽  
Response Systems ◽  
Rescue Robots

As a disaster-prone country, Japan has endured many earthquake disasters. The latest cases include the 1995 Great Hanshin-Awaji earthquake disaster, the 2004 Niigata Chuetsu earthquake, and the 2011 Great East Japan earthquake. Since the 1995 Great Hanshin-Awaji earthquake in particular, many robot researchers have started undertaking the research and development of rescue robots. Their practical applications have a long way to go, so to continue ongoing robot research and development, we should also be aware that comparatively few researchers and engineers are actually engaged in such research and development. Great earthquakes (or tsunami) are both rare and unpredictable, which makes it very difficult to establish research policies for rescue robots intended for specialized use in disaster response. We should also realize that Japan is almost constantly hit by one or another every year – e.g., the typhoons that hit Japan directly every year and themselves triggering other disasters caused by landslides or avalanches due to heavy rainfall. The Japanese populace is so accustomed to such happenings but, nevertheless, few actions have been taken unlike those against large-scale earthquakes. It is often said that an effective disaster response system can only be developed after we have experienced many actual disasters. It then occurs to us that we must first construct disaster response systems – rescue robots, etc. – directly targeting daily natural disasters. Any large-scale disaster response system can be built on such constant efforts. On the other hand, any disaster response system against daily natural disasters could only be developed by locally domiciled researchers and engineers. This makes us feel that it is possible to increase the number of personnel who become involved in disaster response research and development. Based on the above context, this special issue provides a wide range of articles on region-specific disasters and disaster response actions, focusing on their localities and specialties. We sincerely hope that this special issue will help in promoting research and development on rescue robots and putting them to practical use.

Sign in / Sign up

Export Citation Format

Share Document