Works matching DE "FUNCTIONAL programming (Computer science)"

Results: 206

A Visual Approach To Geometric Programming.

Published in:

Computer-Aided Design & Applications, 2005, v. 2, n. 1-4, p. 411, doi. 10.1080/16864360.2005.10738390

By:

Milicchio, Franco;
Paoluzzi, Alberto;
Bertoli, Claudio

Publication type:

Article

The development of the HiPE system: design and experience report.

Published in:

International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 421, doi. 10.1007/s100090100068

By:

Johansson, Erik;
Pettersson, Mikael;
Sagonas, Konstantinos;
Lindgren, Thomas

Publication type:

Article

Refined typing to localize the impact of forced strictness on free theorems.

Published in:

Acta Informatica, 2011, v. 48, n. 3, p. 191, doi. 10.1007/s00236-011-0136-9

By:

Seidel, Daniel;
Voigtländer, Janis

Publication type:

Article

Chemoinformatics and structural bioinformatics in OCaml.

Published in:

Journal of Cheminformatics, 2019, v. 11, n. 1, p. 1, doi. 10.1186/s13321-019-0332-0

By:

Berenger, Francois;
Zhang, Kam Y. J.;
Yamanishi, Yoshihiro

Publication type:

Article

Verification of non-functional programs using interpretations in type theory.

Published in:

Journal of Functional Programming, 2003, v. 13, n. 4, p. 709, doi. 10.1017/s095679680200446x

By:

JEAN-CHRISTOPHE FILLIÂTRE

Publication type:

Article

Short cut fusion is correct.

Published in:

Journal of Functional Programming, 2003, v. 13, n. 4, p. 797, doi. 10.1017/s0956796802004409

By:

PATRICIA JOHANN

Publication type:

Article

A fresh look at binary search trees.

Published in:

Journal of Functional Programming, 2002, v. 12, n. 6, p. 601, doi. 10.1017/s0956796801004269

By:

Hinze, Ralf

Publication type:

Article

Detecting k-Balanced Trusted Cliques in Signed Social Networks.

Published in:

IEEE Internet Computing, 2014, v. 18, n. 2, p. 24, doi. 10.1109/MIC.2014.25

By:

Hao, Fei;
Yau, Stephen S.;
Min, Geyong;
Yang, Laurence T.

Publication type:

Article

A Taste of Functional Programming -- 2.

Published in:

Resonance: Journal of Science Education, 2007, v. 12, n. 9, p. 40, doi. 10.1007/s12045-007-0092-4

By:

Mukund, Madhavan

Publication type:

Article

A Taste of Functional Programming -- 1.

Published in:

Resonance: Journal of Science Education, 2007, v. 12, n. 8, p. 27, doi. 10.1007/s12045-007-0081-7

By:

Mukund, Madhavan

Publication type:

Article

Some experiences in teaching functional programming.

Published in:

International Journal of Mathematical Education in Science & Technology, 1994, v. 25, n. 2, p. 165, doi. 10.1080/0020739940250202

By:

Joy, Mike;
Matthews, Steve

Publication type:

Article

Combinatorics of λ-terms: a natural approach.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 8, p. 2611, doi. 10.1093/logcom/exx018

By:

BENDKOWSKI, MACIEJ;
GRYGIEL, KATARZYNA;
LESCANNE, PIERRE;
ZAIONC, MAREK

Publication type:

Article

Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions.

Published in:

International Journal of Reconfigurable Computing, 2018, p. 1, doi. 10.1155/2018/3276159

By:

Uchevler, Bahram N.;
Svarstad, Kjetil

Publication type:

Article

Software Reliability Qualification Model.

Published in:

International Journal of Performability Engineering, 2012, v. 8, n. 4, p. 437, doi. 10.23940/ijpe.12.4.p437.mag

By:

Velmouruogan, S.;
Dhavachelvan, P.;
Baskaran, R.

Publication type:

Article

Pattern-based calculi with finitary matching.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 2, p. 203, doi. 10.1093/jigpal/jzx059

By:

ALVES, SANDRA;
DUNDUA, BESIK;
FLORIDO, MÁRIO;
KUTSIA, TEMUR

Publication type:

Article

Programming and verifying a declarative first-order prover in Isabelle/HOL.

Published in:

AI Communications, 2018, v. 31, n. 3, p. 281, doi. 10.3233/AIC-180764

By:

Jensen, Alexander Birch;
Larsen, John Bruntse;
Schlichtkrull, Anders;
Villadsen, Jørgen;
Fontaine;
Kaliszyk;
Schulz;
Urban

Publication type:

Article

Collaborative Mappers based on Coevolutionary Optimization Technique in MapReduce.

Published in:

International Journal of Information & Communication Technology Research (2251-6107), 2022, v. 14, n. 4, p. 28, doi. 10.52547/itrc.14.4.28

By:

Ahmadi, Mohammad Reza;
Maleki, Davood

Publication type:

Article

A comparison of using Taverna and BPEL in building scientific workflows: the case of caGrid.

Published in:

Concurrency & Computation: Practice & Experience, 2010, v. 22, n. 9, p. 1098, doi. 10.1002/cpe.1547

By:

Tan, Wei;
Missier, Paolo;
Foster, Ian;
Madduri, Ravi;
De Roure, David;
Goble, Carole

Publication type:

Article

Lambda calculus as a workflow model.

Published in:

Concurrency & Computation: Practice & Experience, 2009, v. 21, n. 16, p. 1999, doi. 10.1002/cpe.1448

By:

Kelly, Peter M.;
Coddington, Paul D.;
Wendelborn, Andrew L.

Publication type:

Article

An Extension of an Automated Termination Method of Recursive Functions.

Published in:

International Journal of Foundations of Computer Science, 2002, v. 13, n. 3, p. 361, doi. 10.1142/S0129054102001163

By:

Kamareddine, Fairouz;
Monin, Francois

Publication type:

Article

Extending the "Open-Closed Principle" to Automated Algorithm Configuration.

Published in:

Evolutionary Computation, 2019, v. 27, n. 1, p. 173, doi. 10.1162/evco_a_00245

By:

Swan, Jerry;
Adriænsen, Steven;
Barwell, Adam D.;
Hammond, Kevin;
White, David R.

Publication type:

Article

Using functional programming to recognize named structure in an optimization problem: Application to pooling.

Published in:

AIChE Journal, 2016, v. 62, n. 9, p. 3085, doi. 10.1002/aic.15308

By:

Ceccon, Francesco;
Kouyialis, Georgia;
Misener, Ruth

Publication type:

Article

POSSIBILITY OF FUNCTIONAL PROGRAMS VERIFICATION THROUGH APPLICATION OF MODEL CHECKING.

Published in:

Computer Science & Telecommunications, 2013, v. 40, n. 4, p. 51

By:

Archvadze, Natela;
Pkhovelishvili, Merab

Publication type:

Article

Improving Testability and Reuse by Transitioning to Functional Programming.

Published in:

Software Quality Professional, 2016, v. 18, n. 3, p. 30

By:

BENTON, MORGAN C.;
RADZIWILL, NICOLE M.

Publication type:

Article

Overview.

Published in:: Software Quality Professional, 2016, v. 18, n. 3, p. 2
Publication type:: Article

Some Applications of Functional Networks in Statistics and Engineering.

Published in:

Technometrics, 2001, v. 43, n. 1, p. 10, doi. 10.1198/00401700152404282

By:

Castillo, Enrique;
Hadi, Ali S.;
Gutierrez, Jose Manuel;
Lacruz, Beatriz

Publication type:

Article

Monadic Expressions and Their Derivatives.

Published in:

RAIRO - Theoretical Informatics & Applications, 2024, v. 58, p. 1, doi. 10.1051/ita/2023014

By:

Attou, Samira;
Mignot, Ludovic;
Miklarz, Clément;
Nicart, Florent

Publication type:

Article

Relaciones de aprendizaje significativo entre dos paradigmas de programación a partir de dos lenguajes de programación.

Published in:

Tecnura, 2014, v. 18, n. 41, p. 91, doi. 10.14483/udistrital.jour.tecnura.2014.3.a07

By:

TREJOS BURITICÁ, OMAR IVÁN

Publication type:

Article

Optimality Conditions for Multi-Objective Linear Fractional Programming Problem with Homogeneous Constraints.

Published in:

IUP Journal of Computational Mathematics, 2011, v. 4, n. 3, p. 7

By:

Bhargava, Shifali;
Agrawal, Abhishek

Publication type:

Article

SPECIAL SECTION ON FUNCTIONAL PROGRAMMING PARADIGM AND ITS APPLICATIONS.

Published in:

Computing & Informatics, 2016, v. 35, n. 4, p. 761

By:

TUREK, Wojciech;
DEBSKI, Roman;
BYRSKI, Aleksander;
KISIEL-DOROHINICKI, Marek

Publication type:

Article

DEFINING C PREPROCESSOR MACRO LIBRARIES WITH FUNCTIONAL PROGRAMS.

Published in:

Computing & Informatics, 2016, v. 35, n. 4, p. 819

By:

NÉMETH, Boldizsár;
KARÁCSONY, Máté;
KELEMEN, Zoltán;
TEJFEL, Máté

Publication type:

Article

Computer Aided Verification of Relational Models by Strategic Rewriting.

Published in:

Journal of Computer Science & Technology (JCS&T), 2017, v. 17, n. 2, p. 140, doi. 10.24215/16666038.17.e19

By:

Necco, Claudia M.;
Oliveira, José N.;
Visser, Joost;
Uzal, Roberto

Publication type:

Article

Reversing Event Structures.

Published in:

New Generation Computing, 2018, v. 36, n. 3, p. 281, doi. 10.1007/s00354-018-0040-8

By:

Ulidowski, Irek;
Phillips, Iain;
Yuen, Shoji

Publication type:

Article

A dual-stage functional modelling framework with multi-level design knowledge for conceptual mechanical design.

Published in:

Journal of Engineering Design, 2000, v. 11, n. 4, p. 347, doi. 10.1080/09544820010000953

By:

Deng, Y.-M.;
Tor, S. B.;
Britton, G. A.

Publication type:

Article

A minimal gene set characterizes TIL specific for diverse tumor antigens across different cancer types.

Published in:

Nature Communications, 2025, v. 16, n. 1, p. 1, doi. 10.1038/s41467-024-55059-3

By:

Zeng, Zhen;
Zhang, Tianbei;
Zhang, Jiajia;
Li, Shuai;
Connor, Sydney;
Zhang, Boyang;
Zhao, Yimin;
Wilson, Jordan;
Singh, Dipika;
Kulikauskas, Rima;
Church, Candice D.;
Pulliam, Thomas H.;
Jani, Saumya;
Nghiem, Paul;
Topalian, Suzanne L.;
Forde, Patrick M.;
Pardoll, Drew M.;
Ji, Hongkai;
Smith, Kellie N.

Publication type:

Article

A Comparison of Big Data Frameworks on a Layered Dataflow Model.

Published in:

Parallel Processing Letters, 2017, v. 27, n. 1, p. -1, doi. 10.1142/S0129626417400035

By:

Misale, Claudia;
Drocco, Maurizio;
Aldinucci, Marco;
Tremblay, Guy

Publication type:

Article

Using Metaprogramming to Parallelize Functional Specifications.

Published in:

Parallel Processing Letters, 2002, v. 12, n. 2, p. 193, doi. 10.1142/S0129626402000926

By:

Herrmann, Christoph A.;
Lengauer, Christian

Publication type:

Article

An Operational Semantics for the Parallel Language Eden.

Published in:

Parallel Processing Letters, 2002, v. 12, n. 2, p. 211, doi. 10.1142/S0129626402000938

By:

Hidalgo-Herrero, Mercedes;
Ortega-Mallén, Yolanda

Publication type:

Article

Costing Nested Array Codes.

Published in:

Parallel Processing Letters, 2002, v. 12, n. 2, p. 249, doi. 10.1142/S0129626402000951

By:

Lechtchinsky, Roman;
Chakravarty, Manuel M. T.;
Keller, Gabriele

Publication type:

Article

Lifting Sequential Functions to Parallel Skeletons.

Published in:

Parallel Processing Letters, 2002, v. 12, n. 2, p. 267, doi. 10.1142/S0129626402000963

By:

Nitsche, Thomas

Publication type:

Article

HDC: A Higher-Order Language for Divide-and-Conquer.

Published in:

Parallel Processing Letters, 2000, v. 10, n. 2/3, p. 239, doi. 10.1142/S0129626400000238

By:

Herrmann, Christoph A.;
Lengauer, Christian;
Darte, A.;
Robert, Y.

Publication type:

Article

Notions of Information: Remarks on Fresco's Paper.

Published in:

Philosophy & Technology, 2013, v. 26, n. 1, p. 61, doi. 10.1007/s13347-012-0073-8

By:

White, Graham

Publication type:

Article

How functional programming mattered.

Published in:

National Science Review, 2015, v. 2, n. 3, p. 349, doi. 10.1093/nsr/nwv042

By:

Zhenjiang Hu;
Hughes, John;
Meng Wang

Publication type:

Article

Constructive forcing, CPS translations and witness extraction in Interactive realizability.

Published in:

Mathematical Structures in Computer Science, 2017, v. 27, n. 6, p. 993, doi. 10.1017/S0960129515000468

By:

ASCHIERI, FEDERICO

Publication type:

Article

Vulnerability modelling with functional programming and dependent types.

Published in:

Mathematical Structures in Computer Science, 2016, v. 26, n. 1, p. 114, doi. 10.1017/S0960129514000139

By:

IONESCU, CEZAR

Publication type:

Article

Containers, monads and induction recursion.

Published in:

Mathematical Structures in Computer Science, 2016, v. 26, n. 1, p. 89, doi. 10.1017/S0960129514000127

By:

GHANI, NEIL;
HANCOCK, PETER

Publication type:

Article

On quasi-interpretations, blind abstractions and implicit complexity.

Published in:

Mathematical Structures in Computer Science, 2012, v. 22, n. 4, p. 549, doi. 10.1017/S0960129511000685

By:

BAILLOT, PATRICK;
DAL LAGO, UGO;
MOYEN, JEAN-YVES

Publication type:

Article

Semantical proofs of correctness for programs performing non-deterministic tests on real numbers.

Published in:: Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 723, doi. 10.1017/S0960129510000186
Publication type:: Article

Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 1, p. 97, doi. 10.1017/S147106841700045X

By:

BENDKOWSKI, MACIEJ;
GRYGIEL, KATARZYNA;
TARAU, PAUL

Publication type:

Article

Logic + control: On program construction and verification.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 1, p. 1, doi. 10.1017/S1471068417000047

By:

DRABENT, WŁODZIMIERZ

Publication type:

Article