Results 21 to 30 of about 147,066 (311)

Modelling and verification of parameterized architectures: A functional approach

IET Computers & Digital Techniques, 2021
The merit of higher order functions for hardware description and transformation is widely acknowledged by hardware designers. However, the use of higher order types makes their correctness proof very difficult.
Salah Merniz, Saad Harous
doaj   +1 more source

Conventional dendritic cells type 1 are strongly enriched, quiescent and relatively tolerogenic in local inflammatory arthritis

Frontiers in Immunology, 2023
IntroductionDendritic cells (DC) are crucial for initiating and shaping immune responses. So far, little is known about the functional specialization of human DC subsets in (local) inflammatory conditions.
Arjan Boltjes, Anoushka Ashok Kumar Samat, Maud Plantinga, Michal Mokry, Bas Castelijns, Joost F. Swart, Sebastiaan J. Vastert, Sebastiaan J. Vastert, Menno Creyghton, Menno Creyghton, Stefan Nierkens, Stefan Nierkens, Jorg van Loosdregt, Jorg van Loosdregt, Femke van Wijk, Femke van Wijk   +15 more
doaj   +1 more source

Extensional equality preservation and verified generic programming [PDF]

, 2021
In verified generic programming, one cannot exploit the structure of concrete data types but has to rely on well chosen sets of specifications or abstract data types (ADTs).
Brede, N., Jansson, Patrik, Botta, Nicola, Richter, Tim, Jansson, Patrik,, Brede, Nuria, Richter, Tim,, Brede, Nuria,, Richter, T., Botta, Nicola,, Botta, N.   +10 more
core   +1 more source

High-Level Modelling for Typed Functional Programming

, 2021
There is currently no way to model the high-level structural design of a functional system. Given the strong links between functional programming and mathematics, it is hypothesised that the language of mathematics can provide insight into how a ...
Motara, Yusuf, M, Yusuf Moosa Motara
core   +1 more source

Side-Effect Localization for Lazy, Purely Functional Languages via Aspects [PDF]

, 2011
Many side-effecting programming activities, such as profiling and tracing, can be formulated as crosscutting concerns and be framed as side-effecting aspects in the aspect-oriented programming paradigm.
Chen, Kung, Kung Chen, Wang, Meng,, Weng, Shu-Chun, Weng, S.-C., Lin, Jia-Yin, Khoo, Siau-Cheng, Wang, Meng, Shu-Chun Weng, Lin, J.-Y., Wang, M., Khoo, S.-C., Chen, K., Jia-Yin Lin, Meng Wang, Siau-Cheng Khoo   +15 more
core   +1 more source

Foundations of Total Functional Data-Flow Programming [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
The field of declarative stream programming (discrete time, clocked synchronous, modular, data-centric) is divided between the data-flow graph paradigm favored by domain experts, and the functional reactive paradigm favored by academics.
Baltasar Trancón y Widemann, Markus Lepper   +1 more
doaj   +1 more source

Programming errors in traversal programs over structured data [PDF]

, 2013
Traversal strategies à la Stratego (also à la Strafunski and ‘Scrap Your Boilerplate’) provide an exceptionally versatile and uniform means of querying and transforming deeply nested and heterogeneously structured data including terms in functional ...
Kaiser, Markus, Ralf Lämmel, Simon Thompson, Markus Kaiser, Thompson, Simon, Laemmel, Ralf   +5 more
core   +1 more source

Structural Induction Principles for Functional Programmers [PDF]

Electronic Proceedings in Theoretical Computer Science, 2013
User defined recursive types are a fundamental feature of modern functional programming languages like Haskell, Clean, and the ML family of languages. Properties of programs defined by recursion on the structure of recursive types are generally proved ...
James Caldwell
doaj   +1 more source

Semantic Observation Integration

Future Internet, 2012
Although the integration of sensor-based information into analysis and decision making has been a research topic for many years, semantic interoperability has not yet been reached.
Werner Kuhn, Laura Spinsanti, Frank Ostermann, Sven Schade   +3 more
doaj   +1 more source

Bricklayer: An Authentic Introduction to the Functional Programming Language SML [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
Functional programming languages are seen by many as instrumental to effectively utilizing the computational power of multi-core platforms. As a result, there is growing interest to introduce functional programming and functional thinking as early as ...
Victor Winter
doaj   +1 more source