BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
functional
Google functional

Tag #functional

1301 papers:

POPLPOPL-2020-ArntzeniusK #evaluation #higher-order
Seminaïve evaluation for a higher-order functional language (MA, NK), p. 28.
POPLPOPL-2020-AschieriG #concurrent #linear #logic #parallel #proving #source code
Par means parallel: multiplicative linear logic proofs as concurrent functional programs (FA, FAG), p. 28.
POPLPOPL-2020-KavvosMLD #call-by #source code
Recurrence extraction for functional programs through call-by-push-value (GAK, EM, DRL, ND), p. 31.
POPLPOPL-2020-VandenbrouckeS #named #probability
PλωNK: functional probabilistic NetKAT (AV, TS), p. 27.
CCCC-2020-PizzutiSD #generative #information retrieval #matrix #multi #performance
Generating fast sparse matrix vector multiplication from a high level generic functional IR (FP, MS, CD), pp. 85–95.
SANERSANER-2019-GaoCXMSL #generative
A Neural Model for Method Name Generation from Functional Description (SG, CC, ZX, YM, WS, SWL), pp. 411–421.
SCAMSCAM-2019-Kessel019a #behaviour #comparison #equivalence #on the
On the Efficacy of Dynamic Behavior Comparison for Judging Functional Equivalence (MK, CA0), pp. 193–203.
HaskellHaskell-2019-Finkbeiner0PS #source code
Synthesizing functional reactive programs (BF, FK0, RP, MS), pp. 162–175.
ICFP-2019-0001A #compilation #correctness #theorem
The next 700 compiler correctness theorems (functional pearl) (DP0, AA), p. 29.
ICFP-2019-HameerP #automation #case study #education #experience #programming #using
Teaching the art of functional programming using automated grading (experience report) (AH, BP), p. 15.
ICFP-2019-ShaikhhaFVJ #performance #programming
Efficient differentiable programming in a functional array-processing language (AS, AF, DV, SPJ), p. 30.
ICFP-2019-SozeauM #coq #equation #programming #proving
Equations reloaded: high-level dependently-typed functional programming and proving in Coq (MS, CM), p. 29.
ICFP-2019-SwierstraB #semantics
A predicate transformer semantics for effects (functional pearl) (WS, TB), p. 26.
CoGCoG-2019-HufkensB #logic #taxonomy
A Functional Taxonomy of Logic Puzzles (LVH, CB), pp. 1–4.
ICMLICML-2019-AwanKRS #exponential
Benefits and Pitfalls of the Exponential Mechanism with Applications to Hilbert Spaces and Functional PCA (JA, AK, MR, ABS), pp. 374–384.
ICMLICML-2019-ChuBG #learning #probability
Probability Functional Descent: A Unifying Perspective on GANs, Variational Inference, and Reinforcement Learning (CC, JHB, PWG), pp. 1213–1222.
ICMLICML-2019-LeeJAJ #approach #game studies
Functional Transparency for Structured Data: a Game-Theoretic Approach (GHL, WJ, DAM, TSJ), pp. 3723–3733.
ICMLICML-2019-MirshaniRS #privacy
Formal Privacy for Functional Data with Gaussian Perturbations (AM, MR, ABS), pp. 4595–4604.
OOPSLAOOPSLA-2019-SongLO #automation #detection #fault #logic #programming #scalability
Automatic and scalable detection of logical errors in functional programming assignments (DS, ML, HO), p. 30.
PLATEAUPLATEAU-2019-LubinC #program transformation
Type-Directed Program Transformations for the Working Functional Programmer (JL, RC), p. 12.
POPLPOPL-2019-OmarVCH #programming
Live functional programming with typed holes (CO, IV, RC, MAH), p. 32.
PPDPPPDP-2019-ChupinN #programming
Functional Reactive Programming, restated (GC, HN), p. 14.
PPDPPPDP-2019-Gerard0S #programming #syntax
Functional programming with λ-tree syntax (UG, DM0, GS), p. 16.
SASSAS-2019-OkuyamaT0 #higher-order #logic #source code
A Temporal Logic for Higher-Order Functional Programs (YO, TT, NK0), pp. 437–458.
CCCC-2019-KSKP #incremental #slicing #source code
A static slicing method for functional programs and its incremental version (PKK, AS, AK, SP), pp. 53–64.
ESOPESOP-2019-VeselyF
One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts (FV, KF), pp. 205–231.
CAVCAV-2019-Rabe #incremental #quantifier #synthesis
Incremental Determinization for Quantifier Elimination and Functional Synthesis (MNR), pp. 84–94.
VMCAIVMCAI-2019-FedyukovichGG #effectiveness #lazy evaluation #synthesis
Lazy but Effective Functional Synthesis (GF, AG, AG), pp. 92–113.
HaskellHaskell-2018-Noonan #proving
Ghosts of departed proofs (functional pearl) (MN), pp. 119–131.
HaskellHaskell-2018-VazouBKHH #equation #haskell #proving #reasoning #theorem proving
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl) (NV, JB, RK, DVH, GH), pp. 132–144.
ICFP-2018-AlmeidaCM0P #assessment #automation #case study #education #experience #game studies #how #using
Teaching how to program using automated assessment and functional glossy games (experience report) (JBA, AC, NM, HP0, JP), p. 17.
ICFP-2018-BoisseauG #what
What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl) (GB, JG), p. 27.
ICFP-2018-ElsmanHAO #gpu #higher-order #in the large #programming
Static interpretation of higher-order modules in Futhark: functional GPU programming in the large (ME, TH, DA, CEO), p. 30.
ICFP-2018-KoppelSS #game studies
Capturing the future by replaying the past (functional pearl) (JK, GS, ASL), p. 29.
ICFP-2018-NandiWPBGT #compilation #design #programming
Functional programming for compiling and decompiling computer-aided design (CN, JRW, PP, TB, DG, ZT), p. 31.
ICFP-2018-Perez #fault tolerance #programming
Fault tolerant functional reactive programming (functional pearl) (IP0), p. 30.
ICFP-2018-ScibiorKG #composition #programming
Functional programming for modular Bayesian inference (AS, OK, ZG), p. 29.
ICFP-2018-StampoulisC #higher-order #learning #logic programming #prolog #prototype #using
Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam (AS, AC), p. 30.
ICFP-2018-WeiDR #automaton
Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl) (GW, JMD, TR), p. 28.
ICFP-2018-YorgeyF #difference #what
What's the difference? a functional pearl on subtracting bijections (BAY, KF), p. 21.
ICMLICML-2018-Johnson0 #generative #learning #modelling
Composite Functional Gradient Learning of Generative Adversarial Models (RJ, TZ0), pp. 2376–2384.
ICMLICML-2018-NitandaS #network
Functional Gradient Boosting based on Residual Network Perception (AN, TS), pp. 3816–3825.
ICPRICPR-2018-HosniDCA #3d #recognition
3D Gait Recognition based on Functional PCA on Kendall's Shape Space (NH, HD, FC, BBA), pp. 2130–2135.
ICPRICPR-2018-MartinezPSLBP #kernel #multi #personalisation #recognition
Multi-task multiple kernel machines for personalized pain recognition from functional near-infrared spectroscopy brain signals (DLM, KP, SCS, AJL, DB, RWP), pp. 2320–2325.
ICMTICMT-2018-Voelter #design #evolution #kernel #using
The Design, Evolution, and Use of KernelF — An Extensible and Embeddable Functional Language (MV), pp. 3–55.
OOPSLAOOPSLA-2018-LeeSSO #automation #fault #logic #programming
Automatic diagnosis and correction of logical errors for functional programming assignments (JL, DS, SS, HO), p. 30.
PADLPADL-2018-BiermannDS #higher-order #source code #spreadsheet
Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs (FB, WD, PS), pp. 20–35.
PADLPADL-2018-DylusCT #logic programming #probability
Probabilistic Functional Logic Programming (SD, JC, FT), pp. 3–19.
PLDIPLDI-2018-SteindorferV #exclamation #multi #performance
To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries (MJS, JJV), pp. 283–295.
PPDPPPDP-2018-Schmidt-Schauss #concurrent #parallel #programming language
Sequential and Parallel Improvements in a Concurrent Functional Programming Language (MSS, DS, ND), p. 13.
ASEASE-2018-Haindl
Assessing and evaluating functional suitability of software (PH), pp. 920–923.
ESEC-FSEESEC-FSE-2018-ZhaoH #learning #named #similarity
DeepSim: deep learning code functional similarity (GZ, JH0), pp. 141–151.
CASECASE-2018-GengenbachUAKRS #automation #component #flexibility #smt #workflow
An Integrated Workflow to Automatically Fabricate Flexible Electronics by Functional Printing and SMT Component Mounting (UG, MU, EA, LK, KMR, PS, VH), pp. 1624–1629.
CCCC-2018-MadsenZL #data transformation #java #representation #virtual machine
Tail call elimination and data representation for functional languages on the Java virtual machine (MM, RZ, OL), pp. 139–150.
CAVCAV-2018-AkshayCGKS #question #synthesis #what
What's Hard About Boolean Functional Synthesis? (SA, SC, SG, SK, SS), pp. 251–269.
CAVCAV-2018-Satake0 #higher-order #logic #source code
Propositional Dynamic Logic for Higher-Order Functional Programs (YS, HU0), pp. 105–123.
SCAMSCAM-2017-SuzukiPGLL #case study #repository
An Exploratory Study of Functional Redundancy in Code Repositories (MS, ACdP, EG, CVL, OALL), pp. 31–40.
CIAACIAA-2017-GerdjikovMS #finite #transducer
A Simple Method for Building Bimachines from Functional Finite-State Transducers (SG, SM, KUS), pp. 113–125.
HaskellHaskell-2017-KarachaliasS #dependence #exclamation
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! (GK, TS), pp. 133–147.
HaskellHaskell-2017-LampropoulosSF #random
Ode on a random urn (functional pearl) (LL, ASZ, KF), pp. 26–37.
HaskellHaskell-2017-Mokhov #algebra #graph
Algebraic graphs with class (functional pearl) (AM), pp. 2–13.
ICFP-2017-AndersenCF
Super 8 languages for making movies (functional pearl) (LA, SC, MF), p. 29.
ICFP-2017-Bernardy
A pretty but not greedy printer (functional pearl) (JPB), p. 21.
ICFP-2017-ByrdBRM #approach #problem #programming
A unified approach to solving seven programming problems (functional pearl) (WEB, MB, GR, MM), p. 26.
ICFP-2017-CanouCH #education #ml #programming #scalability
Scaling up functional programming education: under the hood of the OCaml MOOC (BC, RDC, GH), p. 25.
ICFP-2017-DaraisLNH
Abstracting definitional interpreters (functional pearl) (DD, NL, PCN, DVH), p. 25.
ICFP-2017-DavisMS #continuation
No-brainer CPS conversion (functional pearl) (MD, WM, OS), p. 25.
ICFP-2017-Elliott #algorithm #parallel
Generic functional parallel algorithms: scan and FFT (CE), p. 25.
ICFP-2017-PerezN #debugging #programming #testing
Testing and debugging functional reactive programming (IP0, HN), p. 27.
ICFP-2017-RicciottiSPC #imperative #source code
Imperative functional programs that explain their work (WR, JS, RP, JC), p. 28.
ICFP-2017-St-AmourFFYF
Herbarium Racketensis: a stroll through the woods (functional pearl) (VSA, DF, SPF, SHY, RBF), p. 15.
CIKMCIKM-2017-BaskaranKCGS #dependence #ontology #performance
Efficient Discovery of Ontology Functional Dependencies (SB, AK0, FC, LG, JS), pp. 1847–1856.
KDDKDD-2017-LiuSLMLX #predict
Functional Zone Based Hierarchical Demand Prediction For Bike System Expansion (JL, LS, QL, JM, YL, HX), pp. 957–966.
KDDKDD-2017-LuoZQYYWYW #learning #multi
Functional Annotation of Human Protein Coding Isoforms via Non-convex Multi-Instance Learning (TL, WZ, SQ, YY, DY, GW, JY, JW0), pp. 345–354.
KDDKDD-2017-MandrosBV #approximate #dependence #reliability
Discovering Reliable Approximate Functional Dependencies (PM, MB, JV), pp. 355–363.
OOPSLAOOPSLA-2017-WangWC #analysis #complexity #invariant #named
TiML: a functional language for practical complexity analysis with invariants (PW0, DW, AC), p. 26.
PADLPADL-2017-AntoyH #logic programming #nondeterminism #source code
Eliminating Irrelevant Non-determinism in Functional Logic Programs (SA, MH), pp. 1–18.
PEPMPEPM-2017-MatsudaA #graph transformation #reduction
A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction (KM, KA), pp. 71–82.
PEPMPEPM-2017-RompfB
Functional parallels of sequential imperatives (short paper) (TR, KJB), pp. 83–88.
PLDIPLDI-2017-HenriksenSEHO #array #named #parallel
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates (TH, NGWS, ME, FH, CEO), pp. 556–571.
PLDIPLDI-2017-PattersonPDA #assembly #named
FunTAL: reasonably mixing a functional language with assembly (DP0, JP, CD, AA), pp. 495–509.
POPLPOPL-2017-KumarBH #array #parallel
Parallel functional arrays (AK, GEB, RH0), pp. 706–718.
CASECASE-2017-ScholzHF #modelling #workflow
Functional modelling in production engineering workflows (AS, CH, AF), pp. 695–700.
CASECASE-2017-SunLZJ #framework #learning #using
Exploring functional variant using a deep learning framework (TS, ZL, XMZ, RJ), pp. 98–99.
CASECASE-2017-TuncaliYPF #automation #generative #optimisation #testing
Functional gradient descent optimization for automatic test case generation for vehicle controllers (CET, SY, TPP, GEF), pp. 1059–1064.
CCCC-2017-TownsendKE #data flow #pipes and filters #source code
From functional programs to pipelined dataflow circuits (RT, MAK, SAE), pp. 76–86.
CGOCGO-2017-SteuwerRD #code generation #gpu #information retrieval #named
Lift: a functional data-parallel IR for high-performance GPU code generation (MS, TR, CD), pp. 74–85.
ESOPESOP-2017-LeinbergerLS #programming #semantics
The Essence of Functional Programming on Semantic Data (ML, RL, SS), pp. 750–776.
ESOPESOP-2017-Sato0 #composition #higher-order #source code #verification
Modular Verification of Higher-Order Functional Programs (RS, NK0), pp. 831–854.
CSLCSL-2017-GerardM
Separating Functional Computation from Relations (UG, DM0), p. 17.
CSLCSL-2017-Pavaux #induction
Inductive and Functional Types in Ludics (AP), p. 20.
ICSTICST-2017-ArcuriFJ #api #automation #generative #testing
Private API Access and Functional Mocking in Automated Unit Test Generation (AA, GF, RJ), pp. 126–137.
SANERSANER-2016-LimaSLCMF #behaviour #energy #haskell
Haskell in Green Land: Analyzing the Energy Behavior of a Purely Functional Language (LGL, FSN, PL, FC, GM, JPF), pp. 517–528.
SANERSANER-2016-WeckT #source code #visualisation
Visualizing Data-Flows in Functional Programs (TW, MT), pp. 293–303.
FSCDFSCD-2016-BenkeSC #first-order #logic #source code #synthesis
Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic (MB, AS, DWC), p. 16.
FSCDFSCD-2016-Huet #deduction #education #formal method #programming #type system
Teaching Foundations of Computation and Deduction Through Literate Functional Programming and Type Theory Formalization (GPH), p. 2.
FSCDFSCD-2016-Nipkow #analysis #data type
Verified Analysis of Functional Data Structures (TN), p. 2.
SEFMSEFM-2016-AndreescuJL #correlation #specification
Correlating Structured Inputs and Outputs in Functional Specifications (OFA, TPJ, SL), pp. 85–103.
HaskellHaskell-2016-BraquehaisR #named #testing
FitSpec: refining property sets for functional testing (RB, CR), pp. 1–12.
HaskellHaskell-2016-Gibbons #delivery
Free delivery (functional pearl) (JG), pp. 45–50.
HaskellHaskell-2016-PerezBN #programming
Functional reactive programming, refactored (IP0, MB, HN), pp. 33–44.
ICFP-2016-ArntzeniusK #datalog #named
Datafun: a functional Datalog (MA, NRK), pp. 214–227.
ICFP-2016-ChristiansenDD #permutation
All sorts of permutations (functional pearl) (JC, ND, SD), pp. 168–179.
ICFP-2016-DimoulasNFF #contract
Oh Lord, please don't let contracts be misunderstood (functional pearl) (CD, MSN, RBF, MF), pp. 117–131.
ICFP-2016-EmotoMHMI #domain-specific language #exclamation #graph
Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing (KE, KM, ZH, AM, HI), pp. 200–213.
ICFP-2016-IsmailS #probability
Deriving a probability density calculator (functional pearl) (WMI, CcS), pp. 47–59.
ICFP-2016-Licata #type system
A functional programmer's guide to homotopy type theory (DL), p. 3.
ICFP-2016-Morris #linear #programming
The best of both worlds: linear functional programming without compromise (JGM), pp. 448–461.
ICFP-2016-MuCL #clustering
Queueing and glueing for optimal partitioning (functional pearl) (SCM, YHC, YHL), pp. 158–167.
ICFP-2016-PirogW #diagrams #for free #monad #string
String diagrams for free monads (functional pearl) (MP, NW), pp. 490–501.
ICFP-2016-UenoO #concurrent #garbage collection #manycore #source code
A fully concurrent garbage collector for functional programs on multicore processors (KU, AO), pp. 421–433.
ICFP-2016-WatanabeST0 #automation #higher-order #source code #termination
Automatically disproving fair termination of higher-order functional programs (KW, RS, TT, NK0), pp. 243–255.
CIKMCIKM-2016-BleifussBFRW0PN #approximate #dataset #dependence #scalability
Approximate Discovery of Functional Dependencies for Large Datasets (TB, SB, JF, JR, GW, SK0, TP, FN), pp. 1803–1812.
ICPRICPR-2016-FoareLT16a #calculus #image #segmentation #using
Image restoration and segmentation using the Ambrosio-Tortorelli functional and Discrete Calculus (MF, JOL, HT), pp. 1418–1423.
OnwardOnward-2016-MillerHMB #distributed #programming
Function passing: a model for typed, distributed functional programming (HM, PH, NM, JB), pp. 82–97.
LOPSTRLOPSTR-2016-AntoyJ #compilation
A New Functional-Logic Compiler for Curry: Sprite (SA, AJ), pp. 97–113.
PLDIPLDI-2016-FaddegonC #lazy evaluation #lightweight
Lightweight computation tree tracing for lazy functional languages (MF, OC), pp. 114–128.
POPLPOPL-2016-MuraseT0SU #higher-order #source code #verification
Temporal verification of higher-order functional programs (AM, TT, NK0, RS, HU0), pp. 57–68.
SASSAS-2016-JournaultM #abstract interpretation #correctness #matrix #source code #static analysis
Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs (MJ, AM), pp. 257–277.
FSEFSE-2016-ZalmanoviciRT #analysis #clustering #testing
Cluster-based test suite functional analysis (MZ, OR, RTB), pp. 962–967.
ESOPESOP-2016-OwensMKT #semantics
Functional Big-Step Semantics (SO, MOM, RK, YKT), pp. 589–615.
ESOPESOP-2016-WangN #approach #higher-order #source code #syntax
A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (YW, GN), pp. 752–779.
CAVCAV-2016-FriedTV #synthesis
BDD-Based Boolean Functional Synthesis (DF, LMT, MYV), pp. 402–421.
ICSTICST-2016-ChengWXH0 #empirical #evaluation #source code #test coverage
Empirical Evaluation of Test Coverage for Functional Programs (YC, MW0, YX, DH, LZ0), pp. 255–265.
VLDBVLDB-2015-PapenbrockEMNRZ #algorithm #dependence #evaluation
Functional Dependency Discovery: An Experimental Evaluation of Seven Algorithms (TP, JE, JM, TN, JPR, MS, JZ, FN), pp. 1082–1093.
ICPCICPC-2015-KhadkeRS #testing #workflow
Recovering workflows from functional tests (CK, SR, VS), pp. 287–288.
SEFMSEFM-2015-BlomHZ #behaviour #concurrent #source code #verification
History-Based Verification of Functional Behaviour of Concurrent Programs (SB, MH, MZS), pp. 84–98.
CEFPCEFP-2015-Cukic #c++ #programming
Functional Reactive Programming in C++ (IC), pp. 42–74.
CEFPCEFP-2015-GraniczD #f# #programming #web
Functional, Reactive Web Programming in F# (AG, LD), pp. 137–160.
CEFPCEFP-2015-Grimm #c++ #programming
Programming in a Functional Style in C++ (RG), pp. 111–136.
CEFPCEFP-2015-Korecko #design #modelling #petri net
Functional Languages in Design of Coloured Petri Nets Models (SK), pp. 161–206.
CEFPCEFP-2015-Porkolab #c++ #programming
Immutables in C++: Language Foundation for Functional Programming (ZP), pp. 75–110.
HaskellHaskell-2015-Foner #monad
Functional pearl: getting a quick fix on comonads (KF), pp. 106–117.
ICFPICFP-2015-AvanziniLM #complexity #first-order #higher-order #source code
Analysing the complexity of functional programs: higher-order meets first-order (MA, UDL, GM), pp. 152–164.
ICFPICFP-2015-BaumanBHKPST #jit #named
Pycket: a tracing JIT for a functional language (SB, CFB, RH, VK, TP, JGS, STH), pp. 22–34.
ICFPICFP-2015-Chlipala #compilation #optimisation
An optimizing compiler for a purely functional web-application language (AC), pp. 10–21.
ICFPICFP-2015-DannerLR #induction #semantics
Denotational cost semantics for functional languages with inductive types (ND, DRL, R), pp. 140–151.
ICFPICFP-2015-JaskelioffR #data type
Functional pearl: a smart view on datatypes (MJ, ER), pp. 355–361.
ICFPICFP-2015-RompfA #c #compilation #sql
Functional pearl: a SQL to C compiler in 500 lines of code (TR, NA), pp. 2–9.
ICFPICFP-2015-Russo #haskell
Functional pearl: two can keep a secret, if one of them uses Haskell (AR), pp. 280–288.
ICFPICFP-2015-Sheeran #design #hardware #programming #years after
Functional programming and hardware design: still interesting after all these years (MS), p. 165.
ICFPICFP-2015-SteuwerFLD #generative #performance #using
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code (MS, CF, SL, CD), pp. 205–217.
CHI-PLAYCHI-PLAY-2015-ColeCG #challenge #game studies
Emotional and Functional Challenge in Core and Avant-garde Games (TC, PAC, MG), pp. 121–126.
CHICHI-2015-SmeddinckHM #aspect-oriented #game studies
Exergames for Physiotherapy and Rehabilitation: A Medium-term Situated Study of Motivational Aspects and Impact on Functional Reach (JDS, MH, RM), pp. 4143–4146.
CHICHI-2015-VissersG #case study #experience #named #physics #prototype #user interface
TUIkit: Evaluating Physical and Functional Experiences of Tangible User Interface Prototypes (JV, DG), pp. 1267–1276.
CSCWCSCW-2015-ArazyONYB #wiki
Functional Roles and Career Paths in Wikipedia (OA, FO, ON, MLY, AB), pp. 1092–1105.
ICEISICEIS-v2-2015-MunizNM #modelling #named #statistics #testing
TCG — A Model-based Testing Tool for Functional and Statistical Testing (LLM, USCN, PHMM), pp. 404–411.
ICMLICML-2015-BahadoriKFL #clustering
Functional Subspace Clustering with Application to Time Series (MTB, DCK, YF, YL), pp. 228–237.
ICMTICMT-2015-JouaultBBCS #model transformation #ocl #towards
Towards Functional Model Transformations with OCL (FJ, OB, MB, MC, GS), pp. 111–120.
PLATEAUPLATEAU-2015-FigueroaR #composition #programming #question
Is functional programming better for modularity? (IF, RR), pp. 49–52.
LOPSTRLOPSTR-2015-PalaciosV #execution #programming
Concolic Execution in Functional Programming by Program Instrumentation (AP, GV), pp. 277–292.
PEPMPEPM-2015-AsadaS0 #first-order #refinement #relational #source code #verification
Verifying Relational Properties of Functional Programs by First-Order Refinement (KA, RS, NK), pp. 61–72.
PEPMPEPM-2015-KootH #analysis #exception #higher-order #semantics #strict #type system
Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics (RK, JH), pp. 127–138.
PEPMPEPM-2015-VerstoepH #analysis #higher-order #strict
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement (HV, JH), pp. 139–142.
PPDPPPDP-2015-GiantsiosPS #testing
Concolic testing for functional languages (AG, NSP, KFS), pp. 137–148.
PPDPPPDP-2015-Schmidt-Schauss #call-by #semantics
Improvements in a functional core language with call-by-need operational semantics (MSS, DS), pp. 220–231.
REFSQREFSQ-2015-CanchiD #interactive #modelling #requirements
Functional Requirements Modelling for Interactive TV Applications (SC, JED), pp. 254–261.
ICSEICSE-v2-2015-DoligezFHM #development #programming #security #validation #xml
Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator (DD, CF, TH, MM), pp. 209–218.
SACSAC-2015-DAvanzoFGS #estimation #metric #mobile
COSMIC functional measurement of mobile applications and code size estimation (LD, FF, CG, PS), pp. 1631–1636.
SACSAC-2015-JesusVB #testing #web
Leveraging task-based data to support functional testing of web applications (FRdJ, LGdV, LABJ), pp. 783–790.
SACSAC-2015-JoshiSIY #architecture #behaviour #design #embedded #modelling
Mapping functional behavior onto architectural model in a model driven embedded system design (PJ, SKS, JPT, HY), pp. 1624–1630.
SACSAC-2015-TakanoI #correctness #lazy evaluation #semantics
Thunk recycling for lazy functional languages: operational semantics and correctness (YT, HI), pp. 2079–2086.
CASECASE-2015-JeongMS #composition #design #requirements
Product modularity to jointly address functional and ecological requirements in the early design stage (MGJ, JRM, HWS), pp. 33–38.
DACDAC-2015-ChangHLW #analysis #encoding #named
TA-FTA: transition-aware functional timing analysis with a four-valued encoding (JCCC, RHMH, LYZL, CHPW), p. 6.
DACDAC-2015-Foster #industrial #roadmap #verification
Trends in functional verification: a 2014 industry study (HDF), p. 6.
DACDAC-2015-NishimiyaSS #evaluation #interface #mockup #modelling #network
Evaluation of functional mock-up interface for vehicle power network modeling (KN, TS, SS), p. 6.
DACDAC-2015-ShererRO #safety
Ensuring functional safety compliance for ISO 26262 (ADS, JR, RO), p. 3.
DATEDATE-2015-BerryhillV #automation
Automated rectification methodologies to functional state-space unreachability (RB, AGV), pp. 1401–1406.
DATEDATE-2015-KonstantinouKM #encryption #privacy #verification
Privacy-preserving functional IP verification utilizing fully homomorphic encryption (CK, AK, MM), pp. 333–338.
DATEDATE-2015-LeeJG #hardware #performance #simulation
Dynamic power and performance back-annotation for fast and accurate functional hardware simulation (DL, LKJ, AG), pp. 1126–1131.
DATEDATE-2015-TouatiBDGVBR #power management #source code #testing
Exploring the impact of functional test programs re-used for power-aware testing (AT, AB, LD, PG, AV, PB, MSR), pp. 1277–1280.
ESOPESOP-2015-VasconcelosJFH #analysis #lazy evaluation #recursion #type system
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages (PBV, SJ, MF, KH), pp. 787–811.
TACASTACAS-2015-TschannenFNP #named #object-oriented #source code #verification
AutoProof: Auto-Active Functional Verification of Object-Oriented Programs (JT, CAF, MN, NP), pp. 566–580.
CAVCAV-2015-KuwaharaSU0 #abstraction #higher-order #source code #termination
Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs (TK, RS, HU, NK), pp. 287–303.
TAPTAP-2015-MijatovMLK #diagrams #process #requirements #testing #uml
Testing Functional Requirements in UML Activity Diagrams (SM, TM, PL, GK), pp. 173–190.
WICSAWICSA-2014-SeeleSB #architecture #modelling #web
The Functional Architecture Modeling Method Applied on Web Browsers (WS, SS, SB), pp. 171–174.
TFPIETFPIE-2014-MorazanA #automaton #formal method #student
Functional Automata — Formal Languages for Computer Science Students (MTM, RA), pp. 19–32.
TFPIETFPIE-2014-Winter #authentication #named #programming language
Bricklayer: An Authentic Introduction to the Functional Programming Language SML (VLW), pp. 33–49.
ICSMEICSME-2014-ChristopheSRM #automation #maintenance #testing #web
Prevalence and Maintenance of Automated Functional Tests for Web Applications (LC, RS, CDR, WDM), pp. 141–150.
SEFMSEFM-2014-DuboisR #using
Verified Functional Iterators Using the FoCaLiZe Environment (CD, RR), pp. 317–331.
ICFPICFP-2014-ChenAT #programming #scalability #self
Functional programming for dynamic and large data with self-adjusting computation (YC, UAA, KT), pp. 227–240.
ICFPICFP-2014-Pottier
Hindley-milner elaboration in applicative style: functional pearl (FP), pp. 203–212.
IFLIFL-2014-KoopmanPJ #data type #encoding #harmful #implementation
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl (PWMK, RP, JMJ), p. 4.
IFLIFL-2014-LeF #parallel
Combining Shared State with Speculative Parallelism in a Functional Language (ML, MF), p. 2.
CHICHI-2014-Bergstrom-LehtovirtaO #mobile #modelling
Modeling the functional area of the thumb on mobile touchscreen surfaces (JBL, AO), pp. 1991–2000.
CHICHI-2014-MuellerMGFB #3d #named #performance
faBrickation: fast 3D printing of functional objects by integrating construction kit building blocks (SM, TM, KG, JF, PB), pp. 3827–3834.
CHICHI-2014-PaterNMB
Just awful enough: the functional dysfunction of the something awful forums (JAP, YN, EDM, ASB), pp. 2407–2410.
CSCWCSCW-2014-TeoJ #online #performance #quality
Fast, functional, and fitting: expert response dynamics and response quality in an online newcomer help forum (HJT, AJ), pp. 332–341.
HCIDUXU-TMT-2014-FilippiB #analysis #aspect-oriented #human-computer #interactive #nondeterminism
In-Depth Analysis of Non-deterministic Aspects of Human-Machine Interaction and Update of Dedicated Functional Mock-Ups (SF, DB), pp. 185–196.
HCIHIMI-AS-2014-LinLLL #case study #design #interface #navigation
A Study on the Interface Design of a Functional Menu and Icons for In-Vehicle Navigation Systems (MCL, YHL, CCL, JYL), pp. 261–272.
CIKMCIKM-2014-AbedjanSN #dependence #named #performance
DFD: Efficient Functional Dependency Discovery (ZA, PS, FN), pp. 949–958.
OnwardOnward-2014-ReyndersDP #multi #programming #web
Multi-Tier Functional Reactive Programming for the Web (BR, DD, FP), pp. 55–68.
PEPMPEPM-J-2013-Garcia-PerezN14 #automaton #hybrid #on the
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines (ÁGP, PN), pp. 176–199.
LOPSTRLOPSTR-2014-Danilenko
Functional Kleene Closures (ND), pp. 241–258.
PADLPADL-2014-LakinP #compilation #programming language #using
Compiling DNA Strand Displacement Reactions Using a Functional Programming Language (MRL, AP), pp. 81–86.
PEPMPEPM-2014-HanusS #analysis #composition #logic programming #source code
A modular and generic analysis server system for functional logic programs (MH, FS), pp. 181–188.
POPLPOPL-2014-LagoSA #higher-order #induction #on the #probability #source code
On coinductive equivalences for higher-order probabilistic functional programs (UDL, DS, MA), pp. 297–308.
PPDPPPDP-2014-KranzS #compilation #domain-specific language #integration #legacy #performance
Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems (JK, AS), pp. 187–198.
PPDPPPDP-2014-MehnerSSV #parametricity #proving #theorem
Parametricity and Proving Free Theorems for Functional-Logic Languages (SM, DS, LS, JV), pp. 19–30.
PPDPPPDP-2014-PachecoZH #bidirectional #named #xml
BiFluX: A Bidirectional Functional Update Language for XML (HP, TZ, ZH), pp. 147–158.
PPDPPPDP-2014-SchrijversWDD #heuristic #implementation #logic programming #specification
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation (TS, NW, BD, BD), pp. 259–270.
RERE-2014-MartinsO #analysis #case study #fault #protocol #requirements #safety #using
A case study using a protocol to derive safety functional requirements from Fault Tree Analysis (LEGM, TdO), pp. 412–419.
FSEFSE-2014-HigoK #case study #how #java #source code
How should we measure functional sameness from program source code? an exploratory study on Java methods (YH, SK), pp. 294–305.
ICSEICSE-2014-KimSZXA #component #reuse #reverse engineering
Reuse-oriented reverse engineering of functional components from x86 binaries (DK, WNS, XZ, DX, HA), pp. 1128–1139.
ICSEICSE-2014-SiegmundKAPBLSB #comprehension #source code
Understanding understanding source code with functional magnetic resonance imaging (JS, CK, SA, CP, AB, TL, GS, AB), pp. 378–389.
CASECASE-2014-LiuKCY #modelling #monitoring #parametricity
Model-driven parametric monitoring of high-dimensional nonlinear functional profiles (GL, CK, YC, HY), pp. 722–727.
DACDAC-2014-ChangJC #configuration management #using
Functional ECO Using Metal-Configurable Gate-Array Spare Cells (HYC, IHRJ, YWC), p. 6.
DACDAC-2014-ChenWLZAMWH #multi #prototype #standard #verification
A SystemC Virtual Prototyping based Methodology for Multi-Standard SoC Functional Verification (ZC, YW, LL, YZ, AA, JHM, RW, SH), p. 6.
DACDAC-2014-MunawarS #modelling #scalability
Scalable Co-Simulation of Functional Models With Accurate Event Exchange (AM, SS), p. 6.
DACDAC-2014-Rodriguez-NavasSHNLL #approach #automation #safety #specification #verification
Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach (GRN, CCS, HH, MN, OL, HL), p. 4.
DACDAC-2014-StoermerT #interface #mockup #standard #using
Powertrain Co-Simulation using AUTOSAR and the Functional Mockup Interface standard (CS, GT), p. 1.
DACDAC-2014-SullivanBZZJ #hardware #identification #named
FIGHT-Metric: Functional Identification of Gate-Level Hardware Trustworthiness (DS, JB, GZ, SZ, YJ), p. 4.
DACDAC-2014-WaksmanRSS #analysis #assessment #identification
A Red Team/Blue Team Assessment of Functional Analysis Methods for Malicious Circuit Identification (AW, JR, MS, SS), p. 4.
DACDAC-2014-WangSYHC
Practical Functional and Washing Droplet Routing for Cross-Contamination Avoidance in Digital Microfluidic Biochips (QW, YS, HY, TYH, YC), p. 6.
DATEDATE-2014-AshammagariMH #configuration management #design #performance #power management
Exploiting STT-NV technology for reconfigurable, high performance, low power, and low temperature functional unit design (ARA, HM, HH), pp. 1–6.
DATEDATE-2014-RiefertCSBRB #approach #automation #effectiveness #fault #generative #testing
An effective approach to automatic functional processor test generation for small-delay faults (AR, LMC, MS, PB, MSR, BB), pp. 1–6.
DATEDATE-2014-WangLLW0 #design #generative #testing
Functional test generation guided by steady-state probabilities of abstract design (JW, HL, TL, TW, XL), pp. 1–4.
ESOPESOP-2014-KuwaharaTU0 #automation #higher-order #source code #termination #verification
Automatic Termination Verification for Higher-Order Functional Programs (TK, TT, HU, NK), pp. 392–411.
WRLAWRLA-2014-Genet #automaton #source code #static analysis #towards #using
Towards Static Analysis of Functional Programs Using Tree Automata Completion (TG), pp. 147–161.
CAVCAV-2014-MadhavanK #bound #source code
Symbolic Resource Bound Inference for Functional Programs (RM, VK), pp. 762–778.
LICSLICS-CSL-2014-Jeffrey
Functional reactive types (AJ), p. 9.
LICSLICS-CSL-2014-Pedrot
A functional functional interpretation (PMP), p. 10.
DocEngDocEng-2013-Lumley #documentation
Functional, extensible, svg-based variable documents (JWL), pp. 131–140.
TFPIETFPIE-2013-Caldwell #induction
Structural Induction Principles for Functional Programmers (JC), pp. 16–26.
CIAACIAA-J-2012-Mohri13 #ambiguity #automaton #finite #on the #transducer
On the Disambiguation of Finite Automata and Functional Transducers (MM), pp. 847–862.
CEFPCEFP-2013-Gibbons #domain-specific language #programming
Functional Programming for Domain-Specific Languages (JG), pp. 1–28.
CEFPCEFP-2013-Granicz #development #f# #mobile #web
Functional Web and Mobile Development in F# (AG), pp. 381–406.
HaskellHaskell-2013-Ploeg #monad #programming
Monadic functional reactive programming (AvdP), pp. 117–128.
ICFPICFP-2013-AxelssonC #higher-order #source code #syntax #using
Using circular programs for higher-order syntax: functional pearl (EA, KC), pp. 257–262.
ICFPICFP-2013-Dolan #algebra #linear #using
Fun with semirings: a functional pearl on the abuse of linear algebra (SD), pp. 101–110.
ICFPICFP-2013-Jeffrey #liveness #programming
Functional reactive programming with liveness guarantees (AJ), pp. 233–244.
ICFPICFP-2013-Krishnaswami #higher-order #programming
Higher-order functional reactive programming without spacetime leaks (NRK), pp. 221–232.
ICFPICFP-2013-Mairson #geometry
Functional geometry and the Traité de Lutherie: functional pearl (HGM), pp. 123–132.
ICFPICFP-2013-McDonellCKL #gpu #optimisation #source code
Optimising purely functional GPU programs (TLM, MMTC, GK, BL), pp. 49–60.
ICFPICFP-2013-PetersenGDAD #case study #experience #programming
Experience report: functional programming of mHealth applications (CP, MG, DTD, JMA, GAD), pp. 357–362.
IFLIFL-2013-GrelckW #adaptation #array #generative #performance
Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC: Accelerating the Availability of Specialized High Performance Code (CG, HW), p. 117.
CSCWCSCW-2013-HuangYBC #game studies #online #social
Functional or social?: exploring teams in online games (YH, WY, NB, NSC), pp. 399–408.
HCIDUXU-WM-2013-Huang #design #interactive
Proactive Home Furnishings: Inspiring from Interactive Art for Designing Functional Aesthetics in a Space (SCCH), pp. 367–375.
HCIDUXU-WM-2013-MinJ #named #using
TRIGGER: Maximizing Functional Effect of Using Products (KBM, ECJ), pp. 385–391.
HCIHCI-IMT-2013-CarrinoCKIM #gesture #interactive
Functional Gestures for Human-Environment Interaction (SC, MC, OAK, RI, EM), pp. 167–176.
CIKMCIKM-2013-QinZ #process
Functional dirichlet process (LQ, XZ), pp. 1331–1340.
ICMLICML-c1-2013-ChenLYY #matrix #using
General Functional Matrix Factorization Using Gradient Boosting (TC, HL, QY, YY), pp. 436–444.
SPLCSPLC-2013-SchulzeMB #question #safety #variability
Functional safety and variability: can it be brought together? (MS, JM, DB), pp. 236–243.
AdaEuropeAdaEurope-2013-BicchieraiBNV #development #integration #ontology #process #safety #using
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems (IB, GB, CN, EV), pp. 95–108.
LOPSTRLOPSTR-2013-AntoyJ #compilation #logic
Compiling a Functional Logic Language: The Fair Scheme (SA, AJ), pp. 202–219.
PADLPADL-2013-AngelopoulosCAWCW #logic programming #statistics
Integrative Functional Statistics in Logic Programming (NA, VSC, JA, JW, RC, LW), pp. 190–205.
PADLPADL-2013-BrasselHPR #constraints #equation #implementation
Implementing Equational Constraints in a Functional Language (BB, MH, BP, FR), pp. 125–140.
PADLPADL-2013-FourtounisPR #implementation #lazy evaluation
The Generalized Intensional Transformation for Implementing Lazy Functional Languages (GF, NP, PR), pp. 157–172.
PEPMPEPM-2013-Garcia-PerezN #reduction #semantics
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers (ÁGP, PN), pp. 107–116.
PEPMPEPM-2013-Lopez-FraguasM #evaluation #type system
Typing as functional-logic evaluation (FJLF, EMM), pp. 23–32.
PLDIPLDI-2013-CzaplickiC #programming #user interface
Asynchronous functional reactive programming for GUIs (EC, SC), pp. 411–422.
POPLPOPL-2013-BlellochH #algorithm
Cache and I/O efficent functional algorithms (GEB, RH), pp. 39–50.
POPLPOPL-2013-UnnoTK #automation #higher-order #source code #verification
Automating relatively complete verification of higher-order functional programs (HU, TT, NK), pp. 75–86.
PPDPPPDP-2013-ChristiansenHRS #encapsulation #logic programming #semantics #source code
A semantics for weakly encapsulated search in functional logic programs (JC, MH, FR, DS), pp. 49–60.
PPDPPPDP-2013-Holdermans #data type #guidelines #random testing #testing
Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance (SH), pp. 275–284.
PPDPPPDP-2013-MandelPP #refinement
Time refinement in a functional synchronous language (LM, CP, MP), pp. 169–180.
PPDPPPDP-2013-MontenegroPS #analysis #regular expression #using
Shape analysis in a functional language by using regular languages (MM, RP, CS), pp. 251–262.
PPDPPPDP-2013-ODonnell #array #parallel
Extensible sparse functional arrays with circuit parallelism (JTO), pp. 133–144.
ESEC-FSEESEC-FSE-2013-GyoriFDL #imperative #programming #refactoring
Crossing the gap from imperative to functional programming through refactoring (AG, LF, DD, JL), pp. 543–553.
ICSEICSE-2013-FranklinGLD #automation #imperative #named #programming #refactoring
LAMBDAFICATOR: from imperative to functional programming through automated refactoring (LF, AG, JL, DD), pp. 1287–1290.
SACSAC-2013-PalomaresQFRG #content management #requirements
A catalogue of functional software requirement patterns for the domain of content management systems (CP, CQ, XF, SR, CG), pp. 1260–1265.
DATEDATE-2013-RakossyHTSNO #architecture #array #fault #testing
Hot-swapping architecture with back-biased testing for mitigation of permanent faults in functional unit array (ZER, MH, HT, TS, YN, HO), pp. 535–540.
DATEDATE-2013-SubramanyanTPRSM #analysis #reverse engineering #using
Reverse engineering digital circuits using functional analysis (PS, NT, KP, DR, AS, SM), pp. 1277–1280.
PDPPDP-2013-DrumlMSWGBH #behaviour #design #performance #verification
Emulation-Based Test and Verification of a Design’s Functional, Performance, Power, and Supply Voltage Behavior (ND, MM, CS, RW, AG, HB, JH), pp. 328–335.
STOCSTOC-2013-GoldwasserKPVZ #encryption #reuse
Reusable garbled circuits and succinct functional encryption (SG, YTK, RAP, VV, NZ), pp. 555–564.
TACASTACAS-2013-BhatBGR #probability #source code
Deriving Probability Density Functions from Probabilistic Functional Programs (SB, JB, ADG, CVR), pp. 508–522.
ICLPICLP-J-2013-CatB #dependence #detection #generative
Detection and exploitation of functional dependencies for model generation (BdC, MB), pp. 471–485.
ICSTICST-2013-GraslandBGP #approach #hybrid #safety #testing
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information (YG, LdB, RG, IP), pp. 104–113.
PODSPODS-2012-Kimelfeld #complexity #dependence
A dichotomy in the complexity of deletion propagation with functional dependencies (BK), pp. 191–202.
VLDBVLDB-2012-ZhangZXYW #analysis #difference #privacy
Functional Mechanism: Regression Analysis under Differential Privacy (JZ, ZZ, XX, YY, MW), pp. 1364–1375.
ITiCSEITiCSE-2012-GerdesJH #interactive #programming
An interactive functional programming tutor (AG, JJ, BH), pp. 250–255.
TFPIETFPIE-2012-ODonnell #education #hardware #using
Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (JTO), pp. 20–39.
CSMRCSMR-2012-YoshidaKI #approach #maintenance #metric #source code
A Cohesion Metric Approach to Dividing Source Code into Functional Segments to Improve Maintainability (NY, MK, HI), pp. 365–370.
WCREWCRE-2012-IshiharaHHIK #clone detection #detection #empirical #library #towards
Inter-Project Functional Clone Detection Toward Building Libraries — An Empirical Study on 13, 000 Projects (TI, KH, YH, HI, SK), pp. 387–391.
CIAACIAA-2012-Mohri #algorithm #ambiguity #automaton #finite #transducer
A Disambiguation Algorithm for Finite Automata and Functional Transducers (MM), pp. 265–277.
FLOPSFLOPS-2012-AntoyP #compilation #logic
Compiling a Functional Logic Language: The Basic Scheme (SA, AP), pp. 17–31.
FLOPSFLOPS-2012-Terauchi #automation #higher-order #source code #verification
Automated Verification of Higher-Order Functional Programs (TT), p. 2.
HaskellHaskell-2012-Claessen
Shrinking and showing functions: (functional pearl) (KC), pp. 73–80.
HaskellHaskell-2012-DuregardJW #algebra #named
Feat: functional enumeration of algebraic types (JD, PJ, MW0), pp. 61–72.
HaskellHaskell-2012-Yorgey #monad #named
Monoids: theme and variations (functional pearl) (BAY), pp. 105–116.
ICFPICFP-2012-OliveiraC #graph #programming
Functional programming with structured graphs (BCdSO, WRC), pp. 77–88.
ICFPICFP-2012-PereraACL #source code
Functional programs that explain their work (RP, UAA, JC, PBL), pp. 365–376.
ICFPICFP-2012-SimoesVFJH #analysis #automation #lazy evaluation #memory management #source code
Automatic amortised analysis of dynamic memory allocation for lazy functional programs (HRS, PBV, MF, SJ, KH), pp. 165–176.
CIKMCIKM-2012-KimC #approximate #composition #dependence #performance
Decomposition-by-normalization (DBN): leveraging approximate functional dependencies for efficient tensor decomposition (MK, KSC), pp. 355–364.
ICMLICML-2012-BalakrishnanPL #kernel
Sparse Additive Functional and Kernel CCA (SB, KP, JDL), p. 97.
ICPRICPR-2012-GhoseMOMLFVCSM #probability #segmentation
A Mumford-Shah functional based variational model with contour, shape, and probability prior information for prostate segmentation (SG, JM, AO, RM, XL, JF, JCV, JC, DS, FM), pp. 121–124.
ICPRICPR-2012-ZenRSRS #categorisation #semantics
Enhanced semantic descriptors for functional scene categorization (GZ, NR, JS, ER, NS), pp. 1985–1988.
KEODKEOD-2012-LinharesD #analysis #geometry
Geometric Knowledge Analysis based in Part Functional Descriptions (JCL, AD), pp. 307–313.
PLEASEPLEASE-2012-BaumgartFP #approach #certification #component #performance #safety #towards #using
Towards efficient functional safety certification of construction machinery using a component-based approach (SB, JF, SP), pp. 1–4.
PADLPADL-2012-AntoyH #contract #logic programming #specification
Contracts and Specifications for Functional Logic Programming (SA, MH), pp. 33–47.
PADLPADL-2012-MartinsME #programming
The Environment as an Argument — Context-Aware Functional Programming (PMM, JAM, SE), pp. 48–62.
PADLPADL-2012-Stewart #exclamation #haskell #programming
Make Things Now! Pragmatic Functional Programming in Haskell (DS), p. 17.
PEPMPEPM-2012-GotoS #approach
An approach to completing variable names for implicitly typed functional languages (TG, IS), pp. 131–140.
PEPMPEPM-2012-Katayama #induction #programming #source code
An analytical inductive functional programming system that avoids unintended programs (SK), pp. 43–52.
PEPMPEPM-2012-KobayashiMS #source code
Functional programs as compressed data (NK, KM, AS), pp. 121–130.
PEPMPEPM-2012-Lopez-FraguasMR #logic programming
Well-typed narrowing with extra variables in functional-logic programming (FJLF, EMM, JRH), pp. 83–92.
POPLPOPL-2012-KrishnaswamiBH #bound #higher-order #programming
Higher-order functional reactive programming in bounded space (NRK, NB, JH), pp. 45–58.
PPDPPPDP-2012-PlasmeijerLMAK #programming
Task-oriented programming in a pure functional language (RP, BL, SM, PA, PWMK), pp. 195–206.
PPDPPPDP-2012-Thielecke #continuation #parsing #recursion #semantics
Functional semantics of parsing actions, and left recursion elimination as continuation passing (HT), pp. 91–102.
SASSAS-2012-Ledesma-GarzaR #analysis #higher-order #reachability #source code
Binary Reachability Analysis of Higher Order Functional Programs (RLG, AR), pp. 388–404.
RERE-2012-Ghazarian #requirements #taxonomy
Characterization of functional software requirements space: The law of requirements taxonomic growth (AG), pp. 241–250.
FSEFSE-2012-SiegmundBAKLLS #comprehension #towards
Toward measuring program comprehension with functional magnetic resonance imaging (JS, AB, SA, CK, JL, TL, GS), p. 24.
ICSEICSE-2012-PankratiusSG #empirical #imperative #java #manycore #programming #scala
Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and Java (VP, FS, GG), pp. 123–133.
SACSAC-2012-NagarAB #graph #similarity #using
Computing gene functional similarity using combined graphs (AN, HAM, SB), pp. 1381–1386.
SACSAC-2012-OtaMSA #dependence #flexibility #named
C-Mapping: a flexible XML-RDB mapping method based on functional and inclusion dependencies (SO, AM, NS, TA), pp. 834–839.
SACSAC-2012-ScandurraAYD #case study #modelling #requirements #state machine #validation
Functional requirements validation by transforming use case models into Abstract State Machines (PS, AA, TY, MD), pp. 1063–1068.
CASECASE-2012-IdenP #algorithm #aspect-oriented #detection #safety
Functional safety aspects of pattern detection algorithms (JI, CIP), pp. 747–752.
CASECASE-2012-LinKH #analysis #modelling
Fitting a functional structural plant model based on global sensitivity analysis (YL, MK, JH), pp. 790–795.
DACDAC-2012-ChungJ #analysis #performance
Functional timing analysis made fast and general (YTC, JHRJ), pp. 1055–1060.
DATEDATE-2012-BombieriFG #fault #framework #named #simulation #verification
FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs (NB, FF, VG), pp. 562–565.
DATEDATE-2012-LinWCCCHYS #analysis #mutation testing #probability
A probabilistic analysis method for functional qualification under Mutation Analysis (HYL, CYW, SCC, YCC, HMC, CYH, YCY, CCS), pp. 147–152.
DATEDATE-2012-PoulosYAVL #debugging
Leveraging reconfigurability to raise productivity in FPGA functional debug (ZP, YSY, JA, AGV, BL), pp. 292–295.
DATEDATE-2012-Sun #automation #embedded #generative #modelling
Automatic generation of functional models for embedded processor extensions (FS), pp. 304–307.
PDPPDP-2012-Kunkel0 #architecture #file system #hardware #modelling #named #parallel #representation
IOPm — Modeling the I/O Path with a Functional Representation of Parallel File System and Hardware Architecture (JMK, TL), pp. 554–561.
FoSSaCSFoSSaCS-2012-BoveDS #automation #first-order #interactive #reasoning #source code
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs (AB, PD, ASR), pp. 104–118.
STOCSTOC-2012-WoodruffZ #bound #distributed #monitoring
Tight bounds for distributed functional monitoring (DPW, QZ), pp. 941–960.
ICLPICLP-2012-BacciCFV #automation #logic #specification #synthesis
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (GB, MC, MAF, AV), pp. 144–153.
ICLPICLP-2012-VirsedaMT #concurrent #constraints #logic programming #semantics
A Concurrent Operational Semantics for Constraint Functional Logic Programming (RdVV, FPM, MMGT), pp. 154–163.
DLTDLT-2011-Wilke #regular expression
A Functional Program for Regular Expressions Matching — Abstract of Invited Talk (TW), pp. 44–45.
RTARTA-2011-KochemsO #analysis #linear #reachability #using
Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars (JK, CHLO), pp. 187–202.
RTARTA-2011-KopR #algebra #dependence #higher-order
Higher Order Dependency Pairs for Algebraic Functional Systems (CK, FvR), pp. 203–218.
CEFPCEFP-2011-Butterfield #reasoning #source code
Reasoning about I/O in Functional Programs (AB), pp. 93–141.
CEFPCEFP-2011-Loogen #haskell #named #parallel #programming
Eden — Parallel Functional Programming with Haskell (RL), pp. 142–206.
CEFPCEFP-2011-SlodicakMN #category theory #programming
Some New Approaches in Functional Programming Based on Categories (VS, PM, VN), pp. 517–532.
HaskellHaskell-2011-LeijenFB #concurrent
Prettier concurrency: purely functional concurrent revisions (DL, MF, SB), pp. 83–94.
HaskellHaskell-2011-WestbrookFB #encoding #haskell #higher-order #library #programming language
Hobbits for Haskell: a library for higher-order encodings in functional programming languages (EMW, NF, PB), pp. 35–46.
ICFPICFP-2011-ChenDHA #self #source code
Implicit self-adjusting computation for purely functional programs (YC, JD, MAH, UAA), pp. 129–141.
ICFPICFP-2011-MagalhaesH #case study #experience #modelling
Functional modelling of musical harmony: an experience report (JPM, BdH), pp. 156–162.
ICFPICFP-2011-MightDS #parsing
Parsing with derivatives: a functional pearl (MM, DD, DS), pp. 189–195.
ICFPICFP-2011-Mitchell #ecosystem #modelling #programming
Functional programming through deep time: modeling the first complex ecosystems on earth (EGM), pp. 28–31.
ICFPICFP-2011-MorihataM #parallel #programming
Balanced trees inhabiting functional parallel programming (AM, KM), pp. 117–128.
ICFPICFP-2011-MuM #morphism #theorem
Generalising and dualising the third list-homomorphism theorem: functional pearl (SCM, AM), pp. 385–391.
ICFPICFP-2011-ShiversT #composition
Modular rollback through control logging: a pair of twin functional pearls (OS, AJT), pp. 58–68.
ICFPICFP-2011-UenoOO #garbage collection #performance
An efficient non-moving garbage collector for functional languages (KU, AO, TO), pp. 196–208.
IFLIFL-2011-MiddelkoopEP #source code
Functional Instrumentation of ActionScript Programs with Asil (AM, ABE, WP), pp. 1–16.
IFLIFL-2011-Thomsen #logic #optimisation #using
Describing and Optimising Reversible Logic Using a Functional Language (MKT), pp. 148–163.
CHICHI-2011-HirshfieldGHHRWWJ #interface #testing #usability
This is your brain on interfaces: enhancing usability testing with functional near-infrared spectroscopy (LMH, RG, SHH, SWH, MR, RW, TW, RJKJ), pp. 373–382.
CHICHI-2011-LeeD
Reflecting on pills and phone use: supporting awareness of functional abilities for older adults (MLL, AKD), pp. 2095–2104.
HCIHCI-MIIE-2011-HyrkkanenN #how #identification #mobile #physics #question
The Virtual Workplace of a Mobile Employee — How Does Vischer’s Model Function in Identifying Physical, Functional and Psychosocial Fit? (UH, SN), pp. 69–75.
ICMLICML-2011-KadriRPDR #kernel
Functional Regularized Least Squares Classication with Operator-valued Kernels (HK, AR, PP, ED, AR), pp. 993–1000.
KDDKDD-2011-PereiraB #classification #using
Classification of functional magnetic resonance imaging data using informative pattern features (FP, MB), pp. 940–946.
KEODKEOD-2011-SchadeOS #integration #web
Functional Integration for the Observation Web (SS, FOO, LS), pp. 498–504.
SEKESEKE-2011-SantosSN #order #performance #reuse #testing
Reusing Functional Testing in order to Decrease Performance and Stress Testing Costs (IdSS, ARS, PdAdSN), pp. 470–474.
SIGIRSIGIR-2011-ZhouYZ #matrix #recommendation
Functional matrix factorizations for cold-start recommendation (KZ, SHY, HZ), pp. 315–324.
LOPSTRLOPSTR-2011-Almendros-JimenezCGS #declarative #xquery
A Declarative Embedding of XQuery in a Functional-Logic Language (JMAJ, RC, YGR, FSP), pp. 42–56.
PADLPADL-2011-CaballeroGS #xpath
Integrating XPath with the Functional-Logic Language Toy (RC, YGR, FSP), pp. 145–159.
PADLPADL-2011-Kaivola #execution #framework #validation
Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework (RK), p. 1.
PEPMPEPM-2011-Caballero #logic programming #program transformation #source code
A program transformation for returning states in functional-logic programs (RC), pp. 111–120.
PEPMPEPM-2011-Martin-Martin #logic programming
Type classes in functional logic programming (EMM), pp. 121–130.
POPLPOPL-2011-OngR #algebra #data type #higher-order #pattern matching #source code #verification
Verifying higher-order functional programs with pattern-matching algebraic data types (CHLO, SJR), pp. 587–598.
ASEASE-2011-MacleanIG #animation #correctness #pointer #source code
The CORE system: Animation and functional correctness of pointer programs (EM, AI, GG), pp. 588–591.
ICSEICSE-2011-Smith #requirements #security #testing #using
Systematizing security test case planning using functional requirements phrases (BS), pp. 1136–1137.
SACSAC-2011-CoupeyF #adaptation #component #framework
A formal framework for a functional language with adaptable components (PC, CF), pp. 1297–1298.
SACSAC-2011-ShimadaKLCN #composition #design #embedded #kernel
Design issues in composition kernels for highly functional embedded systems (HS, YK, THL, AC, TN), pp. 338–345.
SLESLE-2011-KaminskiW #attribute grammar #programming language
Integrating Attribute Grammar and Functional Programming Language Features (TK, EVW), pp. 263–282.
DACDAC-2011-ChangJC
Simultaneous functional and timing ECO (HYC, IHRJ, YWC), pp. 140–145.
DACDAC-2011-MoffittSV #clustering #robust #verification
Robust partitioning for hardware-accelerated functional verification (MDM, MAS, PGV), pp. 854–859.
DATEDATE-2011-ChenM #composition #generative #testing
Decision ordering based property decomposition for functional test generation (MC, PM), pp. 167–172.
DATEDATE-2011-Pomeranz #generative #testing
Built-in generation of functional broadside tests (IP), pp. 1297–1302.
PDPPDP-2011-TanabeOTJ #memory management #multi
Scaleable Sparse Matrix-Vector Multiplication with Functional Memory and GPUs (NT, YO, MT, KJ), pp. 101–108.
FASEFASE-2011-ErmelGLT #behaviour #consistency #control flow #modelling
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior (CE, JG, LL, GT), pp. 156–170.
FoSSaCSFoSSaCS-2011-Hoshino #linear #programming language
A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy (NH), pp. 320–334.
CAVCAV-2011-JhalaMR #named #source code #using #verification
HMC: Verifying Functional Programs Using Abstract Interpreters (RJ, RM, AR), pp. 470–485.
CSLCSL-2011-ReusS #logic #source code
Relative Completeness for Logics of Functional Programs (BR, TS), pp. 470–480.
ICLPICLP-2011-ZomboriCS #prolog #static typing #type checking
Static Type Checking for the Q Functional Language in Prolog (ZZ, JC, PS), pp. 62–72.
ECSAECSA-2010-AhujaSN #design
MDA Tool for Telecom Service Functional Design (AA, JS, RN), pp. 519–522.
ECSAECSA-2010-BrinkkemperP #architecture #industrial #modelling
Functional Architecture Modeling for the Software Product Industry (SB, SP), pp. 198–213.
DocEngDocEng-2010-Lumley #documentation #invariant #layout
Pre-evaluation of invariant layout in functional variable-data documents (JWL), pp. 251–254.
VLDBVLDB-2010-BeskalesIG #constraints #dependence
Sampling the Repairs of Functional Dependency Violations under Hard Constraints (GB, IFI, LG), pp. 197–207.
VLDBVLDB-2010-MahPC #algorithm #named #realtime #set
UASMAs: a set of algorithms to instantaneously map SNPs in real time to aid functional SNP discovery (JM, DP, SC), pp. 1406–1413.
VLDBVLDB-2010-MarnetteMP #dependence #scalability
Scalable Data Exchange with Functional Dependencies (BM, GM, PP), pp. 105–116.
ICALPICALP-v2-2010-HofmannKS #question #what
What Is a Pure Functional? (MH, AK, HS), pp. 199–210.
LATALATA-2010-PlatekML #automaton #generative
Restarting Automata with Structured Output and Functional Generative Description (MP, FM, ML), pp. 500–511.
FLOPSFLOPS-2010-BartheBK #framework
A Functional Framework for Result Checking (GB, PB, CK), pp. 72–86.
ICFPICFP-2010-Blelloch #algorithm #parallel
Functional parallel algorithms (GEB), pp. 247–248.
ICFPICFP-2010-FischerHW #game studies #regular expression
A play on regular expressions: functional pearl (SF, FH, TW), pp. 357–368.
ICFPICFP-2010-ScottSGM #industrial #programming #using
Using functional programming within an industrial product group: perspectives and perceptions (DJS, RS, TG, AM), pp. 87–92.
ICFPICFP-2010-VytiniotisK
Functional pearl: every bit counts (DV, AJK), pp. 15–26.
IFLIFL-2010-BoeijinkHK #lazy evaluation
Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages (AB, PKFH, JK), pp. 54–71.
ICGTICGT-2010-HermannEOG #analysis #behaviour #formal method #graph grammar #model transformation
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (FH, HE, FO, UG), pp. 155–170.
ICEISICEIS-ISAS-2010-JiagueFGKLMS #modelling #policy #security
Model-driven Engineering of Functional Security Policies (MEJ, MF, FG, PK, RL, JM, RSD), pp. 374–379.
KDDKDD-2010-FeiH #classification #graph
Boosting with structure information in the functional space: an application to graph classification (HF, JH), pp. 643–652.
KRKR-2010-KelveyMNS #dependence #independence
Independence and Functional Dependence Relations on Secrets (RK, SMM, PN, BS).
SEKESEKE-2010-ShewchukG #experience #maintenance #testing #user interface #using
Experience with Maintenance of a Functional GUI Test Suite using IBM Rational Functional Tester (YS, VG), pp. 489–494.
LOPSTRLOPSTR-2010-BacciC #first-order #logic programming #source code
Abstract Diagnosis of First Order Functional Logic Programs (GB, MC), pp. 215–233.
PEPMPEPM-2010-Hofmann #induction #named #programming
IGOR2 — an analytical inductive functional programming system: tool demo (MH0), pp. 29–32.
PLDIPLDI-2010-KuncakMPS #synthesis
Complete functional synthesis (VK, MM, RP, PS), pp. 316–329.
PLDIPLDI-2010-MightSH #object-oriented #program analysis
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis (MM, YS, DVH), pp. 305–315.
POPLPOPL-2010-Chlipala #compilation
A verified compiler for an impure functional language (AC), pp. 93–106.
PPDPPPDP-2010-AsaiK #continuation #virtual machine
Functional derivation of a virtual machine for delimited continuations (KA, AK), pp. 87–98.
RERE-2010-MenzelMGD #comparison #requirements #specification
An Experimental Comparison Regarding the Completeness of Functional Requirements Specifications (IM, MM, AG, JD), pp. 15–24.
SACSAC-2010-KrajcaV #memory management #parallel #transaction
Software transactional memory for implicitly parallel functional language (PK, VV), pp. 2123–2130.
LDTALDTA-2010-JansenPKA #workflow
Embedding a web-based workflow management system in a functional language (JMJ, RP, PWMK, PA), p. 7.
DACDAC-2010-KundertC #modelling #verification
Model-based functional verification (KSK, HC), pp. 421–424.
DACDAC-2010-LimKH #generative #modelling #performance
An efficient test vector generation for checking analog/mixed-signal functional models (BL, JK, MAH), pp. 767–772.
DATEDATE-2010-BarrioMMHM #synthesis #using
Using Speculative Functional Units in high level synthesis (AADB, MCM, JMM, RH, SOM), pp. 1779–1784.
DATEDATE-2010-LiZYZ
Proactive NBTI mitigation for busy functional units in out-of-order microprocessors (LL, YZ, JY, JZ), pp. 411–416.
DATEDATE-2010-PomeranzR10a #on the #testing
On reset based functional broadside tests (IP, SMR), pp. 1438–1443.
HPDCHPDC-2010-HigdonLK #modelling #sequence #similarity
Modeling sequence and function similarity between proteins for protein functional annotation (RH, BL, EK), pp. 499–502.
ESOPESOP-2010-BaillotGM #linear #logic
A PolyTime Functional Language from Light Linear Logic (PB, MG, VM), pp. 104–124.
ESOPESOP-2010-LagoS #programming #sublinear
Functional Programming in Sublinear Space (UDL, US), pp. 205–225.
CAVCAV-2010-KuncakMPS #named #synthesis
Comfusy: A Tool for Complete Functional Synthesis (VK, MM, RP, PS), pp. 430–433.
ICLPICLP-2010-Alqaddoumi10 #logic programming #parallel #towards #virtual machine
Towards a Parallel Virtual Machine for Functional Logic Programming (AA), pp. 222–225.
ICSTICST-2010-SinnigKC #formal method #generative #testing #user interface
A Formal Model for Generating Integrated Functional and User Interface Test Cases (DS, FK, PC), pp. 255–264.
ICTSSICTSS-2010-WalkinshawBDP #case study #induction #testing
Increasing Functional Coverage by Inductive Testing: A Case Study (NW, KB, JD, JP), pp. 126–141.
CBSECBSE-2009-BotaschanjanH #architecture
Integrating Functional and Architectural Views of Reactive Systems (JB, AH), pp. 156–172.
TPDLECDL-2009-SimeoniCLPS #adaptation #approach #library
Functional Adaptivity for Digital Library Services in e-Infrastructures: The gCube Approach (FS, LC, DL, PP, MS), pp. 51–62.
SIGMODSIGMOD-2009-CormodeGKMSZ #dependence
Estimating the confidence of conditional functional dependencies (GC, LG, FK, AM, DS, XZ), pp. 469–482.
VLDBVLDB-2009-KimuraHRMZ #correlation #dependence
Correlation Maps: A Compressed Access Method for Exploiting Soft Functional Dependencies (HK, GH, AR, SM, SBZ), pp. 1222–1233.
ICALPICALP-v1-2009-ArackaparambilBC #monitoring
Functional Monitoring without Monotonicity (CA, JB, AC), pp. 95–106.
CEFPCEFP-2009-FluetBFRRSX #parallel #programming
Programming in Manticore, a Heterogenous Parallel Functional Language (MF, LB, NF, MR, JHR, AS, YX), pp. 94–145.
CEFPCEFP-2009-Porkolab #c++ #metaprogramming
Functional Programming with C++ Template Metaprograms (ZP), pp. 306–353.
HaskellHaskell-2009-Bernardy #incremental #lazy evaluation #parsing
Lazy functional incremental parsing (JPB), pp. 49–60.
HaskellHaskell-2009-Elliott #programming
Push-pull functional reactive programming (CME), pp. 25–36.
ICFPICFP-2009-FelleisenFFK
A functional I/O system or, fun for freshman kids (MF, RBF, MF, SK), pp. 47–58.
ICFPICFP-2009-FischerKS #lazy evaluation #nondeterminism #programming
Purely functional lazy non-deterministic programming (SF, OK, CcS), pp. 11–22.
ICFPICFP-2009-GazagnaireH #database #named #performance #programming #transaction #using
OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons (TG, VH), pp. 203–214.
ICFPICFP-2009-Hinze
Functional Pearl: La Tour D’Hanoï (RH), pp. 3–10.
ICFPICFP-2009-NewtonK #case study #domain-specific language #embedded #experience #parallel
Experience report: embedded, parallel computer-vision with a functional DSL (RN, TK), pp. 59–64.
ICFPICFP-2009-Sampson #case study #experience #haskell #lazy evaluation
Experience report: Haskell in the “real world”: writing a commercial application in a lazy functional language (CJS), pp. 185–190.
ICFPICFP-2009-SculthorpeN #dependent type #programming
Safe functional reactive programming through dependent types (NS, HN), pp. 23–34.
ICFPICFP-2009-Steele #execution #parallel
Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful (GLSJ), pp. 1–2.
ICFPICFP-2009-Voigtlander #theorem
Free theorems involving type constructor classes: functional pearl (JV), pp. 173–184.
DiGRADiGRA-2009-DahlskogKA #classification #game studies #using
Mapping the game landscape: Locating genres using functional classification (SD, AK, EA).
CHICHI-2009-HirshfieldSGKJSF #adaptation #interface #metric #testing #usability
Brain measurement for usability testing and adaptive interfaces: an example of uncovering syntactic workload with functional near infrared spectroscopy (LMH, ETS, AG, JK, RJKJ, AS, SF), pp. 2185–2194.
CHICHI-2009-LeonardiMNPZGC
Knocking on elders’ door: investigating the functional and emotional geography of their domestic space (CL, CM, EN, FP, MZ, FG, AC), pp. 1703–1712.
RecSysRecSys-2009-HadzicO #dependence
Uncovering functional dependencies in MDD-compiled product catalogues (TH, BO), pp. 377–380.
TOOLSTOOLS-EUROPE-2009-CaronCMV #adaptation #component #framework
A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers (OC, BC, AM, GV), pp. 215–230.
PPDPPPDP-2009-AntoyH #logic programming #set
Set functions for functional logic programming (SA, MH), pp. 73–82.
PPDPPPDP-2009-Vasconcelos #linear #parallel #programming #thread
Session types for linear multithreaded functional programming (VTV), pp. 1–6.
RERE-2009-EspanaCGP #empirical #requirements #specification
Evaluating the Completeness and Granularity of Functional Requirements Specifications: A Controlled Experiment (SE, NCF, AG, OP), pp. 161–170.
RERE-2009-PostSMGK #requirements #verification
Linking Functional Requirements and Software Verification (HP, CS, FM, TG, TK), pp. 295–302.
SACSAC-2009-RodriguesSC #composition #embedded #set #using #verification
Improving functional verification of embedded systems using hierarchical composition and set theory (CLR, KRGdS, HdNC), pp. 1632–1636.
SACSAC-2009-ShangLL #biology #mining #network
Mining functional associated patterns from biological network data (XS, ZL, WL), pp. 1488–1489.
LDTALDTA-2008-Dolstra09 #domain-specific language #lazy evaluation #performance
Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs (ED), pp. 81–99.
LDTALDTA-2008-FokkerS09 #abstract interpretation #attribute grammar #source code #using
Abstract Interpretation of Functional Programs using an Attribute Grammar System (JF, SDS), pp. 117–133.
DATEDATE-2009-AbateSVK #case study
A study of the Single Event Effects impact on functional mapping within Flash-based FPGAs (FA, LS, MV, FLK), pp. 1226–1229.
DATEDATE-2009-BombieriFPHL #verification
Functional qualification of TLM verification (NB, FF, GP, MH, FL), pp. 190–195.
ISMMISMM-2009-UnnikrishnanS #analysis #parametricity #source code
Parametric heap usage analysis for functional programs (LU, SDS), pp. 139–148.
WRLAWRLA-2008-CaballeroMRV09 #debugging #declarative #maude
A Declarative Debugger for Maude Functional Modules (RC, NMO, AR, AV), pp. 63–81.
ESOPESOP-2009-LakinP #higher-order #induction #programming
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming (MRL, AMP), pp. 47–61.
CAVCAV-2009-BjornerH #fixpoint #linear
Linear Functional Fixed-points (NB, JH), pp. 124–139.
CAVCAV-2009-Jiang #composition #quantifier
Quantifier Elimination via Functional Composition (JHRJ), pp. 383–397.
CSLCSL-2009-FerreiraO #linear #logic
Functional Interpretations of Intuitionistic Linear Logic (GF, PO), pp. 3–19.
ICLPICLP-2009-CaballeroRR #logic programming
Qualified Computations in Functional Logic Programming (RC, MRA, CARD), pp. 449–463.
ICLPICLP-2009-Li #algorithm #constraints #difference #integer #research #summary
Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality (CL), pp. 530–531.
ICSTICST-2009-MouelhiTB #policy #security #testing
Transforming and Selecting Functional Test Cases for Security Policy Testing (TM, YLT, BB), pp. 171–180.
ICSTICST-2009-PostS #bound #equivalence #implementation #model checking #proving #using
Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking (HP, CS), pp. 31–40.
ICSTICST-2009-SilvaAJ #approach #estimation #execution #testing
A Simple Approach for Estimation of Execution Effort of Functional Test Cases (DGeS, BTdA, MJ), pp. 289–298.
LICSLICS-2009-OngT #reachability
Functional Reachability (CHLO, NT), pp. 286–295.
WICSAWICSA-2008-MucciniP #analysis #architecture #simulation
Simulating Software Architectures for Functional Analysis (HM, PP), pp. 289–292.
PODSPODS-2008-Adler #database #dependence
Tree-width and functional dependencies in databases (IA), pp. 311–320.
VLDBVLDB-2008-FanGJ #dependence #named #quality
Semandaq: a data quality system based on conditional functional dependencies (WF, FG, XJ), pp. 1460–1463.
VLDBVLDB-2008-FanMHLW #dependence
Propagating functional dependencies with conditions (WF, SM, YH, JL, YW), pp. 391–407.
VLDBVLDB-2008-GolabKKSY #dependence #generative #on the
On generating near-optimal tableaux for conditional functional dependencies (LG, HJK, FK, DS, BY), pp. 376–390.
RTARTA-2008-MazanekM #combinator #graph #parsing
Functional-Logic Graph Parser Combinators (SM, MM), pp. 261–275.
FLOPSFLOPS-2008-CaballeroRV #constraints #declarative #logic programming
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 305–321.
HaskellHaskell-2008-JonesD #dependence #design
Language and program design for functional dependencies (MPJ, ISD), pp. 87–98.
ICFPICFP-2008-ChargueraudP #calculus
Functional translation of a calculus of capabilities (AC, FP), pp. 213–224.
ICFPICFP-2008-Cheney #named #xml
FLUX: functional updates for XML (JC), pp. 3–14.
ICFPICFP-2008-DolstraL #linux #named
NixOS: a purely functional Linux distribution (ED, AL), pp. 367–378.
ICFPICFP-2008-DukeBRW #case study #experience #pipes and filters #visualisation
Experience report: visualizing data through functional pipelines (DJD, RB, CR, MW), pp. 379–382.
ICFPICFP-2008-Hinze #fixpoint
Functional pearl: streams and unique fixed points (RH), pp. 189–200.
ICFPICFP-2008-Jones08a #morphism #perspective #polymorphism #programming
Polymorphism and page tables: systems programming from a functional programmer’s perspective (MPJ), pp. 265–266.
ICFPICFP-2008-MainlandMW #named #network #programming #staged
Flask: staged functional programming for sensor networks (GM, GM, MW), pp. 335–346.
ICFPICFP-2008-ParkKI
Functional netlists (SP, JK, HI), pp. 353–366.
ICFPICFP-2008-SpoonhowerBHG #parallel #profiling #source code
Space profiling for parallel functional programs (DS, GEB, RH, PBG), pp. 253–264.
IFLIFL-2008-BrasselF #lazy evaluation #logic programming #source code
From Functional Logic Programs to Purely Functional Programs Preserving Laziness (BB, SF), pp. 25–42.
IFLIFL-2008-GiorgidzeN #haskell #hybrid #modelling
Embedding a Functional Hybrid Modelling Language in Haskell (GG, HN), pp. 138–155.
IFLIFL-2008-ShkaravskaET #semantics #source code
Collected Size Semantics for Functional Programs over Lists (OS, MCJDvE, AT), pp. 118–137.
SPLCSPLC-2008-NiuE #analysis #clustering #on-demand #product line #requirements
On-Demand Cluster Analysis for Product Line Functional Requirements (NN, SME), pp. 87–96.
LOPSTRLOPSTR-2008-ArroyoRTV #approach #higher-order #source code
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs (GA, JGR, ST, GV), pp. 40–54.
LOPSTRLOPSTR-2008-Kitzelmann #induction #programming
Analytical Inductive Functional Programming (EK), pp. 87–102.
PADLPADL-2008-Launchbury #industrial #programming
Industrial Functional Programming (JL), p. 1.
PEPMPEPM-2008-LiT #refactoring #source code #tool support
Tool support for refactoring functional programs (HL, SJT), pp. 199–203.
PEPMPEPM-2008-Mogensen #parametricity
Semi-inversion of functional parameters (TÆM), pp. 21–29.
PLDIPLDI-2008-ZeeKR #data type #linked data #open data #verification
Full functional verification of linked data structures (KZ, VK, MCR), pp. 349–361.
POPLPOPL-2008-Danielsson #analysis #complexity #data type #lightweight
Lightweight semiformal time complexity analysis for purely functional data structures (NAD), pp. 133–144.
PPDPPPDP-2008-ChitilD #algorithm #debugging #finite #higher-order #source code
Comprehending finite maps for algorithmic debugging of higher-order functional programs (OC, TD), pp. 205–216.
PPDPPPDP-2008-Hanus #analysis #logic programming #source code
Call pattern analysis for functional logic programs (MH), pp. 67–78.
PPDPPPDP-2008-SilvaO #prototype #proving #quote
“Galculator”: functional prototype of a Galois-connection based proof assistant (PFS, JNO), pp. 44–55.
RERE-2008-NiuE #modelling #product line #requirements
Extracting and Modeling Product Line Functional Requirements (NN, SME), pp. 155–164.
SACSAC-2008-CartaxoANM #embedded #named #testing
LTS-BT: a tool to generate and select functional test cases for embedded systems (EGC, WdLA, FGON, PDLM), pp. 1540–1544.
SACSAC-2008-GarciaH #analysis #metric #using
Integrating functional metrics, COCOMO II and earned value analysis for software projects using PMBoK (CALG, CMH), pp. 820–825.
SACSAC-2008-HojjatMS #algebra #evaluation #framework #performance #probability #process #verification
A framework for performance evaluation and functional verification in stochastic process algebras (HH, MRM, MS), pp. 339–346.
GPCEGPCE-2008-ApelKB #aspect-oriented #refactoring #using
Program refactoring using functional aspects (SA, CK, DSB), pp. 161–170.
GPCEGPCE-2008-Meijer #programming
Fundamentalist functional programming (EM), pp. 99–100.
CASECASE-2008-LiuYGB #certification #safety
Functional safety certification: Practice and issues (JL, CY, FG, SB), pp. 412–417.
DACDAC-2008-GuzeyWLF #analysis #testing
Functional test selection based on unsupervised support vector analysis (OG, LCW, JRL, HF), pp. 262–267.
DACDAC-2008-SauerGL #framework #modelling #named #performance #using
SystemClick: a domain-specific framework for early exploration using functional performance models (CS, MG, HPL), pp. 480–485.
DATEDATE-2008-ApostolakisGPP #multi #self #symmetry
Functional Self-Testing for Bus-Based Symmetric Multiprocessors (AA, DG, MP, AMP), pp. 1304–1309.
DATEDATE-2008-MostermanOSJKRCM #automation #embedded #modelling
Automatically Realising Embedded Systems from High-Level Functional Models (PJM, DO, JS, AAJ, WK, VR, CGC, GM).
DATEDATE-2008-YonedaF #reuse #using
Wrapper and TAM Co-Optimization for Reuse of SoC Functional Interconnects (TY, HF), pp. 1366–1369.
ISMMISMM-2008-Trancon-y-Widemann #garbage collection #programming
A reference-counting garbage collection algorithmfor cyclical functional programming (BTyW), pp. 71–80.
ESOPESOP-2008-Coquand #programming
Constructive Mathematics and Functional Programming (TC), pp. 146–147.
CAVCAV-2008-EisnerNY #composition #design #power management #reasoning #verification
Functional Verification of Power Gated Designs by Compositional Reasoning (CE, AN, KY), pp. 433–445.
ICLPICLP-2008-ZhangYLM #algorithm #constraints #performance
Efficient Algorithms for Functional Constraints (YZ, RHCY, CL, SM), pp. 606–620.
ICSTICST-2008-LefticaruI #search-based #state machine #testing
Functional Search-based Testing from State Machines (RL, FI), pp. 525–528.
TAPTAP-2008-CarlierD #testing
Functional Testing in the Focal Environment (MC, CD), pp. 84–98.
WICSAWICSA-2007-KulkarniP #architecture #enterprise #framework #requirements
An Architectural Framework for Non Functional Requirements in Enterprise SOA Adoption (NNK, SP), p. 36.
DocEngDocEng-2007-DejeanM #documentation #logic
Logical document conversion: combining functional and formal knowledge (HD, JLM), pp. 135–143.
ICDARICDAR-2007-CharW #approximate #representation
Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation (BWC, SMW), pp. 1198–1202.
CEFPCEFP-2007-MolEP #lazy evaluation #proving #source code
Proving Properties of Lazy Functional Programs with Sparkle (MdM, MCJDvE, RP), pp. 41–86.
CEFPCEFP-2007-Pop #object-oriented #programming #tutorial
A Tutorial on Object-Oriented Functional Programming (HFP), pp. 228–249.
HaskellHaskell-2007-NaylorAR #library
A functional-logic library for wired (MN, EA, CR), pp. 37–48.
ICFPICFP-2007-BeshersFS #case study #experience #linux #programming #using
Experience report: using functional programming to manage a linux distribution (CB, DF, JS), pp. 213–218.
ICFPICFP-2007-Elliott #programming
Tangible functional programming (CE), pp. 59–70.
ICFPICFP-2007-EnnalsG #programming #web
User-friendly functional programming for web mashups (RE, DG), pp. 223–234.
ICFPICFP-2007-FredlundS #distributed #model checking #named #programming language
McErlang: a model checker for a distributed functional programming language (LÅF, HS), pp. 125–136.
ICFPICFP-2007-Herman #how
Functional pearl: the great escape or, how to jump the border without getting caught (DH), pp. 157–164.
ICFPICFP-2007-Sereni #analysis #graph #higher-order #source code #termination
Termination analysis and call graph construction for higher-order functional programs (DS), pp. 71–84.
ICFPICFP-2007-Wazny #case study #experience #programming
Experience report: functional programming in c-rules (JW), pp. 25–28.
IFLIFL-2007-BrasselS #debugging #lazy evaluation #source code
Debugging Lazy Functional Programs by Asking the Oracle (BB, HS), pp. 183–200.
IFLIFL-2007-WidemannP #programming
Tabular Expressions and Total Functional Programming (BTyW, DLP), pp. 219–236.
HCIHCI-IDU-2007-NingT #how #order #usability
How to Use Emotional Usability to Make the Product Serves a Need Beyond the Traditional Functional Objective to Satisfy the Emotion Needs of the User in Order to Improve the Product Differentiator — Focus on Home Appliance Product (LN, ST), pp. 587–593.
HCIHCI-IPT-2007-NishimuraRDCSPDD #analysis
Functional Brain Imaging for Analysis of Reading Effort for Computer-Generated Text (EMN, EDR, BAD, JPC, JS, DP, THD, JHD), pp. 1183–1192.
SEKESEKE-2007-Condori-FernandezP #evaluation #metric
Analyzing the Applicability of a Theoretical Model in the Evaluation of Functional Size Measurement Procedures (NCF, OP), pp. 736–739.
LOPSTRLOPSTR-2007-FischerSTV #lazy evaluation #partial evaluation #source code
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (SF, JS, ST, GV), pp. 74–89.
PEPMPEPM-2007-BurchettCK #named #optimisation
Lowering: a static optimization technique for transparent functional reactivity (KB, GHC, SK), pp. 71–80.
POPLPOPL-2007-MandelbaumFWFG #ml #named
PADS/ML: a functional data description language (YM, KF, DW, MFF, AG), pp. 77–83.
PPDPPPDP-2007-EncinaLRH #lazy evaluation #parallel
Observing intermediate structures in a parallel lazy functional language (AdlE, LL, FR, MHH), pp. 109–120.
PPDPPPDP-2007-FischerK #generative #logic programming #source code #testing
Systematic generation of glass-box test cases for functional logic programs (SF, HK), pp. 63–74.
SASSAS-2007-ChenWWKC #aspect-oriented #compilation
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages (KC, SCW, MW, SCK, CHC), pp. 34–51.
REFSQREFSQ-2007-AlkkiomakiS #architecture #case study #integration #modelling #requirements #uml
Integration Use Cases — An Applied UML Technique for Modeling Functional Requirements in Service Oriented Architecture (VA, KS), pp. 190–202.
DACDAC-2007-PetlinS #multi #verification
Functional Verification of SiCortex Multiprocessor System-on-a-Chip (OP, WS), pp. 906–909.
DACDAC-2007-TibboelRKA #design
System-Level Design Flow Based on a Functional Reference for HW and SW (WHT, VR, MK, DA), pp. 23–28.
DATEDATE-2007-BombieriFP #design #incremental #refinement #validation
Incremental ABV for functional validation of TL-to-RTL design refinement (NB, FF, GP), pp. 882–887.
DATEDATE-2007-GrosseKD #bound #model checking
Estimating functional coverage in bounded model checking (DG, UK, RD), pp. 1176–1181.
DATEDATE-2007-VermaHR #automation #behaviour #generative #interactive #modelling
Interactive presentation: Automatic generation of functional coverage models from behavioral verilog descriptions (SV, IGH, KR), pp. 900–905.
DATEDATE-2007-ZhuSD #interactive #pipes and filters #validation
Interactive presentation: Functional and timing validation of partially bypassed processor pipelines (QZ, AS, ND), pp. 1164–1169.
PDPPDP-2007-DuarteRL #architecture #fault tolerance #testing
Functional Tests of the RADIC Fault Tolerance Architecture (AD, DR, EL), pp. 278–287.
WRLAWRLA-J-2004-Lopez-FraguasRV07 #constraints #logic programming
A new generic scheme for functional logic programming with constraints (FJLF, MRA, RdVV), pp. 73–122.
CAVCAV-2007-LeavensKP #behaviour #composition #java #ml #specification #tutorial #verification
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (GTL, JRK, EP), p. 37.
ICLPICLP-2007-CaballeroRV #constraints #debugging #declarative #logic programming
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 425–427.
FLOPSFLOPS-2006-CasasCH #approach #evaluation #higher-order #lazy evaluation
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems (AC, DC, MVH), pp. 146–162.
FLOPSFLOPS-2006-HinzeJL #contract #programming
Typed Contracts for Functional Programming (RH, JJ, AL), pp. 208–225.
FLOPSFLOPS-2006-IgnatoffCK #adaptation #framework #object-oriented
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages (DI, GHC, SK), pp. 259–276.
HaskellHaskell-2006-DiatchkiJ #data type #memory management #programming
Strongly typed memory areas programming systems-level data structures in a functional language (ISD, MPJ), pp. 72–83.
ICFPICFP-2006-Bird
Fifteen years of functional pearls (RSB), p. 215.
ICFPICFP-2006-ZiarekSJ #abstraction #composition #concurrent #named #source code
Stabilizers: a modular checkpointing abstraction for concurrent functional programs (LZ, PS, SJ), pp. 136–147.
IFLIFL-2006-BertholdL #coordination #parallel
Parallel Coordination Made Explicit in a Functional Setting (JB, RL), pp. 73–90.
IFLIFL-2006-BonenfantFHH #execution #worst-case
Worst-Case Execution Times for a Purely Functional Language (AB, CF, KH, RH), pp. 235–252.
IFLIFL-2006-Hidalgo-HerreroOR #evaluation #parallel
Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages (MHH, YOM, FR), pp. 55–72.
CHICHI-2006-LudfordFRWT
Because I carry my cell phone anyway: functional location-based reminder applications (PJL, DF, KR, KW, LGT), pp. 889–898.
ICEISICEIS-DISI-2006-CaropreseGZ #consistency #database #dependence #query
Merging, Repairing and Querying Inconsistent Databases with Functional and Inclusion Dependencies (LC, SG, EZ), pp. 38–45.
CIKMCIKM-2006-BaiKCS #image #information retrieval
IR principles for content-based indexing and retrieval of functional brain images (BB, PBK, NDC, DS), pp. 828–829.
ICPRICPR-v2-2006-PanBD #bottom-up #contest #image #segmentation #using
Bottom-Up Hierarchical Image Segmentation Using Region Competition and the Mumford-Shah Functional (YP, JDB, SMD), pp. 117–121.
ICPRICPR-v3-2006-HuS06a #classification #clustering #image #normalisation
Normalization of Functional Magnetic Resonance Images by Classified Cerebrospinal Fluid Cluster (ZH, PS), pp. 938–941.
KDDKDD-2006-JankSW #modelling #online #realtime
Dynamic, real-time forecasting of online auctions via functional models (WJ, GS, SW), pp. 580–585.
LOPSTRLOPSTR-2006-BrasselFH #logic #program transformation
A Program Transformation for Tracing Functional Logic Computations (BB, SF, FH), pp. 160–176.
PADLPADL-2006-GouraudG #java #testing #using #virtual machine
Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine (SDG, AG), pp. 1–15.
PEPMPEPM-2006-IwamaIK #analysis #exception #resource management
Resource usage analysis for a functional language with exceptions (FI, AI, NK), pp. 38–47.
PEPMPEPM-2006-WangCK #aspect-oriented #higher-order #weaving
Type-directed weaving of aspects for higher-order functional languages (MW, KC, SCK), pp. 78–87.
PPDPPPDP-2006-FernandezF #calculus #object-oriented
A historic functional and object-oriented calculus (MF, FF), pp. 145–156.
ASEASE-2006-LaurentSW #automation #constraints #generative #specification #testing
A methodology for automated test generation guided by functional coverage constraints at specification level (OL, CS, VW), pp. 285–288.
SACSAC-2006-LastovetskyRH #performance
Building the functional performance model of a processor (ALL, RR, RH), pp. 746–753.
CASECASE-2006-ZhangA #simulation
Tremor Suppression of Elbow Joint via Functional Electrical Stimulation: A Simulation Study (DZ, WTA), pp. 182–187.
DACDAC-2006-DupenloupLM #abstraction #verification
Transistor abstraction for the functional verification of FPGAs (GD, TL, RM), pp. 1069–1072.
DACDAC-2006-WuJYLT #estimation
A systematic method for functional unit power estimation in microprocessors (WW, LJ, JY, PL, SXDT), pp. 554–557.
DATEDATE-2006-BalarinP #generative #interface #specification #verification
Functional verification methodology based on formal interface specification and transactor generation (FB, RP), pp. 1013–1018.
DATEDATE-2006-BiswasDIP #architecture #automation #identification
Automatic identification of application-specific functional units with architecturally visible storage (PB, NDD, PI, LP), pp. 212–217.
DATEDATE-2006-DhayniMRB #linear #pseudo
Pseudorandom functional BIST for linear and nonlinear MEMS (AD, SM, LR, AB), pp. 664–669.
DATEDATE-2006-JerinicLHM #metric #verification
New methods and coverage metrics for functional verification (VJ, JL, UH, DM), pp. 1025–1030.
DATEDATE-2006-KooM #generative #pipes and filters #testing #using #validation
Functional test generation using property decompositions for validation of pipelined processors (HMK, PM), pp. 1240–1245.
DATEDATE-2006-KruppM #classification #random testing #testing
Classification trees for random tests and functional coverage (AK, WM), pp. 1031–1032.
DATEDATE-2006-PolianF #constraints #testing
Functional constraints vs. test compression in scan-based delay testing (IP, HF), pp. 1039–1044.
LCTESLCTES-2006-MutyamLNKI
Compiler-directed thermal management for VLIW functional units (MM, FL, NV, MTK, MJI), pp. 163–172.
ICLPICLP-2006-AntoyH #logic programming #source code
Overlapping Rules and Logic Variables in Functional Logic Programs (SA, MH), pp. 87–101.
ICLPICLP-2006-CaballeroRV #constraints #declarative #logic programming
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 421–422.
IJCARIJCAR-2006-GregoireT #composition #library #scalability
A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers (BG, LT), pp. 423–437.
IJCARIJCAR-2006-TomanW #dependence #logic #on the
On Keys and Functional Dependencies as First-Class Citizens in Description Logics (DT, GEW), pp. 647–661.
ICSTSAT-2006-ZabiyakaD #bound #complexity #dependence
Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies (YZ, AD), pp. 116–129.
CBSECBSE-2005-Dolstra #component #deployment #performance
Efficient Upgrading in a Purely Functional Component Deployment Model (ED), pp. 219–234.
PODSPODS-2005-Koch #complexity #on the #query #recursion #xquery
On the complexity of nonrecursive XQuery and functional query languages on complex values (CK), pp. 84–97.
ITiCSEITiCSE-2005-Cox #approach #human-computer #programming
A pragmatic HCI approach: engagement by reinforcing perception with functional dsesign and programming (DC), pp. 39–43.
TLCATLCA-2005-SchurmannPS #calculus #encoding #higher-order #programming
The [triangle]-Calculus. Functional Programming with Higher-Order Encodings (CS, AP, JS), pp. 339–353.
CEFPCEFP-2005-Hammond #approach #behaviour #bound #programming
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach (KH), pp. 100–134.
CEFPCEFP-2005-Scholz #array #programming
Functional Array Programming in SaC (SBS), pp. 62–99.
ICFPICFP-2005-DantasWWW #aspect-oriented #named #polymorphism #programming language
PolyAML: a polymorphic aspect-oriented functional programming language (DSD, DW, GW, SW), pp. 306–319.
ICFPICFP-2005-MasuharaTY #aspect-oriented #ml
Aspectual Caml: an aspect-oriented functional language (HM, HT, AY), pp. 320–330.
ICFPICFP-2005-Nilsson #algebra #data type #optimisation #programming #using
Dynamic optimization for functional reactive programming using generalized algebraic data types (HN), pp. 54–65.
DiGRADiGRA-2005-KujanpaaM #3d #design #game studies #modelling #visual notation
Visual vs. Functional Design of 3D Models for Games (TK, TM).
ICEISICEIS-v3-2005-CechichP #case study #detection #off the shelf
Early Detection of Cots Functional Suitability for an E-Payment Case Study (AC, MP), pp. 11–28.
CIKMCIKM-2005-PuM #equation #query #specification
Typed functional query languages with equational specifications (KQP, AOM), pp. 233–234.
SEKESEKE-2005-MarewKB #aspect-oriented #case study #composition #development #product line #using
Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development (TM, JK, DHB), pp. 152–157.
AdaEuropeAdaEurope-2005-SwardB #equivalence #proving #slicing
Proving Functional Equivalence for Program Slicing in SPARK™ (RES, LCBI), pp. 105–114.
PADLPADL-2005-Karczmarczuk #framework #synthesis
Functional Framework for Sound Synthesis (JK), pp. 7–21.
PPDPPPDP-2005-LunaPS #compilation #experience
Efficiently compiling a functional language on AMD64: the HiPE experience (DL, MP, KFS), pp. 176–186.
RERE-2005-Matulevicius #evaluation #framework #prototype #requirements
Prototype of the Evaluation Framework for Functional Requirements of RE-tools (RM), pp. 483–484.
DACDAC-2005-SasaoM #composition #logic #multi #representation
BDD representation for incompletely specifiedvmultiple-output logic functions and its applications to functional decomposition (TS, MM), pp. 373–378.
DACDAC-2005-SuWKLK #analysis #effectiveness #embedded #performance
A noise-driven effective capacitance method with fast embedded noise rule calculation for functional noise analysis (HS, DW, CVK, FL, BK), pp. 186–189.
DATEDATE-2005-AbdiG #scheduling #validation
Functional Validation of System Level Static Scheduling (SA, DDG), pp. 542–547.
DATEDATE-2005-ChureauSA #prototype #uml
The Role of Model-Level Transactors and UML in Functional Prototyping of Systems-on-Chip: A Software-Radio Application (AC, YS, EMA), pp. 698–703.
DATEDATE-2005-MishraD #generative #pipes and filters #testing #validation
Functional Coverage Driven Test Generation for Validation of Pipelined Processors (PM, NDD), pp. 678–683.
DATEDATE-2005-ShashidharBCJ #algebra #equivalence #source code #verification
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code (KCS, MB, FC, GJ), pp. 1310–1315.
WRLAWRLA-2004-Lopez-FraguasRV05 #constraints #logic programming #revisited
Constraint Functional Logic Programming Revisited (FJLF, MRA, RdVV), pp. 5–50.
ESOPESOP-2005-TsuikiS
Streams with a Bottom in Functional Languages (HT, KS), pp. 201–216.
ICSTSAT-J-2004-GregoireOMS05 #automation #dependence
Automatic Extraction of Functional Dependencies (ÉG, RO, BM, LS), pp. 122–132.
CSLCSL-2005-Hernest
Light Functional Interpretation (MDH), pp. 477–492.
ICLPICLP-2005-BrasselH #analysis #logic programming #nondeterminism #source code
Nondeterminism Analysis of Functional Logic Programs (BB, MH), pp. 265–279.
LICSLICS-2005-AltenkirchG #programming language #quantum
A Functional Quantum Programming Language (TA, JG), pp. 249–258.
ICTSSTestCom-2005-PuderW #middleware #testing
Cross-Language Functional Testing for Middleware (AP, LW), pp. 56–68.
DocEngDocEng-2004-KingST #animation #behaviour #programming #realtime #xml
Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation (PRK, PS, SJT), pp. 57–66.
TPDLECDL-2004-KumarBHSSW #documentation #library #set
: Bridging the Gap Between a Simple Set of Structured Documents and a Functional Digital Library (AK, AB, MH, SS, RS, JW), pp. 432–441.
SIGMODSIGMOD-2004-IlyasMHBA #automation #correlation #dependence #named
CORDS: Automatic Discovery of Correlations and Soft Functional Dependencies (IFI, VM, PJH, PB, AA), pp. 647–658.
ITiCSEITiCSE-2004-PazL #automation #concept #programming
Emergence of automated assignment conceptions in a functional programming course (TP, TL), pp. 181–185.
ITiCSEITiCSE-WGR-2004-MatosG #approximate #dependence
SQL-based discovery of exact and approximate functional dependencies (VM, BG), pp. 58–63.
IFMIFM-2004-Melham #model checking #proving #theorem proving
Integrating Model Checking and Theorem Proving in a Reflective Functional Language (TFM), pp. 36–39.
SEFMSEFM-2004-KhedriB #architecture #design
Formal Derivation of Functional Architectural Design (RK, IB), pp. 356–265.
AFPAFP-2004-PlasmeijerW04
A Functional Shell That Operates on Typed and Compiled Applications (RP, AvW), pp. 245–272.
AFPAFP-2004-Thompson04 #refactoring #source code
Refactoring Functional Programs (SJT), pp. 331–357.
FLOPSFLOPS-2004-CaballeroR #debugging #declarative #named
DDT: a Declarative Debugging Tool for Functional-Logic Languages (RC, MRA), pp. 70–84.
FLOPSFLOPS-2004-Schurmann #framework #logic #programming
Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework (CS), pp. 22–23.
HaskellHaskell-2004-KiselyovS
Functional pearl: implicit configurations-or, type classes reflect the values of types (OK, CcS), pp. 33–44.
HaskellHaskell-2004-McBrideM
Functional pearl: i am not a number-i am a free variable (CM, JM), pp. 1–9.
ICFPICFP-2004-FindlerF #named
Slideshow: functional presentations (RBF, MF), pp. 224–235.
ICFPICFP-2004-ForsbergR
Functional morphology (MF, AR), pp. 213–223.
ICFPICFP-2004-TolmachAN #implementation #logic #multi #thread #using
Implementing functional logic languages using multiple threads and stores (APT, SA, MN), pp. 90–102.
ICFPICFP-2004-Wiger #industrial #programming
20 years of industrial functional programming (UTW), p. 162.
IFLIFL-2004-AntoyHLT #logic #virtual machine
A Virtual Machine for Functional Logic Computations (SA, MH, JL, APT), pp. 108–125.
IFLIFL-2004-DowseBE #concurrent #reasoning
Reasoning About Deterministic Concurrent Functional I/O (MD, AB, MCJDvE), pp. 177–194.
IFLIFL-2004-EversAK #programming #user interface #visual notation
A Functional Programming Technique for Forms in Graphical User Interfaces (SE, PA, JK), pp. 35–51.
IFLIFL-2004-StefanovS #effectiveness #reduction #source code
Simple, Effective Code-Size Reduction for Functional Programs (ES, AMS), pp. 211–225.
ICEISICEIS-v1-2004-Lyytinen #analysis #requirements #scalability #source code
Large Scale Requirements Engineering in Action: An Ethnographic Analysis of Functional and Political Ecologies in Situ in Space Mission Programs (KL), p. V.
ICEISICEIS-v3-2004-CechichP #component #off the shelf
Balancing Stakeholder’s Preferences on Measuring COTS Component Functional Suitability (AC, MP), pp. 115–122.
CIKMCIKM-2004-HeL #dependence
Extending and inferring functional dependencies in schema transformation (QH, TWL), pp. 12–21.
ICPRICPR-v2-2004-FeiginS #adaptation #segmentation
Segmentation and Denoising via an Adaptive Threshold Mumford-Shah-like Functional (MF, NAS), pp. 98–101.
ECOOPECOOP-2004-Felleisen
Functional Objects (MF), p. 267.
LOPSTRLOPSTR-2004-BrasselHHSV #logic programming #profiling #runtime #source code
Run-Time Profiling of Functional Logic Programs (BB, MH, FH, JS, GV), pp. 182–197.
PADLPADL-2004-BrasselCHH #logic
Observing Functional Logic Computations (BB, OC, MH, FH), pp. 193–208.
PPDPPPDP-2004-ClevaLL #approach #logic programming #source code #verification
A logic programming approach to the verification of functional-logic programs (JMC, JL, FJLF), pp. 9–19.
SACSAC-2004-GalandM #architecture #self
A functional architecture for self-aware routers (DG, OM), pp. 352–356.
SACSAC-2004-Guo #algorithm #clustering #evaluation #framework
A new framework for clustering algorithm evaluation in the domain of functional genomics (AG), pp. 143–146.
DACDAC-2004-AbdiG #architecture #automation #generative #specification
Automatic generation of equivalent architecture model from functional specification (SA, DG), pp. 608–613.
DACDAC-2004-AsafMZ #analysis
Defining coverage views to improve functional coverage analysis (SA, EM, AZ), pp. 41–44.
DACDAC-2004-FineUZ #probability #verification
Probabilistic regression suites for functional verification (SF, SU, AZ), pp. 49–54.
DACDAC-2004-KimYKK #hardware #performance #simulation
Communication-efficient hardware acceleration for fast functional simulation (YIK, WSY, YSK, CMK), pp. 293–298.
DACDAC-2004-KwonKK #graph #metric #synthesis
Systematic functional coverage metric synthesis from hierarchical temporal event relation graph (YSK, YIK, CMK), pp. 45–48.
DACDAC-2004-Pomeranz #generative #on the #testing
On the generation of scan-based test sets with reachable states for testing under functional operation conditions (IP), pp. 928–933.
DATEDATE-v1-2004-KwonK #generative #graph #metric
Functional Coverage Metric Generation from Temporal Event Relation Graph (YSK, CMK), pp. 670–671.
DATEDATE-v1-2004-LaurentJSM #analysis #approach #modelling #performance #power management
Functional Level Power Analysis: An Efficient Approach for Modeling the Power Consumption of Complex Processors (JL, NJ, ES, EM), pp. 666–667.
DATEDATE-v1-2004-MishraD #generative #graph #pipes and filters
Graph-Based Functional Test Program Generation for Pipelined Processors (PM, ND), pp. 182–187.
ESOPESOP-2004-DuckPSS #decidability #dependence #type inference
Sound and Decidable Type Inference for Functional Dependencies (GJD, SLPJ, PJS, MS), pp. 49–63.
ESOPESOP-2004-EspanaE #logic #semantics
A Memoizing Semantics for Functional Logic Languages (SE, VE), pp. 109–123.
CAVCAV-2004-GoelB #abstraction #model checking #order #simulation
Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors (AG, REB), pp. 255–267.
CAVCAV-2004-JiangB #dependence #reduction #verification
Functional Dependency for Verification Reduction (JHRJ, RKB), pp. 268–280.
CSLCSL-2004-AmadioCDJ #bound #bytecode #verification
A Functional Scenario for Bytecode Verification of Resource Bounds (RMA, SCG, SDZ, LJ), pp. 265–279.
SATSAT-2004-GregoireOMS #automation #dependence
Automatic Extraction of Functional Dependencies (ÉG, RO, BM, LS), pp. 157–165.
TLCATLCA-2003-Konecny #data type
Functional In-Place Update with Layered Datatype Sharing (MK), pp. 195–210.
HaskellHaskell-2003-BirdH
Functional Pearl trouble shared is trouble halved (RSB, RH), pp. 1–6.
HaskellHaskell-2003-Karczmarczuk #framework #quantum
Structure and interpretation of quantum mechanics: a functional framework (JK), pp. 50–61.
HaskellHaskell-2003-LiRT #refactoring #source code #tool support
Tool support for refactoring functional programs (HL, CR, SJT), pp. 27–38.
ICFPICFP-2003-Knight #quantum
Conservation of information: applications in functional, reversible, and quantum computing (TKJ), p. 1.
ICFPICFP-2003-Nilsson #automation #difference
Functional automatic differentiation with dirac impulses (HN), pp. 153–164.
IFLIFL-2003-VasconcelosH #equation #higher-order #polymorphism #recursion #source code
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs (PBV, KH), pp. 86–101.
IFLIFL-2003-WeeldenP
A Functional Shell That Dynamically Combines Compiled Code (AvW, RP), pp. 36–52.
ICEISICEIS-v3-2003-Poels #concept #metric #modelling
Functional Size Measurement of Layered Conceptual Models (GP), pp. 411–416.
PADLPADL-2003-ClareK #data mining #lazy evaluation #mining
Data Mining the Yeast Genome in a Lazy Functional Language (AC, RDK), pp. 19–36.
PADLPADL-2003-FernandezHS #combinator #constraints #logic #problem
Solving Combinatorial Problems with a Constraint Functional Logic Language (AJF, MTHG, FSP), pp. 320–338.
PADLPADL-2003-NilssonPH #hybrid #modelling
Functional Hybrid Modeling (HN, JP, PH), pp. 376–390.
POPLPOPL-2003-HofmannJ #first-order #predict #source code
Static prediction of heap space usage for first-order functional programs (MH, SJ), pp. 185–197.
PPDPPPDP-2003-AgerBDM #automaton
A functional correspondence between evaluators and abstract machines (MSA, DB, OD, JM), pp. 8–19.
PPDPPPDP-2003-BanyasadC #geometry #on the
On translating geometric solids to functional expressions (OB, PTC), pp. 44–55.
PPDPPPDP-2003-HirschowitzLW #call-by #compilation #recursion
Compilation of extended recursion in call-by-value functional languages (TH, XL, JBW), pp. 160–171.
SACSAC-2003-LiZLO #classification #learning #semistructured data
Gene Functional Classification by Semisupervised Learning from Heterogeneous Data (TL, SZ, QL, MO), pp. 78–82.
DACDAC-2003-FineZ #generative #network #testing #using #verification
Coverage directed test generation for functional verification using bayesian networks (SF, AZ), pp. 286–291.
DACDAC-2003-MishchenkoS #composition #scalability #using
Large-scale SOP minimization using decomposition and functional properties (AM, TS), pp. 149–154.
DACDAC-2003-Schubert03a #challenge #distributed #industrial #scalability #simulation
Improvements in functional simulation addressing challenges in large, distributed industry projects (KDS), pp. 11–14.
DACDAC-2003-YuanAAP #constraints #modelling #synthesis #verification
Constraint synthesis for environment modeling in functional verification (JY, KA, AA, CP), pp. 296–299.
DATEDATE-2003-GoelB #analysis #reachability #set
Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis (AG, REB), pp. 10816–10821.
DATEDATE-2003-HagaRBM #power management
Dynamic Functional Unit Assignment for Low Power (SH, NR, RB, DM), pp. 11052–11057.
DATEDATE-2003-Ziv #metric
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions (AZ), pp. 10834–10841.
ESOPESOP-2003-AlpuenteBCF #logic programming #source code
Correction of Functional Logic Programs (MA, DB, FJC, MF), pp. 54–68.
TACASTACAS-2003-BarayCDM #generative #testing #validation
Code-Based Test Generation for Validation of Functional Processor Descriptions (FB, PC, DD, HM), pp. 569–584.
TACASTACAS-2003-ZhangCS #analysis #concurrent #performance #verification
The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems (DZ, RC, EWS), pp. 431–436.
TPDLECDL-2002-KhooDS #online #requirements #tool support
Functional Requirements for Online Tools to Support Community-Led Collections Building (MK, HD, TS), pp. 190–203.
ICSMEICSM-2002-Tran-CaoLA #complexity #effectiveness #metric #towards
Measuring Software Functional Size: Towards an Effective Measurement of Complexity (DTC, GL, AA), pp. 370–376.
ICALPICALP-2002-BauerES #paradigm
Comparing Functional Paradigms for Exact Real-Number Computation (AB, MHE, AKS), pp. 488–500.
FMFME-2002-GaravelH #evaluation #on the #performance #using #verification
On Combining Functional Verification and Performance Evaluation Using CADP (HG, HH), pp. 410–429.
AFPAFP-2002-ClaessenRCHW02 #lazy evaluation #quickcheck #source code #testing #using
Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat (KC, CR, OC, JH, MW), pp. 59–99.
AFPAFP-2002-HudakCNP02 #programming
Arrows, Robots, and Functional Reactive Programming (PH, AC, HN, JP), pp. 159–187.
AFPAFP-2002-Wadler02 #named #query #xml #xquery
XQuery: A Typed Functional Language for Querying XML (PW), pp. 188–212.
FLOPSFLOPS-2002-AntoyH #design pattern #logic
Functional Logic Design Patterns (SA, MH), pp. 67–87.
FLOPSFLOPS-2002-Lopez-FraguasS #logic programming
Narrowing Failure in Functional Logic Programming (FJLF, JSH), pp. 212–227.
FLOPSFLOPS-2002-SumiiB #calculus #named
VMλ: A Functional Calculus for Scientific Discovery (ES, HB), pp. 290–304.
ICFPICFP-2002-Ford #lazy evaluation #linear #parsing
Packrat parsing: : simple, powerful, lazy, linear time, functional pearl (BF), pp. 36–47.
ICFPICFP-2002-Hanna #interactive #programming #visual notation
Interactive visual functional programming (KH), pp. 145–156.
ICFPICFP-2002-Moore #formal method
Functional formal methods (JSM), p. 123.
ICFPICFP-2002-Myers #programming language #towards
Towards more natural functional programming languages (BAM), p. 1.
IFLIFL-2002-Bagwell #performance
Fast Functional Lists (PB), pp. 34–50.
IFLIFL-2002-Trancon-y-Widemann
Stacking Cycles: Functional Transformation of Circular Data (BTyW), pp. 150–164.
IFLIFL-2002-VervoortP #lazy evaluation
Lazy Dynamic Input/Output in the Lazy Functional Language Clean (MV, MJP), pp. 101–117.
IFLIFL-2002-WeeldenP #operating system #towards
Towards a Strongly Typed Functional Operating System (AvW, MJP), pp. 215–231.
ICEISICEIS-2002-EncisoM #dependence #named #taxonomy
FD3: A Functional Dependencies Data Dictionary (ME, AM), pp. 807–810.
ICEISICEIS-2002-Poels #enterprise #metric #modelling
A Functional Size Measurement Method for Event-Based Objectoriented Enterprise Models (GP), pp. 667–675.
ICMLICML-2002-Gama #analysis
An Analysis of Functional Trees (JG), pp. 155–162.
ICPRICPR-v1-2002-ChenTHGB #image #segmentation
Simultaneous Segmentation and Registration for Functional MR Images (YC, SRT, FH, KSG, RWB), pp. 747–750.
ICPRICPR-v1-2002-MuralikrishnanNR #clustering #correlation #novel #process
Process Mapping and Functional Correlation in Surface Metrology: A Novel Clustering Application (BM, KN, JR), pp. 29–32.
TOOLSTOOLS-USA-2002-MiliMS #aspect-oriented #named
CorbaViews: Distributing objects that support several functional aspects (HM, HM, SS), pp. 207–229.
PEPMASIA-PEPM-2002-Xi #object-oriented #programming
Unifying object-oriented programming with typed functional programming (HX), pp. 117–125.
PEPMASIA-PEPM-2002-XuK #compilation #programming #realtime
Compiling real time functional reactive programming (DNX, SCK), pp. 83–93.
LOPSTRLOPSTR-2002-AlpuenteCEFL #source code
Abstract Diagnosis of Functional Programs (MA, MC, SE, MF, SL), pp. 1–16.
PADLPADL-2002-Karczmarczuk #approach #generative
Functional Approach to Texture Generation (JK), pp. 225–242.
PADLPADL-2002-Kiselyov #parsing #programming #xml
A Better XML Parser through Functional Programming (OK), pp. 209–224.
POPLPOPL-2002-AcarBH #adaptation #programming
Adaptive functional programming (UAA, GEB, RH), pp. 247–259.
POPLPOPL-2002-NeubauerTGS #logic
Functional logic overloading (MN, PT, MG, MS), pp. 233–244.
PPDPPPDP-2002-PembeciNH #domain-specific language #integration
Functional reactive robotics: an exercise in principled integration of domain-specific languages (IP, HN, GDH), pp. 168–179.
RERE-2002-SutcliffG #requirements #validation
Validating Functional System Requirements with Scenarios (AGS, AG), pp. 181–190.
ICSEICSE-2002-HausmannHT #approach #case study #detection #graph transformation #requirements #static analysis
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation (JHH, RH, GT), pp. 105–115.
SACSAC-2002-CarvalhoLL #coordination #haskell #process
Coordinating functional processes with Haskell# (FHC, RMFL, RDL), pp. 393–400.
CCCC-2002-RelePOG #optimisation
Optimizing Static Power Dissipation by Functional Units in Superscalar Processors (SR, SP, , RG), pp. 261–275.
DACDAC-2002-CadambiMA #hardware #performance #scalability #simulation
A fast, inexpensive and scalable hardware acceleration technique for functional simulation (SC, CM, PA), pp. 570–575.
DACDAC-2002-LachishMUZ #analysis
Hole analysis for functional coverage data (OL, EM, SU, AZ), pp. 807–812.
DATEDATE-2002-BaldiniBPMT #uml
Beyond UML to an End-of-Line Functional Test Engine (AB, AB, PP, SM, AT), pp. 499–503.
DATEDATE-2002-DoboliV #co-evolution #design #specification
A Functional Specification Notation for Co-Design of Mixed Analog-Digital Systems (AD, RV), pp. 760–767.
DATEDATE-2002-FerrandiRS #constraints #theorem proving #using #verification
Functional Verification for SystemC Descriptions Using Constraint Solving (FF, MR, DS), pp. 744–751.
DATEDATE-2002-MishraDNT #automation #execution #multi #pipes and filters #verification
Automatic Verification of In-Order Execution In Microprocessors with Fragmented Pipelines and Multicycle Functional Units (PM, NDD, AN, HT), pp. 36–43.
DATEDATE-2002-VedulaA #analysis #generative #named #testing
FACTOR: A Hierarchical Methodology for Functional Test Generation and Testability Analysis (VMV, JAA), pp. 730–734.
TACASTACAS-2002-Backhouse #attribute grammar #semantics
A Functional Semantics of Attribute Grammars (KB), pp. 142–157.
TACASTACAS-2002-KimSC #requirements #specification #using #verification
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS (TK, DWJSC, SDC), pp. 205–220.
ICDARICDAR-2001-EglinG #documentation #visual notation
Visual Exploration and Functional Document Labeling (VE, AG), pp. 816–820.
VLDBVLDB-2001-NishioSTTL #information management
Functional Properties of Information Filtering (RS, MT, YHL, TT, SN), pp. 511–520.
WCREWCRE-2001-Rilling #comprehension
Maximizing Functional Cohesion of Comprehension Environments by Integrating User and Task Knowledge (JR), pp. 157–165.
RTARTA-2001-KuhnemannGK #cumulative #source code
Relating Accumulative and Non-accumulative Functional Programs (AK, RG, KK), pp. 154–168.
FLOPSFLOPS-J1-1998-BorovanskyKKR01 #semantics
Rewriting with Strategies in ELAN: A Functional Semantics (PB, CK, HK, CR), pp. 69–95.
FLOPSFLOPS-J2-1998-Hinze01 #axiom #implementation #prolog
Prolog’s Control Constructs in a Functional Setting — Axioms and Implementation (RH), pp. 125–170.
FLOPSFLOPS-2001-Almendros-JimenezB #bottom-up #evaluation #framework #logic programming #source code
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs (JMAJ, ABT), pp. 153–169.
FLOPSFLOPS-2001-CaballeroLR #debugging #declarative #lazy evaluation #logic programming #source code
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs (RC, FJLF, MRA), pp. 170–184.
FLOPSFLOPS-2001-ChoiLH #compilation #java #lazy evaluation #source code #virtual machine
Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine (KC, HiL, TH), pp. 92–107.
FLOPSFLOPS-2001-Ferri-RamirezHR #incremental #learning #logic programming #source code
Incremental Learning of Functional Logic Programs (CF, JHO, MJRQ), pp. 233–247.
ICFPICFP-2001-ChakravartyK #array
Functional Array Fusion (MMTC, GK), pp. 205–216.
ICFPICFP-2001-Pitts #approach #programming #representation #syntax
A Fresh Approach to Representing Syntax with Static Binders in Functional Programming (AMP), p. 1.
IFLIFL-2001-MolEP #proving #theorem proving
Theorem Proving for Functional Programmers (MdM, MCJDvE, MJP), pp. 55–71.
LOPSTRLOPSTR-2001-Shankar #static analysis
Static Analysis for Safe Destructive Updates in a Functional Language (NS), pp. 1–24.
PADLPADL-2001-Courtney #java #named #programming
Frappé: Functional Reactive Programming in Java (AC), pp. 29–44.
PPDPPPDP-2001-PenaR #abstraction #parallel #programming
Parallel Functional Programming at Two Levels of Abstraction (RP, FR), pp. 187–198.
GPCESAIG-2001-Wakeling #design #source code
A Design Methodology for Functional Programs (DW), pp. 146–162.
ASEASE-2001-LegeardP #case study #generative #industrial #sequence #testing
Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study (BL, FP), pp. 377–381.
ICSEICSE-2001-AntonP #evolution
Functional Paleontology: System Evolution as the User Sees It (AIA, CP), pp. 421–430.
DACDAC-2001-KudlugiHSP #architecture #simulation #transaction #verification
A Transaction-Based Unified Simulation/Emulation Architecture for Functional Verification (MK, SH, CS, DP), pp. 623–628.
DACDAC-2001-KudlugiST #multi #scheduling #verification
Static Scheduling of Multiple Asynchronous Domains For Functional Verification (MK, CS, RT), pp. 647–652.
DACDAC-2001-XiaoM #analysis #correlation #identification
Functional Correlation Analysis in Crosstalk Induced Critical Paths Identification (TX, MMS), pp. 653–656.
DATEDATE-2001-BekooijEWB #behaviour
Functional units with conditional input/output behavior in VLIW processors (MB, LJME, AvdW, NGB), p. 822.
DATEDATE-2001-ChangHM #optimisation #symmetry #using
In-place delay constrained power optimization using functional symmetries (CWJC, BH, MMS), pp. 377–382.
DATEDATE-2001-FerrandiFSFF #behaviour #generative #modelling #testing
Functional test generation for behaviorally sequential models (FF, GF, DS, AF, FF), pp. 403–410.
DATEDATE-2001-HeringLM #logic #named #parallel
dibSIM: a parallel functional logic simulator allowing dynamic load balancing (KH, JL, JM), pp. 472–478.
DATEDATE-2001-JozwiakC #composition #metric
High-quality sub-function construction in functional decomposition based on information relationship measures (LJ, AC), pp. 383–390.
TACASTACAS-2001-MycroftS #co-evolution #design #hardware #using
Hardware/Software Co-Design Using Functional Languages (AM, RS), pp. 236–251.
ICLPICLP-2001-Almendros-JimenezBS #database #deduction #logic
A Computational Model for Functional Logic Deductive Databases (JMAJ, ABT, JSH), pp. 331–347.
TPDLECDL-2000-Pasquier #automation #classification #database #library #order #topic
Functional and Intentional Limitations of Interactivity on Content Indexing Topics: Possible Uses of Automatic Classification and Contents Extraction Systems, in Order to Create Digital Libraries Databases (FP), pp. 219–228.
IWPCIWPC-2000-AntoniolCLCM #object-oriented #requirements
Tracing Object-Oriented Code into Functional Requirements (GA, GC, ADL, GC, EM), pp. 79–86.
ICALPICALP-2000-MycroftS #parallel
A Statically Allocated Parallel Functional Language (AM, RS), pp. 37–48.
ICFPICFP-2000-Faxen #evaluation #lazy evaluation
Cheap eagerness: speculative evaluation in a lazy functional language (KFF), pp. 150–161.
ICFPICFP-2000-GapeyevLP #recursion #type system
Recursive subtyping revealed: functional pearl (VG, MYL, BCP), pp. 221–231.
ICFPICFP-2000-JonesES #contract
Composing contracts: an adventure in financial engineering, functional pearl (SLPJ, JME, JS), pp. 280–292.
ICFPICFP-2000-McNamaraS #c++ #programming
Functional programming in C++ (BM, YS), pp. 118–129.
ICFPICFP-2000-Seger #hardware #programming #verification
Combining functional programming and hardware verification (CJHS), p. 244.
ICFPICFP-2000-Weirich #type safety
Type-safe cast: functional pearl (SW), pp. 58–67.
ICFPICFP-2000-Wong #query
The functional guts of the Kleisli query system (LW), pp. 1–10.
IFLIFL-2000-ChitilRW #comparative #debugging #evaluation #lazy evaluation #source code
Freja, Hat and Hood — A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs (OC, CR, MW), pp. 176–193.
IFLIFL-2000-ODonnell #programming #semantics
The Collective Semantics in Functional SPMD Programming (JO), pp. 249–266.
IFLIFL-2000-SargeantKW #parallel #source code
Exploiting Implicit Parallelism in Functional Programs with SLAM (JS, CCK, IW), pp. 19–36.
IFLIFL-2000-SchroederK
Organizing Speculative Computations in Functional Systems (RS, WEK), pp. 214–230.
IFLIFL-2000-ZornerKEP
Polygonizing Implicit Surfaces in a Purely Functional Way (THGZ, PWMK, MCJDvE, MJP), pp. 158–175.
KDDKDD-2000-KingKCD #data mining #mining #predict #sequence #using
Genome scale prediction of protein functional class from sequence using data mining (RDK, AK, AC, LD), pp. 384–389.
TOOLSTOOLS-EUROPE-2000-Meyer00a #programming
Programming with Agents: Combining O-O and Functional Techniques (BM), p. 460.
LOPSTRLOPSTR-2000-EtalleM #lazy evaluation #logic programming
The lazy functional side of logic programming (SE, JM).
LOPSTRLOPSTR-J-2000-AlbertAV #effectiveness #logic #partial evaluation
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages (EA, SA, GV), pp. 103–124.
PADLPADL-2000-ChuangM #programming #type system
Out-of-Core Functional Programming with Type-Based Primitives (TRC, SCM), pp. 32–46.
PADLPADL-2000-Hanus #approach #logic programming #user interface #visual notation
A Functional Logic Programming Approach to Graphical User Interfaces (MH), pp. 47–62.
PADLPADL-2000-MarinoM #logic programming #source code #static analysis #using
Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), pp. 63–80.
PADLPADL-2000-PetersonTS #parallel #programming
Parallel Functional Reactive Programming (JP, VT, AS), pp. 16–31.
PLDIPLDI-2000-WanH #programming
Functional reactive programming from first principles (ZW, PH), pp. 242–252.
POPLPOPL-2000-Hinze #approach #programming
A New Approach to Generic Functional Programming (RH), pp. 119–132.
PPDPPPDP-2000-HanusS #logic programming #nondeterminism #source code #type system
Type-based nondeterminism checking in functional logic programs (MH, FS), pp. 202–213.
GPCESAIG-2000-BerardiCDG #source code #type system
Type-Based Useless-Code Elimination for Functional Programs (SB, MC, FD, PG), pp. 172–189.
SACSAC-2000-WangTH #database #dependence #fuzzy #mining #relational
Mining Functional Dependencies from Fuzzy Relational Databases (SLW, JST, TPH), pp. 490–493.
CCCC-2000-SaraivaSK #attribute grammar #incremental
Functional Incremental Attribute Evaluation (JS, SDS, MFK), pp. 279–294.
DACDAC-2000-ChangCSM #detection #performance #symmetry #using
Fast post-placement rewiring using easily detectable functional symmetries (CWJC, CKC, PS, MMS), pp. 286–289.
DACDAC-2000-GhoshF #automation #diagrams #generative #using
Automatic test pattern generation for functional RTL circuits using assignment decision diagrams (IG, MF), pp. 43–48.
DACDAC-2000-VelevB #branch #exception #multi #predict #verification
Formal verification of superscale microprocessors with multicycle functional units, exception, and branch prediction (MNV, REB), pp. 112–117.
DATEDATE-2000-CataldoCPW #generative #hardware
Optimal Hardware Pattern Generation for Functional BIST (SC, SC, PP, HJW), pp. 292–297.
DATEDATE-2000-FinF #fault #generative #testing
A VHDL Error Simulator for Functional Test Generation (AF, FF), pp. 390–395.
DATEDATE-2000-PomeranzR00a #generative #testing
Functional Test Generation for Full Scan Circuits (IP, SMR), pp. 396–401.
ESOPESOP-2000-Hofmann #bound #type system
A Type System for Bounded Space and Functional In-Place Update--Extended Abstract (MH0), pp. 165–179.
ESOPESOP-2000-Jones #dependence
Type Classes with Functional Dependencies (MPJ), pp. 230–244.
ESOPESOP-2000-Odersky
Functional Nets (MO), pp. 1–25.
ICLPCL-2000-Lopez-FraguasH #logic programming #proving #source code
Proving Failure in Functional Logic Programs (FJLF, JSH), pp. 179–193.
ICTSSTestCom-2000-HorvathM #testing #using
Functional Testing GPRS Support Nodes Using TTCN (EH, AM), pp. 229–238.
PODSPODS-1999-HaraD #dependence #reasoning
Reasoning about Nested Functional Dependencies (CSH, SBD), pp. 91–100.
FLOPSFLOPS-1999-AlpuenteFMV #lazy evaluation #logic programming #source code
A Transformation System for Lazy Functional Logic Programs (MA, MF, GM, GV), pp. 147–162.
FLOPSFLOPS-1999-CaballeroL #parsing
A Functional-Logic Perspective on Parsing (RC, FJLF), pp. 85–99.
FLOPSFLOPS-1999-Gonzalez-MorenoHR #logic programming #semantics
Semantics and Types in Functional Logic Programming (JCGM, MTHG, MRA), pp. 1–20.
FLOPSFLOPS-1999-HanusL #logic #program analysis #semantics
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages (MH, SL), pp. 353–368.
FLOPSFLOPS-1999-Kuhnemann #comparison #deforestation #source code #transducer
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers (AK), pp. 114–130.
FLOPSFLOPS-1999-Lux #encapsulation #implementation #lazy evaluation #logic
Implementing Encapsulated Search for a Lazy Functional Logic Language (WL), pp. 100–113.
ICFPICFP-1999-AlpuenteHLV #logic programming #source code
Specialization of Inductively Sequential Functional Logic Programs (MA, MH, SL, GV), pp. 273–283.
ICFPICFP-1999-Longley #question
When is a Functional Program Not a Functional Program? (JL), pp. 1–7.
ICFPICFP-1999-Nilsson #debugging #lazy evaluation
Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages (HN), pp. 36–47.
IFLIFL-1999-DidrichGSTT #programming language
Reflections in Opal — Meta Information in a Functional Programming Language (KD, WG, FS, TT, BTyW), pp. 149–164.
IFLIFL-1999-Groningen #lazy evaluation #multi #optimisation #recursion #tuple
Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language (JHGvG), pp. 59–76.
AGTIVEAGTIVE-1999-PlasmeijerE #graph grammar #mobile
Term Graph Rewriting and Mobile Expressions in Functional Languages (MJP, MCJDvE), pp. 1–13.
HCIHCI-EI-1999-Knapheide #approach #specification
From Focus Group to Functional Specification — A Linguistic Approach to the Transfer of Knowledge (CK), pp. 1247–1251.
PADLPADL-1999-BansalB #logic programming #novel
Applying Logic Programming to Derive Novel Functional Information of Genomes (AKB, PB), pp. 275–289.
PADLPADL-1999-Elliott #animation
From Functional Animation to Sprite-Based Display (CE), pp. 61–75.
PADLPADL-1999-MossR #automation #benchmark #data type #metric
Automated Benchmarking of Functional Data Structures (GEM, CR), pp. 1–15.
PPDPPPDP-1999-Arenas-SanchezLR #constraints #logic programming
Functional Plus Logic Programming with Built-In and Symbolic Constraints (PAS, FJLF, MRA), pp. 152–169.
SACSAC-1999-GollaL #architecture #logic #parallel #scheduling #thread
A Dynamic Scheduling Logic for Exploiting Multiple Functional Units in Single Ship Multithreaded Architectures (PNG, ECL), pp. 466–473.
SACSAC-1999-LuR #information management #knowledge base #named #principle
KAT: A Knowledge Acquisition Tool for Acquiring Functional Knowledge Based Upon the No-Causality-In-Functional Principle (CL, DJR), pp. 8–13.
CCCC-1999-Martin #analysis #comparison #interprocedural #string
Experimental Comparison of call string and functional Approaches to Interprocedural Analysis (FM), pp. 63–75.
DACDAC-1999-ShenABHKGCH #verification
Functional Verification of the Equator MAP1000 Microprocessor (JS, JAA, DB, TH, MK, GG, CcC, GH), pp. 169–174.
DACDAC-1999-TupuriKA #automation #constraints #generative #testing #using
Test Generation for Gigahertz Processors Using an Automatic Functional Constraint Extractor (RST, AK, JAA), pp. 647–652.
DACDAC-1999-YalcinMPBS #analysis
Functional Timing Analysis for IP Characterization (HY, MM, RP, CB, KAS), pp. 731–736.
DATEDATE-1999-CherubalC #fault #parametricity #using
Parametric Fault Diagnosis for Analog Systems Using Functional Mapping (SC, AC), p. 195–?.
DATEDATE-1999-FavalliM #design #on the #self
On the Design of Self-Checking Functional Units Based on Shannon Circuits (MF, CM), pp. 368–375.
DATEDATE-1999-FerrandiFGS #generative #specification
Symbolic Functional Vector Generation for VHDL Specifications (FF, FF, LG, DS), p. 442–?.
DATEDATE-1999-FournierAL #product line #using #verification
Functional Verification Methodology for Microprocessors Using the Genesys Test-Program Generator-Application to the x86 Microprocessors Family (LF, YA, ML), pp. 434–441.
DATEDATE-1999-HwangVH #clustering #power management
FSMD Functional Partitioning for Low Power (EH, FV, YCH), pp. 22–27.
DATEDATE-1999-TragoudasM #fault #tool support
ATPG Tools for Delay Faults at the Functional Level (ST, MKM), p. 631–?.
ESOPESOP-1999-Hudak #programming
Functional Reactive Programming (PH), p. 1.
ICLPICLP-1999-MarinoM #logic programming #source code #static analysis #using
Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), p. 614.
ICLPICLP-1999-OsorioJN #declarative #query
Declarative Pruning in a Functional Query Language (MO, BJ, JCN), pp. 588–604.
ICTSSIWTCS-1999-ProbertW #generative #performance #testing #using
Fast Functional Test Generation Using an SDL Model (RLP, AWW), pp. 299–316.
TPDLECDL-1998-SugimotoMDONT #documentation #html #lessons learnt #multi
Experimental Studies on an Applet-based Document Viewer for Multilingual WWW Documents — Functional Extension of and Lessons Learned from Multilingual HTML (SS, AM, MD, JO, SN, TS, KT), pp. 199–214.
VLDBVLDB-1998-BraumandlCK #database #object-oriented #set
Evaluating Functional Joins Along Nested Reference Sets in Object-Relational and Object-Oriented Databases (RB, JC, AK), pp. 110–122.
FLOPSFLOPS-1998-BorovanskyKK #semantics
A Functional View of Rewriting and Strategies for a Semantics of ELAN (PB, CK, HK), pp. 143–166.
FLOPSFLOPS-1998-Hinze #axiom #implementation #prolog
Prological Features in a Functional Setting Axioms and Implementation (RH), pp. 98–122.
ICFPICFP-1998-Karczmarczuk #difference #source code
Functional Differentiation of Computer Programs (JK), pp. 195–203.
ICFPICFP-1998-Kiselyov98a #abstraction #c++
Functional Style in C++: Closures, Late Binding, and λ Abstractions (OK), p. 337.
ICFPICFP-1998-Ling #named
Frob — Functional Robotics (GSL), p. 345.
ICFPICFP-1998-MarcosLR #approach #authoring #hypermedia #programming
A Functional Programming Approach to Hypermedia Authoring (DHM, PEML, WAR), p. 346.
ICFPICFP-1998-Russell #analysis #design #named
MAP: A Functional Analysis and Design Method (DR), p. 342.
IFLIFL-1998-CharlesR #approach #interactive #parallel #profiling #source code
An Interactive Approach to Profiling Parallel Functional Programs (NC, CR), pp. 20–37.
IFLIFL-1998-HallBTK #parallel #semantics #strict #towards
Towards an Operational Semantics for a Parallel Non-Strict Functional Language (JGH, CABF, PWT, DJK), pp. 54–71.
ECOOPECOOP-1998-KrishnamurthiFF #design #object-oriented
Synthesizing Object-Oriented and Functional Design to Promote Re-Use (SK, MF, DPF), pp. 91–113.
PPDPALP-PLILP-1998-Arenas-SanchezLR #constraints #lazy evaluation #logic #multi
Embedding Multiset Constraints into a Lazy Functional Logic Language (PAS, FJLF, MRA), pp. 429–444.
PPDPALP-PLILP-1998-Asperti #reduction
Optimal Reduction of Functional Expressions (AA), pp. 427–428.
PPDPALP-PLILP-1998-Elliott #animation #implementation
Functional Implementations of Continuos Modeled Animation (CE), pp. 284–299.
PPDPALP-PLILP-1998-Wakeling #compilation #haskell #java #lazy evaluation #mobile #source code #virtual machine
Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine (DW), pp. 335–352.
POPLPOPL-1998-Minamide #data type #representation
A Functional Representation of Data Structures with a Hole (YM), pp. 75–84.
SASSAS-1998-AlbertAFJV #logic programming
Improving Control in Functional Logic Program Specialization (EA, MA, MF, PJI, GV), pp. 262–277.
REICRE-1998-KaindlKK #case study #requirements #using
A Case Study of Decomposing Functional Requirements Using Scenarios (HK, SK, RK), pp. 156–163.
DACDAC-1998-EvansSVBDHHL #scalability #verification
Functional Verification of Large ASICs (AE, AS, GV, TB, MD, GH, TH, YL), pp. 650–655.
DACDAC-1998-FallahDK #generative #linear #modelling #programming #satisfiability #using
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability (FF, SD, KK), pp. 528–533.
DACDAC-1998-FallahDK98a #metric #named #performance #test coverage #verification
OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification (FF, SD, KK), pp. 152–157.
DACDAC-1998-FangW #clustering #multi #replication #using
Performance-Driven Multi-FPGA Partitioning Using Functional Clustering and Replication (WJF, ACHW), pp. 283–286.
DACDAC-1998-KimCLLPK #modelling
Virtual Chip: Making Functional Models Work on Real Target Systems (NK, HC, SL, SL, ICP, CMK), pp. 170–173.
DACDAC-1998-KukimotoB #analysis
Hierarchical Functional Timing Analysis (YK, RKB), pp. 580–585.
DACDAC-1998-LuoWA #hybrid #performance #simulation
Hybrid Techniques for Fast Functional Simulation (YL, TW, AA), pp. 664–667.
DACDAC-1998-Marantz #performance #re-engineering #verification
Enhanced Visibility and Performance in Functional Verification by Reconstruction (JM), pp. 164–169.
DACDAC-1998-TaylorQBDHHR #multi #verification
Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor — The DEC Alpha 21264 Microprocessor (SAT, MQ, DB, ND, SH, JH, CR), pp. 638–643.
DATEDATE-1998-ChandramouliWS #analysis #named
AFTA: A Formal Delay Model for Functional Timing Analysis (VC, JW, KAS), pp. 350–355.
DATEDATE-1998-ChangCML #testing
Functional Scan Chain Testing (DC, KTC, MMS, MTCL), pp. 278–283.
DATEDATE-1998-GoldbergKB #specification #verification
Combinational Verification based on High-Level Functional Specifications (EIG, YK, RKB), pp. 803–808.
DATEDATE-1998-RiesgoTTU #estimation #fault #modelling #quality #validation
Quality Estimation of Test Vectors and Functional Validation Procedures Based on Fault and Error Models (TR, YT, EdlT, JU), pp. 955–956.
DATEDATE-1998-RosenbergerH #approach #behaviour #modelling #simulation
A Systems Theoretic Approach to Behavioural Modeling and Simulation of Analog Functional Blocks (RR, SAH), pp. 721–728.
DATEDATE-1998-Scholl #composition #multi
Multi-output Functional Decomposition with Exploitation of Don’t Cares (CS), pp. 743–748.
ISMMISMM-1998-WallaceR #lazy evaluation
The Bits Between The Lambdas: Binary Data in a Lazy Functional Language (MW, CR), pp. 107–117.
ESOPESOP-1998-JayS #exclamation #imperative
The Functional Imperative: Shape! (CBJ, PS), pp. 139–153.
ESOPESOP-1998-Smolka #concurrent #constraints #programming
Concurrent Constraint Programming Based on Functional Programming (GS), pp. 1–11.
CSLCSL-1998-Vorobyov #type system
Subtyping Functional+Nonempty Record Types (SGV), pp. 283–297.
TLCATLCA-1997-BerardiB #data type
Minimum Information Code in a Pure Functional Language with Data Types (SB, LB), pp. 30–45.
ICFPICFP-1997-AertsV #user interface
A GUI on Top of a Functional Language (KA, KDV), p. 308.
ICFPICFP-1997-Duris #attribute grammar #deforestation #programming
Functional Programming and Attribute Grammars Deforestation (ÉD), p. 312.
ICFPICFP-1997-ElliottH #animation
Functional Reactive Animation (CE, PH), pp. 263–273.
ICFPICFP-1997-Erwig #graph #programming
Functional Programming with Graphs (ME), pp. 52–65.
ICFPICFP-1997-Kagawa #composition #programming
Compositional References for Stateful Functional Programming (KK), pp. 217–226.
ICFPICFP-1997-KrasnogorLMP #programming
Protien Folding meets Functional Programming (NK, PEML, PM, DAP), p. 313.
ICFPICFP-1997-Lassila #code generation #confluence #context-sensitive grammar #metaprogramming #optimisation
A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence (EL), p. 315.
ICFPICFP-1997-Ostvold #induction #recursion #source code #synthesis
Inductive Synthesis of Recursive Functional Programs (Poster Abstract) (BMØ), p. 323.
ICFPICFP-1997-SabelfeldS #analysis #problem #semantics #source code
Simple Semantic Analysis Problems for Functional Programs (VKS, AS), p. 319.
ICFPICFP-1997-SpiliopoulouHD #approach #distributed #programming
Distributed Programming, a Purely Functional Approach (ES, IH, ND), p. 320.
ICFPICFP-1997-Wailly #data flow #named #parallel
λ-Flow: A Parallel Functional Synchronous Dataflow Language (GdW), p. 322.
IFLIFL-1997-AchtenP #interactive
Interactive Functional Objects in Clean (PA, MJP), pp. 304–321.
IFLIFL-1997-Chitil #lazy evaluation
Common Subexpressions Are Uncommon in Lazy Functional Languages (OC), pp. 53–71.
IFLIFL-1997-LoidlMTPCJG #scalability
Parallelising a Large Functional Program or: Keeping LOLITA Busy (HWL, RGM, PWT, SP, CC, SLPJ, RG), pp. 198–213.
IFLIFL-1997-LoidlT #parallel #scalability #source code
Engineering Large Parallel Functional Programs (HWL, PWT), pp. 178–197.
IFLIFL-1997-MossR #benchmark #data type #metric #named
Auburn: A Kit for Benchmarking Functional Data Structures (GEM, CR), pp. 141–159.
IFLIFL-1997-SparudR
Complete and Partial Redex Trails of Functional Computations (JS, CR), pp. 160–177.
HCIHCI-SEC-1997-MatsubayashiTT #specification #towards
Integrating System’s Functional Model and its Structional Model Toward Denotational Dialogue Specification (KM, YT, NT), pp. 63–66.
ICMLICML-1997-Torgo #modelling
Functional Models for Regression Tree Leaves (LT), pp. 385–393.
PPDPALP-1997-Antoy #logic #nondeterminism
Optimal Non-deterministic Functional Logic Computations (SA), pp. 16–30.
PPDPALP-1997-GeserG #source code
Parallelizing Functional Programs by Generalization (AG, SG), pp. 46–60.
PPDPALP-1997-SuzukiNI #calculus #higher-order #lazy evaluation #logic
Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language (TS, KN, TI), pp. 99–113.
LOPSTRLOPSTR-1997-LafaveG #constraints #logic programming #partial evaluation #source code
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs (LL, JPG), pp. 168–188.
PEPMPEPM-1997-AlpuenteFJV #lazy evaluation #logic programming #source code
Specialization of Lazy Functional Logic Programs (MA, MF, PJI, GV), pp. 151–162.
PPDPPLILP-1997-Cousineau #geometry #programming
Functional Programming and Geometry (GC), pp. 309–322.
PPDPPLILP-1997-Hanus #education #logic programming
Teaching Functional and Logic Programming with a Single Computational Model (MH), pp. 335–350.
PPDPPLILP-1997-Lucas #performance #programming
Transformations for Efficient Evaluations in Functional Programming (SL), pp. 127–141.
PPDPPLILP-1997-SparudR #lazy evaluation #using
Tracing Lazy Functional Computations Using Redex Trails (JS, CR), pp. 291–308.
PPDPPLILP-1997-Thompson #approach #education #problem #programming
Where Do I Begin? A Problem Solving Approach in teaching Functional Programming (SJT), pp. 323–334.
POPLPOPL-1997-Hanus #logic programming
A Unified Computation Model for Functional and Logic Programming (MH), pp. 80–93.
POPLPOPL-1997-OngS
A Curry-Howard Foundation for Functional Computation with Control (CHLO, CAS), pp. 215–227.
POPLPOPL-1997-Sands #proving
From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages (DS), pp. 428–441.
SASSAS-1997-CorrensonDPR #attribute grammar #deforestation #programming
Attribute Grammars and Functional Programming Deforestation (LC, ÉD, DP, GR), p. 365.
SASSAS-1997-PanitzS #automation #higher-order #named #proving #source code #strict #termination
TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language (SEP, MSS), pp. 345–360.
SASSAS-1997-Zartmann #abstract interpretation #logic programming #source code
Denotational Abstract Interpretation of Functional Logic Programs (FZ), pp. 141–159.
RERE-1997-Ben-AbdallahLK #analysis #requirements #specification
Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements (HBA, IL, YSK), pp. 198–209.
ICSEICSE-1997-BernotBG #formal method #probability #testing
A Theory of Probabilistic Functional Testing (GB, LB, PLG), pp. 216–226.
DATEEDTC-1997-ChakrabortyM #bound #parallel #programmable #testing
A programmable boundary scan technique for board-level, parallel functional duplex march testing of word-oriented multiport static RAMs (KC, PM), pp. 330–334.
DATEEDTC-1997-Vahid #clustering
Procedure cloning: a transformation for improved system-level functional partitioning (FV), pp. 487–492.
TAPSOFTTAPSOFT-1997-Arenas-SanchezR #algebra #framework #logic programming #polymorphism #semantics
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types (PAS, MRA), pp. 453–464.
TAPSOFTTAPSOFT-1997-LeivantM
Predicative Functional Recurrence and Poly-space (DL, JYM), pp. 369–380.
CSLCSL-1997-HartonasH #concurrent #higher-order
Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (CH, MH), pp. 239–254.
ICLPICLP-1997-AntoyEH #evaluation #logic #parallel
Parallel Evaluation Strategies for Functional Logic Languages (SA, RE, MH), pp. 138–152.
ICLPICLP-1997-Gonzalez-MorenoHR #higher-order #logic programming
A Higher Order Rewriting Logic for Functional Logic Programming (JCGM, MTHG, MRA), pp. 153–167.
ICLPICLP-1997-MolinaP #composition #logic programming
Modularity in Functional-Logic Programming (JMMB, EP), pp. 183–197.
ICLPILPS-1997-Arenas-SanchezR #algebra #calculus #lazy evaluation #logic programming #polymorphism
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types (PAS, MRA), pp. 53–67.
ICLPILPS-1997-GelfondG #logic programming #specification
From Functional Specifications to Logic Programms (MG, AG), pp. 355–369.
LICSLICS-1997-Laird #abstraction
Full Abstraction for Functional Languages with Control (JL), pp. 58–67.
ITiCSEITiCSE-1996-Jimenez-PerisPPV #evaluation #source code #visual notation #visualisation
Graphical visualization of the evaluation of functional programs (RJP, CPF, MPM, JÁVI), pp. 36–38.
ITiCSEITiCSE-1996-Velazquez-Iturbide #named #programming
HIPE: a Turbo-like environment for functional programming (JÁVI), p. 234.
AFPAFP-1996-Okasaki96 #data type
Functional Data Structures (CO), pp. 131–158.
ICFPICFP-1996-FlanaganN #design #implementation #named #parallel
pHluid: The Design of a Parallel Functional Language Implementation on Workstations (CF, RSN), pp. 169–179.
ICFPICFP-1996-HardinMP #calculus
Functional Back-Ends within the λσ Calculus (TH, LM, BP), pp. 25–33.
IFLIFL-1996-Assmann #coordination #petri net #process #using
Coordinating Functional Processes Using Petri Nets (CA), pp. 162–183.
IFLIFL-1996-BoquistJ #lazy evaluation #optimisation
The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages (UB, TJ), pp. 58–84.
IFLIFL-1996-BraineC #object-oriented
Introducing CLOVER: An Object-Oriented Functional Language (LB, CC), pp. 1–20.
IFLIFL-1996-DoschM
Calculating a Functional Module for Binary Search Trees (WD, BM), pp. 267–284.
IFLIFL-1996-JarvisM #lazy evaluation #profiling #scalability #source code
The Results of: Profiling Large-Scale Lazy Functional Programs (SAJ, RGM), pp. 200–221.
IFLIFL-1996-Scholz #array #on the #programming
On Programming Scientific Applications in SAC — A Functional Language Extended by a Subsystem for High-Level Array Operations (SBS), pp. 85–104.
IFLIFL-1996-Serrarens #algorithm #implementation
Implementing the Conjugate Gradient Algorithm in a Functional Language (PRS), pp. 125–140.
ICPRICPR-1996-GonzalezC #classification #markov #random
The Markov random fields in functional neighbors as a texture model: applications in texture classification (AMG, DC), pp. 815–819.
ECOOPECOOP-1996-QianK #object-oriented #programming
Typed Object-Oriented Functional Programming with Late Binding (ZQ, BKB), pp. 48–72.
OOPSLAOOPSLA-1996-Moller #information management #logic #object-oriented #representation
A Functional Layer for Description Logics: Knowledge Representation Meets Object-Oriented Programing (RM), pp. 198–213.
PPDPALP-1996-Almendros-JimenezGG #algebra #logic programming #order #polymorphism #semantics
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types (JMAJ, AGF, AGL), pp. 299–313.
PPDPPLILP-1996-GalanPP #process
Functional Skeletons Generate Process Topologies in Eden (LAG, CP, RP), pp. 289–303.
PPDPPLILP-1996-Scholz #concurrent #constraints #framework #named #programming #user interface
PIDGETS — Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI Programming (ES), pp. 363–377.
POPLPOPL-1996-Niehren #concurrent
Functional Computation as Concurrent Computation (JN), pp. 333–343.
SASSAS-1996-AndersenH #analysis #higher-order #partial evaluation #termination
Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language (PHA, CKH), pp. 67–82.
REICRE-1996-Rawsthorne #interactive #requirements
Capturing functional requirements through object interactions (DAR), pp. 60–68.
SACSAC-1996-WaillyB #data flow #implementation #parallel #semantics #specification
Specification of a functional synchronous dataflow language for parallel implementations with the denotational semantics (GdW, FB), pp. 414–419.
DACDAC-1996-CasaubieilhMBBPRBEMBB #verification
Functional Verification Methodology of Chameleon Processor (FC, AM, MB, MB, FP, FR, MB, JE, GM, GB, CB), pp. 421–426.
DACDAC-1996-GanapathyNJFWN #hardware #verification
Hardware Emulation for Functional Verification of K5 (GG, RN, GJ, DF, MW, JN), pp. 315–318.
DACDAC-1996-HosseiniMK #analysis #code generation #verification
Code Generation and Analysis for the Functional Verification of Microprocessors (AH, DM, PK), pp. 305–310.
DACDAC-1996-JonesP #automation #design #generative
The Automatic Generation of Functional Test Vectors for Rambus Designs (KDJ, JPP), pp. 415–420.
DACDAC-1996-MonacoHR #verification
Functional Verification Methodology for the PowerPC 604 Microprocessor (JM, DH, RR), pp. 319–324.
ESOPESOP-1996-AlpuenteFV #logic programming #partial evaluation #source code
Narrowing-Driven Partial Evaluation of Functional Logic Programs (MA, MF, GV), pp. 45–61.
ESOPESOP-1996-Rose #linear
Linear Time Hierarchies for a Functional Language Machine Model (ER), pp. 311–325.
STOCSTOC-1996-KaplanT
Purely Functional Representations of Catenable Sorted Lists (HK, RET), pp. 202–211.
CSLCSL-1996-EekelenSP #graph grammar #programming language #semantics
Graph Rewriting Semantics for Functional Programming Languages (MCJDvE, SS, MJP), pp. 106–128.
ISSTAISSTA-1996-BarjaktarovicCJ #kernel #protocol #specification #using #verification
Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS (MB, SKC, KJ), pp. 270–279.
ISSTAISSTA-1996-MorascaMP #generative #in the large #specification #testing
Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications (SM, AM, PSP), pp. 39–52.
ICDARICDAR-v2-1995-TaylorLN #classification #composition #documentation
Classification and functional decomposition of business documents (SLT, ML, RWN), pp. 563–566.
SIGMODSIGMOD-1995-GardarinMP #execution #named #query
OFL: A Functional Execution Model for Object Query Languages (GG, FM, PP), pp. 59–70.
TFPIEFPLE-1995-Fokker #algebra #source code
Explaining Algebraic Theory with Functional Programs (JF), pp. 139–158.
TFPIEFPLE-1995-JarvisPM #case study #comprehension #education #experience #programming #scalability
Understanding LOLITA: Experiences in Teaching Large Scale Functional Programming (SAJ, SP, RGM), pp. 103–119.
TFPIEFPLE-1995-Karczmarczuk #programming
Functional Programming and Mathematical Objects (JK), pp. 121–137.
TFPIEFPLE-1995-Keravnou #programming
Introducing Computer Science Undergraduates to Principles of Programming Through a Functional Language (ETK), pp. 15–34.
TFPIEFPLE-1995-KlugeRS #education #execution #programming #using
Using pi-RED as a Teaching Tool for Functional Programming and Program Execution (WEK, CR, SBS), pp. 231–249.
TFPIEFPLE-1995-KoopmanZ #database #programming
Functional Programming in a Basic Database Course (PWMK, VZ), pp. 215–229.
TFPIEFPLE-1995-NunezPP #data type #programming
A Second Year Course on Data Structures Based on Functional Programming (MN, PP, RP), pp. 65–84.
TFPIEFPLE-1995-ODonnell #architecture #education #specification
From Transistors to Computer Architecture: Teaching Functional Circuit Specification in Hydra (JJO), pp. 195–214.
TFPIEFPLE-1995-ThompsonH #education #programming
Functional Programming Through the Curriculum (SJT, SH), pp. 85–102.
TFPIEFPLE-1995-Turner #programming
Elementary Strong Functional Programming (DAT), pp. 1–13.
AFPAFP-1995-EekelenP95 #performance #source code
Constructing Medium Sized Efficient Functional Programs in Clean (MCJDvE, MJP), pp. 183–227.
AFPAFP-1995-Fokker95 #parsing
Functional Parsers (JF), pp. 1–23.
AFPAFP-1995-Jones95 #higher-order #morphism #polymorphism #programming
Functional Programming with Overloading and Higher-Order Polymorphism (MPJ), pp. 97–136.
AFPAFP-1995-Launchbury95 #algorithm #graph
Graph Algorithms with a Functional Flavous (JL), pp. 308–331.
AFPAFP-1995-MeijerJ95 #monad #programming
Merging Monads and Folds for Functional Programming (EM, JJ), pp. 228–266.
AFPAFP-1995-Wadler95 #monad #programming
Monads for Functional Programming (PW), pp. 24–52.
FPCAFPCA-1995-BlellochG #parallel
Parallelism in Sequential Functional Languages (GEB, JG), pp. 226–237.
FPCAFPCA-1995-Boquist #interprocedural #lazy evaluation
Interprocedural Register Allocation for Lazy Functional Languages (UB), pp. 270–281.
FPCAFPCA-1995-JeuringS #analysis #problem #source code
Constructing Functional Programs for Grammar Analysis Problems (JJ, SDS), pp. 259–269.
FPCAFPCA-1995-Marchiori #logic programming
The Functional Side of Logic Programming (MM), pp. 55–65.
FPCAFPCA-1995-Okasaki
Purely Functional Random-Access Lists (CO), pp. 86–95.
FPCAFPCA-1995-QuintonRW #imperative #source code
Deriving Imperative Code from Functional Programs (PQ, SVR, DW), pp. 36–44.
FPCAFPCA-1995-WallaceR #architecture #embedded #programming
λs in the Liftshaft — Functional Programming and an Embedded Architecture (MW, CR), pp. 249–258.
KDDKDD-1995-Bell #dependence #maintenance
Discovery and Maintenance of Functional Dependencies by Independencies (SB), pp. 27–32.
KDDKDD-1995-TsumotoT95a #automation #component #representation #sequence #set
Automated Discovery of Functional Components of Proteins from Amino-Acid Sequences Based on Rough Sets and Change of Representation (ST, HT), pp. 318–324.
SEKESEKE-1995-BrownseyZ #programming #specification #user interface #using
From Specification to Building a GUI using Functional Programming (KB, MZ), pp. 244–251.
SEKESEKE-1995-Gattiker #petri net #probability #representation
Representing Structural and Functional Knowledge with Stochastic Petri Nets (JRG), pp. 47–53.
ECOOPECOOP-1995-Florijn #parsing #protocol
Object Protocols as Functional Parsers (GF), pp. 351–373.
LOPSTRLOPSTR-1995-Hanus #lazy evaluation #logic programming #performance #prolog #source code
Efficient Translation of Lazy Functional Logic Programs into Prolog (MH), pp. 252–266.
PPDPPLILP-1995-Achten #framework #interactive #source code
A Functional Framework for Deterministically Interleaved Interactive Programs (PA), pp. 451–452.
PPDPPLILP-1995-DouenceF #implementation #taxonomy #towards
Towards a Taxonomy of Functional Languages Implementations (RD, PF), pp. 27–44.
PPDPPLILP-1995-HansSW #implementation #logic
An Expression-Or-Parallel Implementation for a Functional Logic Language (WH, FS, SW), pp. 457–458.
PPDPPLILP-1995-NakaharaMI #calculus #higher-order #logic programming
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming (KN, AM, TI), pp. 97–114.
PPDPPLILP-1995-NobleR #component #lazy evaluation #named #user interface #visual notation
Gadgets: Lazy Functional Components for Graphical User Interfaces (RN, CR), pp. 321–340.
PPDPPLILP-1995-VullinghsTS #lightweight #programming #user interface
Lightweight GUIs for Functional Programming (TV, DT, WS), pp. 341–356.
POPLPOPL-1995-SansomJ #higher-order #profiling #strict
Time and Space Profiling for Non-Strict Higher-Order Functional Languages (PMS, SLPJ), pp. 355–366.
SASSAS-1995-Coorg #clustering #code generation #concurrent #multi #strict #thread
Partitioning Non-strict Functional Languages for Multi-threaded Code Generation (SRC), pp. 82–99.
SASSAS-1995-Faxen #lazy evaluation #optimisation #source code #using
Optimizing Lazy Functional Programs Using Flow Inference (KFF), pp. 136–153.
SASSAS-1995-Giesl #analysis #order #source code #termination #using
Termination Analysis for Functional Programs using Term Orderings (JG), pp. 154–171.
SASSAS-1995-Hannan #analysis #stack #type system
A Type-based Analysis for Stack Allocation in Functional Languages (JH), pp. 172–188.
SASSAS-1995-SerranoW #compilation #named #optimisation #strict
Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages (MS, PW), pp. 366–381.
SASSAS-1995-Tofte #higher-order
Region Inference for Higher-Order Functional Languages (MT), pp. 19–20.
AdaTRI-Ada-1995-Shumate95b #analysis #design #object-oriented #requirements
BATCES Solution #1: An Object-Oriented Design from Functional Requirements Analysis (KS), pp. 737–739.
ASEKBSE-1995-Richardson #automation #data type #source code
Automating Changes of Data Type in Functional Programs (JR), pp. 166–173.
SACSAC-1995-Scholz #concurrent #data type #programming language
Turning a functional data type into a concurrent programming language (ES), pp. 135–139.
SACSAC-1995-Serrano #analysis #compilation #control flow #paradigm
Control flow analysis: a functional languages compilation paradigm (MS), pp. 118–122.
DACDAC-1995-AharonGLLMMMS #generative #verification
Test Program Generation for Functional Verification of PowerPC Processors in IBM (AA, DG, ML, YL, YM, CM, MM, GS), pp. 279–285.
DACDAC-1995-KassabMRT #architecture #fault #simulation
Software Accelerated Functional Fault Simulation for Data-Path Architectures (MK, NM, JR, JT), pp. 333–338.
DACDAC-1995-WurthEA #algorithm #composition #multi
Functional Multiple-Output Decomposition: Theory and an Implicit Algorithm (BW, KE, KA), pp. 54–59.
ISMMIWMM-1995-Hamilton #garbage collection #lazy evaluation
Compile-Time Garbage Collection for Lazy Functional Languages (GWH), pp. 119–144.
ISMMIWMM-1995-Rojemo #garbage collection #lazy evaluation
Generational Garbage Collection without Temporary Space Leaks for Lazy Functional Languages (NR), pp. 145–162.
ESOPESOP-J-1994-GiegerichK95 #comparison #imperative
A Comparison of Imperative and Purely Functional Suffix Tree Constructions (RG, SK), pp. 187–218.
ICLPILPS-1995-GiacobazziR #abstract interpretation #dependence #semantics
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics (RG, FR), pp. 321–335.
ICLPILPS-1995-Kuchen #implementation #logic programming
Implementation Issues for Functional Logic Programming (HK), pp. 612–613.
ICLPILPS-1995-Prehofer #call-by #higher-order #logic programming
A Call-by-Need Strategy for Higher-Order Functional-Logic Programming (CP), pp. 147–161.
LICSLICS-1995-Jeffrey #concurrent #monad #semantics
A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types (AJ), pp. 255–264.
LICSLICS-1995-Tronci #hardware #logic programming #verification
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming (ET), pp. 408–418.
PODSPODS-1994-HillebrandK #database #order #query #λ-calculus
Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (GGH, PCK), pp. 222–231.
FMFME-1994-Collinson #specification
A Critical Look at Functional Specifications (RC), pp. 381–400.
LISPLFP-1994-Chuang #array #implementation #multi #random
A Randomized Implementation of Multiple Functional Arrays (TRC), pp. 173–184.
LISPLFP-1994-SastryC #parallel #strict
Parallel Destructive Updating in Strict Functional Languages (AVSS, WDC), pp. 263–272.
LISPLFP-1994-StefanescuZ #analysis #equation #framework #higher-order #source code
An Equational Framework for the Flow Analysis of Higher Order Functional Programs (DCS, YZ), pp. 318–327.
KDDKDD-1994-Kiselev #named #source code
PolyAnalyst — A Machine Discovery System Inferring Functional Programs (MVK), pp. 237–250.
SEKESEKE-1994-AtchanE #behaviour #empirical #modelling #requirements #specification
An experiment in eliminating the separation between data, functional, and behavioral models during requirements specification (HMA, GCE), pp. 2–9.
SEKESEKE-1994-ElstHST #component #reuse #specification
A functional specification of reusing software components (JvdE, FvH, GS, MT), pp. 374–381.
PPDPALP-1994-JonesR #graph #higher-order
Higher-Order Minimal Functional Graphs (NDJ, MR), pp. 242–252.
PLDIPLDI-1994-LaunchburyJ #lazy evaluation #thread
Lazy Functional State Threads (JL, SLPJ), pp. 24–35.
PPDPPLILP-1994-BelkhirN #logic #towards #using
Towards Integrating Functional and Logic Styles Using Relation (AB, NN), pp. 463–464.
PPDPPLILP-1994-Grivas #compilation #constraints #logic #symbolic computation #towards
Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems (GG), pp. 455–456.
PPDPPLILP-1994-MaraistS #graph #reduction
A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages (JM, FSKS), pp. 355–369.
PPDPPLILP-1994-Serrano #analysis #compilation #control flow #higher-order #using
Using Higher-Order Control Flow Analysis When Compiling Functional Languages (MS), pp. 447–448.
POPLPOPL-1994-Odersky
A Functional Theory of Local Names (MO), pp. 48–59.
POPLPOPL-1994-Paakki #execution #logic programming #multi #source code
Multi-Pass Execution of Functional Logic Programs (JP), pp. 361–374.
SASSAS-1994-HanusZ #analysis #logic programming #source code
Mode Analysis of Functional Logic Programs (MH, FZ), pp. 26–42.
CCCC-1994-Hanus #logic programming #optimisation #source code #towards
Towards the Global Optimization of Functional Logic Programs (MH), pp. 68–82.
DACDAC-1994-DrechslerSTBP #diagrams #order #performance #representation
Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams (RD, AS, MT, BB, MAP), pp. 415–419.
DACDAC-1994-MurgaiBS #composition #encoding #using
Optimum Functional Decomposition Using Encoding (RM, RKB, ALSV), pp. 408–414.
DACDAC-1994-VinnakotaA #fault #generative #testing
Functional Test Generation for FSMs by Fault Extraction (BV, JA), pp. 712–715.
DATEEDAC-1994-AGZS #testing
Functional Tests for Ring-Address SRAM-type FIFOs (AJvdG, YZ, IS), p. 666.
DATEEDAC-1994-BeckerD #diagrams #testing
Testability of Circuits Derived from Functional Decision Diagrams (BB, RD), p. 667.
DATEEDAC-1994-FummiSS #approach #fault #generative #testing
A Functional Approach to Delay Faults Test Generation for Sequential Circuits (FF, DS, MS), pp. 51–57.
DATEEDAC-1994-SafiniaLS #analysis #modelling
Taking Advantage of High Level Functional Information to Refine Timing Analysis and Timing Modeling (CS, RL, GS), pp. 349–353.
PDPPDP-1994-Dauphin #debugging #distributed #modelling #monitoring #parallel #performance
Combining Functional And Performance Debugging Of Parallel And Distributed Systems Based On Model-driven Monitoring (PD), pp. 463–470.
PDPPDP-1994-Jennings #architecture #on the
On The Properties Of A Polar Functional Language For A Tagged Token Architecture (GJ), pp. 162–166.
ESOPESOP-1994-GiegerichK #paradigm #programming
Suffix Trees in the Functional Programming Paradigm (RG, SK), pp. 225–240.
ESOPESOP-1994-JeuringS #analysis #bottom-up
Bottom-up Grammar Analysis — A Functional Formulation (JJ, SDS), pp. 317–332.
ESOPESOP-1994-Moreau #automaton #continuation #evaluation #parallel #source code
The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations (LM), pp. 424–438.
ESOPESOP-1994-MuckS #continuation #logic #semantics
A Tiny Constrain Functional Logic Language and Its Continuation Semantics (AM, TS), pp. 439–453.
STOCSTOC-1994-JacquetS #algorithm #analysis #equation
A functional equation often arising in the analysis of algorithms (PJ, WS), pp. 780–789.
ICLPILPS-1994-Jones #abstract interpretation #logic programming #partial evaluation
Abstract Interpretation and Partial Evaluation in Functional and Logic Programming (NDJ), pp. 17–22.
ICLPILPS-1994-Lloyd #logic programming #programming language
Combining Functional and Logic Programming Languages (JWL), pp. 43–57.
ICDARICDAR-1993-IwaneYI #analysis #approach #classification #documentation #image #layout
A functional classification approach to layout analysis of document images (KI, MY, OI), pp. 778–781.
ICDARICDAR-1993-LeeDKA #case study
A study on a method of dividing machine-parts into functional groups for technical illustrations (IL, SD, TK, NA), pp. 886–889.
VLDBVLDB-1993-PoulovassilisS #approach #database #logic
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages (AP, CS), pp. 416–428.
FPCAFPCA-1993-CarlssonH #lazy evaluation #named #user interface #visual notation
FUDGETS: A Graphical User Interface in a Lazy Functional Language (MC, TH), pp. 321–330.
FPCAFPCA-1993-CattrallR #implementation #programming #relational #representation
Widening the Representation Bottleneck: A Functional Implementation of Relational Programming (DC, CR), pp. 191–200.
FPCAFPCA-1993-ChuangG #multi #programming #realtime
Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming (TRC, BG), pp. 289–298.
FPCAFPCA-1993-Gordon #lazy evaluation #semantics
An Operational Semantics for I/O in a Lazy Functional Language (ADG), pp. 136–145.
FPCAFPCA-1993-GrantSWZ #algorithm #finite #implementation
Some Issues in a Functional Implementation of a Finite Element Algorithm (PWG, JAS, MFW, XZ), pp. 12–17.
FPCAFPCA-1993-HammarlundL #on the #parallel #programming language
On the Relation between Functional and Data Parallel Programming Languages (PH, BL), pp. 210–222.
FPCAFPCA-1993-HartelL #benchmark #implementation #lazy evaluation #metric
Benchmarking Implementations of Lazy Functional Languages (PHH, KL), pp. 341–349.
FPCAFPCA-1993-KozatoO #benchmark #image #lazy evaluation #metric #source code
Benchmarking Real-Life Image Processing Programs in Lazy Functional Languages (YK, GPO), pp. 18–30.
FPCAFPCA-1993-Liu #evaluation #lazy evaluation #logic #nondeterminism #towards
Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages (FL), pp. 201–209.
FPCAFPCA-1993-MoreauR #evaluation #parallel
Sound Rules for Parallel Evaluation of a Functional Language with callcc (LM, DR), pp. 125–135.
FPCAFPCA-1993-PageM #experience #scalability
Experience with a Large Scientific Application in a Functional Language (RLP, BDM), pp. 3–11.
FPCAFPCA-1993-SastryCA #analysis #strict
Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates (AVSS, WDC, ZMA), pp. 266–275.
SEKESEKE-1993-BombanaBCFSZ #analysis #testing
An Expert Solution to Functional Testability Analysis of VLSI Circuits (MB, GB, PC, FF, DS, GZ), pp. 263–265.
PEPMPEPM-1993-Thiemann #analysis #safety #source code
A Safety Analysis for Functional Programs (PT), pp. 133–144.
PPDPPLILP-1993-Boye #logic programming #source code
Avoiding Dynamic Delays in Functional Logic Programs (JB), pp. 12–27.
PPDPPLILP-1993-DarlingtonGK #linear #logic #perspective #programming language
Functional Programming Languages with Logical Variables: A Linear Logic View (JD, YG, MK), pp. 201–219.
PPDPPLILP-1993-HanusJ #debugging #logic programming #source code
A Debugging Model for Functional Logic Programs (MH, BJ), pp. 28–43.
POPLPOPL-1993-JonesW #imperative #programming
Imperative Functional Programming (SLPJ, PW), pp. 71–84.
POPLPOPL-1993-Leivant #complexity #source code
Stratified Functional Programs and Computational Complexity (DL), pp. 325–333.
SASWSA-1993-BoyePM #logic programming #source code #synthesis
Synthesis of Directionality Information for Functional Logic Programs (JB, JP, JM), pp. 165–177.
SACSAC-1993-HarrisonG #programming
Dynamic Programming in a Pure Functional Language (RH, CAG), pp. 179–186.
DACDAC-1993-ChengK #automation #finite #generative #state machine #testing #using
Automatic Functional Test Generation Using the Extended Finite State Machine Model (KTC, ASK), pp. 86–91.
DACDAC-1993-HuD #dependence
Reducing BDD Size by Exploiting Functional Dependencies (AJH, DLD), pp. 266–271.
DACDAC-1993-VemuriMSKRV #case study #experience #synthesis #validation
Experiences in Functional Validation of a High Level Synthesis System (RV, PM, PS, NK, JR, RV), pp. 194–201.
PDPPDP-1993-BennaniDLT #comparison #evaluation #graph #parallel #reduction
A comparison between the graph reduction model and an original parallel evaluation scheme for functional languages (NB, ND, MPL, BT), pp. 124–130.
PDPPDP-1993-SharpC #algorithm #fourier #performance #program transformation #synthesis
Synthesis of the fast Fourier transform algorithm by functional language program transformation (DWNS, MC), pp. 136–143.
TAPSOFTTAPSOFT-1993-Seidl #question
When Is a Functional Tree Transduction Deterministic? (HS), pp. 251–265.
ICLPILPS-1993-TakahashiS #prolog
Prolog Interpretation of A Functional-Logic Language (ST, FSKS), p. 672.
PODSPODS-1992-BeeriM #programming
Functional and Predicative Programming in OODB’s (CB, TM), pp. 176–190.
LISPLFP-1992-Chin
Safe Fusion of Functional Expressions (WNC), pp. 11–20.
CHICHI-1992-KimL #composition #design #logic #object-oriented #process #towards
Towards a model of cognitive process in logical design: comparing object-oriented and traditional functional decomposition software methodologies (JK, FJL), pp. 489–498.
PPDPALP-1992-Lopez-Fraguas #constraints #logic programming
A General Scheme for Constraint Functional Logic Programming (FJLF), pp. 213–227.
PPDPPLILP-1992-Hanus #logic programming #source code #using
Improving Control of Logic Programs by Using Functional Logic Languages (MH), pp. 1–23.
PPDPPLILP-1992-LindstromMO #logic programming
Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems (GL, JM, TO), pp. 428–442.
PPDPPLILP-1992-Muck #automaton #logic programming #named #source code
CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs (AM), pp. 341–354.
PPDPPLILP-1992-NilssonF #algorithm #debugging #lazy evaluation
Algorithmic Debugging for Lazy Functional Languages (HN, PF), pp. 385–399.
PPDPPLILP-1992-Rebelsky #interactive #lazy evaluation #programming
I/O Trees and Interactive Lazy Functional Programming (SAR), pp. 458–472.
PPDPPLILP-1992-Thiemann #bottom-up #evaluation #named #source code #tool support
LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs (PT), pp. 481–482.
POPLPOPL-1992-JagadeesanP #higher-order #logic #semantics
Abstract Semantics for a Higher-Order Functional Language with Logic Variables (RJ, KP), pp. 355–366.
POPLPOPL-1992-Wadler #programming
The Essence of Functional Programming (PW), pp. 1–14.
AdaTRI-Ada-C-1992-BailesJSW #ada #declarative #programming
Full Functional Programming in a Declarative Ada Dialect (PAB, DBJ, EJS, LW), pp. 350–358.
SASWSA-1992-AmatoGM #analysis #concurrent #database #programming language #transaction
Analysis of Concurrent Transactions in a Functional Database Programming Language (GA, FG, GM), pp. 174–184.
SASWSA-1992-Hamilton #analysis #first-order #lazy evaluation #source code
Sharing Analysis of Lazy First-Order Functional Programs (GWH), pp. 68–78.
CCCC-1992-LangendoenH #code generation #lazy evaluation #named
FCG: A Code Generator for Lazy Functional Languages (KL, PHH), pp. 278–296.
DACDAC-1992-LeeP #constraints #generative #testing
Hierarchical Test Generation under Intensive Global Functional Constraints (JL, JHP), pp. 261–266.
DACDAC-1992-MercerKR #generative #order #performance
Functional Approaches to Generating Orderings for Efficient Symbolic Representations (MRM, RK, DER), pp. 624–627.
DACDAC-1992-RundensteinerG #optimisation #synthesis #using
Functional Synthesis Using Area and Delay Optimization (EAR, DG), pp. 291–296.
ESOPESOP-1992-HogenKL #automation #lazy evaluation #parallel #source code
Automatic Parallelization of Lazy Functional Programs (GH, AK, RL), pp. 254–268.
CSLCSL-1992-Gonzalez-MorenoHR #logic programming #on the #semantics
On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming (JCGM, MTHG, MRA), pp. 216–230.
CSLCSL-1992-HonsellMST #formal method
A Theory of Classes for a Functional Language with Effects (FH, IAM, SFS, CLT), pp. 309–326.
ICLPJICSLP-1992-KuchenLMR #constraints #implementation #lazy evaluation #logic
Implementing a Lazy Functional Logic Language with Disequality Constraints (HK, FJLF, JJMN, MRA), pp. 207–221.
SIGMODSIGMOD-1991-Annevelink #approach #database #programming language
Database Programming Languages: A Functional Approach (JA), pp. 318–327.
FPCAFPCA-1991-BarthNA #named #parallel #strict
M-Structures: Extending a Parallel, Non-strict, Functional Language with State (PSB, RSN, A), pp. 538–568.
FPCAFPCA-1991-JonesL #strict
Unboxed Values as First Class Citizens in a Non-Strict Functional Language (SLPJ, JL), pp. 636–666.
FPCAFPCA-1991-MeijerFP #lens #programming
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (EM, MMF, RP), pp. 124–144.
FPCAFPCA-1991-SmetsersNGP #generative #lazy evaluation #performance
Generating Efficient Code for Lazy Functional Languages (SS, EN, JHGvG, MJP), pp. 592–617.
KDDKDD-1991-WuW
Discovering Functional Relationships from Observational Data (YHW, SW), pp. 55–70.
KRKR-1991-Bylander #abduction #problem
The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability (TB), pp. 70–77.
TOOLSTOOLS-USA-1991-KochutMPW #database #named
h-KDL: A Historically Extended Functional O-O Database System (KK, JAM, WDP, AW), pp. 73–86.
LOPSTRLOPSTR-1991-Ameur #evaluation #program transformation
Program Transformations Directed by the Evaluation of non Functional Properties (YAA), pp. 297–299.
PEPMPEPM-1991-Klimov
Dynamic Specialization in Extended Functional Language with Monotone Objects (AVK), pp. 199–210.
PEPMPEPM-1991-NielBV #polymorphism
Program Bifurcation for a Polymorphic Typed Functional Language (ADN, EB, KDV), pp. 142–153.
PEPMPEPM-1991-Takano #lazy evaluation
Generalized Partial Computation for a Lazy Functional Language (AT), pp. 1–11.
PPDPPLILP-1991-GrahamK #imperative
Domesticating Imperative Constructs So That They Can Live in a Functional World (TCNG, GK), pp. 51–62.
PPDPPLILP-1991-LoogenW #detection
Dynamic Detection of Determinism in Functional Languages (RL, SW), pp. 335–346.
PPDPPLILP-1991-Yamasaki #logic programming
Extraction of Functional from Logic Program (SY), pp. 27–38.
POPLPOPL-1991-Riecke
Fully Abstract Translations between Functional Languages (JGR), pp. 245–254.
SASWSA-1991-Ameur
Non Functional Properties Can Guide Program Developments (YAA), pp. 189–196.
SASWSA-1991-Chin #deforestation #first-order #source code
Generalising Deforestation for All First-Order Functional Programs (WNC), pp. 173–181.
SASWSA-1991-CousotC #abstract interpretation #higher-order #relational #source code
Relational Abstract Interpretation of Higher Order Functional Programs (PC, RC), pp. 33–36.
SASWSA-1991-NielBV #partial evaluation #problem #representation
Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem (ADN, EB, KDV), pp. 90–97.
ASEKBSE-1991-AllemangC #debugging #representation
Functional Representation and Program Debugging (DA, BC), pp. 136–143.
DACDAC-1991-HwangHL #pipes and filters #scheduling
Scheduling for Functional Pipelining and Loop Winding (CTH, YCH, YLL), pp. 764–769.
TAPSOFTCCPSD-1991-DietrichL #lazy evaluation #nondeterminism
Exploiting Non-Determinism through Laziness in Guarded Functional Languages (RD, HCRL), pp. 201–216.
CAVCAV-1991-Filkorn #model checking
Functional Extension of Symbolic Model Checking (TF), pp. 225–232.
CSLCSL-1991-Gonzalez-MorenoHR #declarative #programming #semantics
Denotational Versus Declarative Semantics for Functional Programming (JCGM, MTHG, MRA), pp. 134–148.
LICSLICS-1991-BergerS #evaluation #λ-calculus
An Inverse of the Evaluation Functional for Typed λ-calculus (UB, HS), pp. 203–211.
ICALPICALP-1990-PrasadGM #algebra #concurrent #integration #programming #semantics #symmetry
Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming (SP, AG, PM), pp. 765–778.
LISPLFP-1990-Consel #analysis #higher-order
Binding Time Analysis for High Order Untyped Functional Languages (CC), pp. 264–272.
LISPLFP-1990-GiorgiM #implementation #parallel #programming language
Continuation-Based Parallel Implementation of Functional Programming Languages (JFG, DLM), pp. 209–217.
LISPLFP-1990-Gomard #source code #type inference
Partial Type Inference for Untyped Functional Programs (CKG), pp. 282–287.
LISPLFP-1990-WalinskyB #compilation #parallel #programming language
A Functional Programming Language Compiler for Massively Parallel Computers (CW, DB), pp. 131–138.
PPDPALP-1990-BronsardR #axiom #logic
Axiomatization of a Functional Logic Language (FB, USR), pp. 101–116.
PPDPPLILP-1990-BrogiMPT #framework #logic programming
Logic Programming within a Functional Framework (AB, PM, DP, FT), pp. 372–386.
PPDPPLILP-1990-Ferdinand #model transformation #pattern matching #transformation language #using
Pattern Matching in a Functional Transformation Language using Treeparsing (CF), pp. 358–371.
POPLPOPL-1990-Deutsch #alias #higher-order #on the #specification
On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications (AD), pp. 157–168.
ICSEICSE-1990-Cardenas-GarciaZ #evaluation #specification
Evaluation Criteria for Functional Specifications (SCG, MVZ), pp. 26–33.
WAGAWAGA-1990-AttaliC #evaluation #specification
Functional Evaluation of Strongly Non Circular Typol Specifications (IA, JC), pp. 157–176.
WAGAWAGA-1990-Wilhelm #attribute grammar #program transformation
Tree Transformations, Functional Languages, and Attribute Grammars (RW), pp. 116–129.
PPoPPPPoPP-1990-ChangE #implementation #predict
An Implementation of a Barotropic Numerical Weather Prediction Model in the Functional Language SISAL (PSC, GKE), pp. 109–117.
ESOPESOP-1990-GoldbergP #analysis #higher-order #implementation #optimisation #stack
Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations (BG, YGP), pp. 152–160.
ESOPESOP-1990-KuchenLMR #graph #implementation #logic
Graph-based Implementation of a Functional Logic Langugage (HK, RL, JJMN, MRA), pp. 271–290.
ICLPCLP-1990-BoscoCMPS90 #architecture #distributed #logic #memory management
Logic and Functional Programmin on Distributed Memory Architectures (PGB, CC, CM, MP, GS), pp. 325–339.
ICLPCLP-1990-ChengER90 #logic #on the #programming
On Warren’s Method for Functional Programming in Logic (MHMC, MHvE, BER), pp. 546–560.
RTARTA-1989-DarlingtonG #abstraction #evaluation #programming #set #unification
Narrowing and Unification in Functional Programming — An Evaluation Mechanism for Absolute Set Abstraction (JD, YG), pp. 92–108.
FPCAFPCA-1989-Arya #animation #process
Processes in a Functional Animation System (KA), pp. 382–395.
FPCAFPCA-1989-BjernerH #analysis #approach #composition #first-order #lazy evaluation #source code
A Composition Approach to Time Analysis of First Order Lazy Functional Programs (BB, SH), pp. 157–165.
FPCAFPCA-1989-Bloss #analysis #implementation #performance
Update Analysis and the Efficient Implementation of Functional Aggregates (AGB), pp. 26–38.
FPCAFPCA-1989-Mauny #embedded #parsing
Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages (MM), pp. 360–370.
FPCAFPCA-1989-RufW #logic #nondeterminism #programming #unification
Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming (ER, DW), pp. 327–339.
FPCAFPCA-1989-SilbermannJ #abstraction #logic programming #set
Set Abstraction in Functional and Logic Programming (FSKS, BJ), pp. 313–326.
FPCAFPCA-1989-Traub #approach #clustering #compilation #strict
Compilation as Partitioning: A New Approach to Compiling Non-Strict Functional Languages (KRT), pp. 75–88.
POPLPOPL-1989-GopinathH
Copy Elimination in Functional Languages (KG, JLH), pp. 303–314.
ICSEICSE-1989-Katayama #process
A Hierarchical and Functional Software Process Description and Its Enaction (TK), pp. 343–352.
ICSEICSE-1989-Yue #composition #dynamic analysis #requirements #validation
Validating System Requirements by Functional Decomposition and Dynamic Analysis (KY), pp. 188–196.
DACDAC-1989-Tamura #fault #logic
Locating Functional Errors in Logic Circuits (KAT), pp. 185–191.
DACDAC-1989-WangM #scheduling #simulation
Scheduling High-Level Blocks for Functional Simulation (ZW, PMM), pp. 87–90.
DACDAC-1989-WooS #adaptation
A Technology-adaptive Allocation of Functional Units and Connections (NSW, HS), pp. 602–605.
TAPSOFTCCIPL-1989-FradetM #compilation #λ-calculus
Compilation of Lambda-Calculus into Functional Machine Code (PF, DLM), pp. 155–166.
TAPSOFTCCIPL-1989-GiacaloneMP #concurrent #integration #named #programming #symmetry
FACILE: A Symmetric Integration of Concurrent and Functional Programming (AG, PM, SP), pp. 184–209.
STOCSTOC-1989-CookU
Functional Interpretations of Feasibly Constructive Arithmetic (SAC, AU), pp. 107–112.
LICSLICS-1989-JagadeesanPP #logic #semantics
A Fully Abstract Semantics for a Functional Language with Logic Variables (RJ, PP, KP), pp. 294–303.
SIGMODSIGMOD-1988-LeuchnerMS #algorithm #dependence #polynomial #testing
A Polynomial Time Algorithm for Testing Implications of a Join Dependency and Embodied Functional Dependencies (JHL, LM, GS), pp. 218–224.
SIGMODSIGMOD-1988-Lohman #optimisation #query #representation
Grammar-like Functional Rules for Representing Query Optimization Alternatives (GML), pp. 18–27.
VLDBVLDB-1988-LeeFL #implementation #interpreter #query
Implementing an Interpreter for Functional Rules in a Query Optimizer (MKL, JCF, GML), pp. 218–229.
FMVDME-1988-JagerGK #named
SAMPLE — A Functional Language (MJ, MG, SK), pp. 202–217.
LISPLFP-1988-AasaPS #syntax
Concrete Syntax for Data Objects in Functional Languages (AA, KP, DS), pp. 96–105.
PPDPALP-1988-Fribourg #prolog #question
Functional Extensions to Prolog: Are they Needed? (LF), pp. 21–29.
PPDPALP-1988-Goltz #modelling #semantics #unification
Functional Data Term Models and Semantic Unification (HJG), pp. 158–167.
PPDPALP-1988-Moreno-NavarroR #logic programming #named #programming language
BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing (JJMN, MRA), pp. 223–232.
PPDPALP-1988-Schnoebelen #compilation #pattern matching
Refined Compilation of Pattern-Matching for Functional Languages (PS), pp. 233–243.
PPDPPLILP-1988-Lindstrom #logic #source code #static analysis
Static Analysis Of Functional Programs With Logic Variables (GL), pp. 1–19.
DACDAC-1988-LathropHDAK #abstraction #roadmap
Advances in Functional Abstraction from Structure (RHL, RJH, GD, KMA, RSK), pp. 708–711.
DACDAC-1988-LinH #automation #generative
Automatic Functional Test Program Generation for Microprocessors (CSL, HFH), pp. 605–608.
DACDAC-1988-TakashimaIKTSS #comparison #morphism #rule-based
A Circuit Comparison System with Rule-Based Functional Isomorphism Checking (MT, AI, SK, TT, TS, JiS), pp. 512–516.
ESOPESOP-1988-BertDEDDSW #logic #named #programming language
LPG: A Generic, Logic and Functional Programming Language (DB, PD, RE, OD, DD, PYS, FW), pp. 376–377.
ESOPESOP-1988-BretzE #exception
An Exception Handling Construct for Functional Languages (MB, JE), pp. 160–174.
ESOPESOP-1988-Heckmann #program transformation #specification
A Functional Language for the Specification of Complex Tree Transformations (RH), pp. 175–190.
ESOPESOP-1988-Heckmann88a #program transformation #specification
A Functional Language for the Specification of Complex Tree Transformations (RH), p. 380.
ESOPESOP-1988-Legrand #programming #towards
Extending Functional Programming Towards Relations (RL), pp. 206–220.
ICLPJICSCP-1988-BoscoCM88 #logic #power of #programming
Exploiting the Full Power of Logic Plus Functional Programming (PGB, CC, CM), pp. 3–17.
PODSPODS-1987-ChanH #bound #database #dependence #design #on the
On Designing Database Schemes Bounded or Constant-time-maintainable with respect to Functional Dependencies (EPFC, HJH), pp. 48–57.
PODSPODS-1987-Gottlob #dependence #embedded
Computing Covers for Embedded Functional Dependencies (GG), pp. 58–69.
VLDBVLDB-1987-AtzeniC #database #dependence #independence
Independent Database Schemes under Functional and Inclusion Dependencies (PA, EPFC), pp. 159–166.
FPCAFPCA-1987-BrusELP #graph #named
CLEAN: A language for functional graph writing (THB, MCJDvE, MOvL, MJP), pp. 364–384.
FPCAFPCA-1987-Burn #evaluation #parallel
Evaluation transformers — a model for the parallel evaluation of functional languages (GLB), pp. 446–470.
FPCAFPCA-1987-DarlingtonW #behaviour
Controlling the behaviour of functional language systems (JD, RLW), pp. 278–300.
FPCAFPCA-1987-Goldberg #detection #source code
Detecting sharing of partial applications in functional programs (BG), pp. 408–425.
FPCAFPCA-1987-HudakA #parallel #source code
Pomset interpretations of parallel functional programs (PH, SA), pp. 234–256.
FPCAFPCA-1987-JayaramanP #programming #set
Functional programming with sets (BJ, DAP), pp. 194–211.
FPCAFPCA-1987-Johnsson #attribute grammar #paradigm #programming
Attribute grammars as a functional programming paradigm (TJ), pp. 154–173.
FPCAFPCA-1987-Schlag #source code
The planar topology of functional programs (MDFS), pp. 174–193.
FPCAFPCA-1987-WatsonW #source code
Evaluating functional programs on the FLAGSHIP machine (PW, IW), pp. 80–97.
PLDIPLDI-1987-Robison #interpreter #programming
The Illinois functional programming interpreter (ADR), pp. 64–73.
DACDAC-1987-LathropHK #abstraction #modelling #simulation
Functional Abstraction from Structure in VLSI Simulation Models (RHL, RJH, RSK), pp. 822–828.
DACDAC-1987-MaiaszH #layout #optimisation
Layout Optimization of CMOS Functional Cells (RLM, JPH), pp. 544–551.
DACDAC-1987-Weise #verification
Functional Verification of MOS Circuits (DW), pp. 265–270.
TAPSOFTCFLP-1987-Bellia #logic programming #named #paradigm
Retractions: A Functional Paradigm for Logic Programming (MB), pp. 260–275.
LICSLICS-1987-Emden #first-order #logic #programming #relational
First-order Predicate Logic as a Common Basis for Relational and Functional Programming (MHvE), p. 179.
LICSLICS-1987-KfouryTU #source code
The Hierarchy of Finitely Typed Functional Programs (AJK, JT, PU), pp. 225–235.
ICLPSLP-1987-ShinNHM87 #canonical #logic #unification
A Functional Logic Language Based on Canonical Unification (DWS, JHN, SH, SM), pp. 328–334.
PODSPODS-1986-YuanO #database #dependence #design #multi #relational
Unifying Functional and Multivalued Dependencies for Relational Database Design (LYY, ZMÖ), pp. 183–190.
LISPLFP-1986-FairbairnW #code generation
Code Generation Techniques for Functional Languages (JF, SW), pp. 94–104.
LISPLFP-1986-GiffordL #imperative #programming
Integrating Functional and Imperative Programming (DKG, JML), pp. 28–38.
LISPLFP-1986-JayaramanS #equation #logic programming #reduction #semantics #set
Equations, Sets, and Reduction Semantics for Functional and Logic Programming (BJ, FSKS), pp. 320–331.
LISPLFP-1986-Knight #architecture
An Architecture for Mostly Functional Languages (TFK), pp. 105–112.
LISPLFP-1986-MaunyS #automaton #category theory #implementation
Implementing Functional Languages in the Categorical Abstract Machine (MM, AS), pp. 266–278.
LISPLFP-1986-NielsonN #compilation #semantics
Semantics Directed Compiling for Functional Languages (HRN, FN), pp. 249–257.
DACDAC-1986-Ghosh #approach #fault #rule-based #simulation #verification
A rule-based approach to unifying functional and fault simulation and timing verification (SG), pp. 677–682.
ESOPESOP-1986-Bellot #combinator #named #programming #reduction
GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine (PB), pp. 82–98.
ESOPESOP-1986-BertE #design #implementation #logic #programming language
Design and Implementation of a Generic, Logic and Functional Programming Language (DB, RE), pp. 119–132.
CADECADE-1986-Gibert #combinator #programming
The J-Machine: Functional Programming with Combinators (JG), pp. 683–684.
CADECADE-1986-HannaD #implementation #logic
Purely Functional Implementation of a Logic (FKH, ND), pp. 598–607.
ICLPICLP-1986-Nakamura86 #execution #logic programming
Control of Logic Program Execution Based on the Functional Relations (KN), pp. 505–512.
ICLPICLP-1986-WarrenD86 #detection #optimisation #prolog
Detection and Optimization of Functional Computations in Prolog (DSW, SKD), pp. 490–504.
LICSLICS-1986-Robinson #programming #reduction #relational
Merging Functional with Relational Programming in a Reduction Setting (JAR), p. 2.
VLDBVLDB-1985-HeilerR #interface #recursion #visual notation
G-WHIZ, a Visual Interface for the Functional Model with Recursion (SH, AR), pp. 209–218.
VLDBVLDB-1985-Mendelzon #dependence #logic programming #source code
Functional Dependencies in Logic Programs (AOM), pp. 324–330.
VLDBVLDB-1985-Zlatuska #database #perspective
Hit Data Model Data Bases from the Functional Point of View (JZ), pp. 470–477.
FPCAFPCA-1985-Turner85 #named #polymorphism #strict
Miranda: A Non-Strict Functional language with Polymorphic Types (DAT), pp. 1–16.
FPCAFPCA-1985-Wadler85 #backtracking #exception #how #lazy evaluation #pattern matching
How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages (PW), pp. 113–128.
FPCAFPCA-1985-Young85 #architecture #composition
A Functional Language and Modular Architecture for Scientific Computing (MFY), pp. 305–318.
POPLPOPL-1985-HudakB #problem #programming
The Aggregate Update Problem in Functional Programming Systems (PH, AB), pp. 300–314.
POPLPOPL-1985-Lindstrom #logic #programming
Functional Programming and the Logical Variable (GL), pp. 266–280.
ICSEICSE-1985-Chen #development #formal method #implementation #programming
Extending the Implementation Scheme of Functional Programming System FP for Supporting the Formal Software Development Methodology (QC), pp. 50–54.
DACDAC-1985-DelormeRdGLMC #clustering #generative #sequence #testing
A functional partitioning expert system for test sequences generation (CD, PR, LDd, NG, RL, BM, RC), pp. 820–824.
DACDAC-1985-GuptaA #fault #modelling #simulation
Functional fault modeling and simulation for VLSI devices (AKG, JRA), pp. 720–726.
DACDAC-1985-LathropK #object-oriented #simulation
An extensible object-oriented mixed-mod functional simulation system (RHL, RSK), pp. 630–636.
DACDAC-1985-MeshkinpourE #design
A functional language for description and design of digital systems: sequential constructs (FM, MDE), pp. 238–244.
DACDAC-1985-MokkaralaFA #approach #simulation #verification
A unified approach to simulation and timing verification at the functional level (VRM, AF, RA), pp. 757–761.
DACDAC-1985-ZaraRNS #automaton #data type #modelling
An abstract machine data structure for non-procedural functional models (RVZ, KR, GN, HS), pp. 753–756.
TAPSOFTAS-1985-GannonHM #semantics
Functional Semantics of Modules (JDG, RGH, HDM), pp. 42–59.
ICLPSLP-1985-Reddy85 #semantics
Narrowing as the Operational Semantics of Functional Languages (USR), pp. 138–151.
ICLPSLP-1985-SrivastavaOS85 #integration #logic #programming
An(other) Integration of Logic and Functional Programming (AS, DO, AS), pp. 254–260.
PODSPODS-1984-CosmadakisK #approach #dependence #graph
Functional and Inclusion Dependencies: A Graph Theoretic Approach (SSC, PCK), pp. 29–37.
PODSPODS-1984-SaccaMM #database #dependence
Properties of Database Schemata with Functional Dependencies (DS, FM, AM), pp. 19–28.
SIGMODSIGMOD-1984-Hall #algebra #logic #programming #relational
Relational Algebras, Logic, and Functional Programming (PAVH), pp. 326–333.
ICALPICALP-1984-AtzeniM #constraints #database #dependence #null
Functional Dependencies and Disjunctive Existence Constraints in Database Relations with Null Values (PA, NMM), pp. 69–81.
LISPLFP-1984-Cardelli #compilation
Compiling a Functional Language (LC), pp. 208–217.
LISPLFP-1984-Dannenberg #named #realtime
Arctic: A Functional Language for Real-Time Control (RBD), pp. 96–103.
LISPLFP-1984-Katayama #approach #programming language #type checking #type inference
Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach (TK), pp. 263–272.
POPLPOPL-1984-HudakK #combinator #compilation
A Combinator-Based Compiler for a Functional Language (PH, DAK), pp. 122–132.
POPLPOPL-1984-SubrahmanyamY #evaluation #lazy evaluation #logic programming #reduction #source code
Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs (PAS, JHY), pp. 228–234.
ICSEICSE-1984-ToriiMSK #analysis #logic #problem #programming
Functional Programming and Logical Programming for the Telegram Analysis Problem (KT, YM, YS, TK), pp. 463–472.
DACDAC-1984-BellonV
Taking into account asynchronous signals in functional test of complex circuits (CB, RV), pp. 490–496.
DACDAC-1984-KawamuraTH #memory management #verification
Functional verification of memory circuits from mask artwork data (MK, HT, KH), pp. 228–234.
DACDAC-1984-OdawaraST
A symbolic functional description language (GO, JS, MT), pp. 73–80.
DACDAC-1984-SuL #testing
Functional testing techniques for digital LSI/VLSI systems (SYHS, TL), pp. 517–528.
DACDAC-1984-ThamWW #design #multi #simulation #verification
Functional design verification by multi-level simulation (KT, RW, DW), pp. 473–478.
ICLPSLP-1984-BarbutiBLM84 #integration #logic programming #on the
On the Integration of Logic Programming and Functional Programming (RB, MB, GL, MM), pp. 160–166.
ICLPSLP-1984-Carlsson84 #implementation #on the #programming #prolog
On Implementing Prolog in Functional Programming (MC), pp. 154–159.
ICLPSLP-1984-Reddy84 #logic programming #source code
Transformation of Logic Programs into Functional Programs (USR), pp. 187–196.
ICLPSLP-1984-SubrahmanyamY84 #concept #evaluation #logic programming
Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming (PAS, JHY), pp. 144–153.
PODSPODS-1983-Mitchell #dependence
Inference Rules for Functional and Inclusion Dependencies (JCM), pp. 58–69.
SIGMODSIGMOD-1983-LaverMG #database #dependence
Functional Dependencies on Cyclic Database Schemes (KL, AOM, MHG), pp. 79–91.
ICALPICALP-1983-Moller #algebra #data-driven #evaluation #lazy evaluation #semantics
An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language (BM), pp. 513–526.
DACDAC-1983-ChengGKW #development #simulation
Functional simulation shortens the development cycle of a new computer (RC, BG, KK, JW), pp. 515–519.
DACDAC-1983-Druian #design #modelling
Functional models for VLSI design (RLD), pp. 506–514.
DACDAC-1983-LaiS #testing
Functional testing of digital systems (KWL, DPS), pp. 207–213.
PODSPODS-1982-CasanovaFP #dependence #interactive
Inclusion Dependencies and Their Interaction with Functional Dependencies (MAC, RF, CHP), pp. 171–176.
PODSPODS-1982-JohnsonK #dependence #query #testing
Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (DSJ, ACK), pp. 164–169.
VLDBVLDB-1982-GelenbeG #dependence
The Size of Projections of Relations Satisfying a Functional Dependency (EG, DG), pp. 325–333.
ICALPICALP-1982-BerklingF #programming language #λ-calculus
A Modification of the λ-Calculus as a Base for Functional Programming Languages (KJB, EF), pp. 35–47.
LISPLFP-1982-Bohm #combinator #programming
Combinatory Foundation of Functional Programming (CB), pp. 29–36.
LISPLFP-1982-Feldman #editing #specification
Functional Specifications of a Text Editor (GF), pp. 37–46.
LISPLFP-1982-Georgeff #implementation #stack
A Scheme for Implementing Functional Values on a Stack Machine (MPG), pp. 188–195.
LISPLFP-1982-Henderson #geometry
Functional Geometry (PH), pp. 179–187.
POPLPOPL-1982-DamasM #source code
Principal Type-Schemes for Functional Programs (LD, RM), pp. 207–212.
ICSEICSE-1982-FutatsugiO
A Hierarchical Structuring Method for Functional Software Systems (KF, KO), pp. 393–402.
ICSEICSE-1982-Urban #development #execution #specification
Software Development with Executable Functional Specifications (JEU), pp. 418–419.
ICSEICSE-1982-YonezakiK #logic #process #specification
Functional Specification of Synchronized Processes Based on Modal Logic (NY, TK), pp. 208–217.
DACDAC-1982-DesMaraisSW #modelling #simulation
A functional level modelling language for digital simulation (PJD, ESYS, PSW), pp. 315–320.
DACDAC-1982-LightnerH #algorithm #megamodelling #testing
Implication algorithms for MOS switch level functional macromodeling implication and testing (MRL, GDH), pp. 691–698.
DACDAC-1982-MinS #fault #testing
Testing functional faults in VLSI (YM, SYHS), pp. 384–392.
ICSEICSE-1981-Katayama #attribute grammar #named #programming
HFP: A Hierarchical and Functional Programming Based on Attribute Grammar (TK), pp. 343–353.
DACDAC-1981-Cory #simulation #verification
Symbolic simulation for functional verification with ADLIB and SDL (WEC), pp. 82–89.
DACDAC-1981-HirschhornHB #algorithm #data type #simulation
Functional level simulation in FANSIM3 — algorithms, data structures and results (SH, MH, CB), pp. 248–255.
DACDAC-1981-RaethALB #logic #modelling #simulation
Functional modelling for logic simulation (PGR, JMA, GBL, JMB), pp. 791–795.
DACDAC-1981-Wojtkowiak #design #specification
Deterministic systems design from functional specifications (HW), pp. 98–104.
SOSPSOSP-1981-Satyanarayanan #case study
A Study of File Sizes and Functional Lifetimes (MS), pp. 96–108.
SIGMODSIGMOD-1980-SadriU #dependence #interactive
The Interaction between Functional Dependencies and Template Dependencies (FS, JDU), pp. 45–51.
VLDBVLDB-1980-Vassiliou #dependence
Functional Dependencies and Incomplete Information (YV), pp. 260–269.
POPLPOPL-1980-BuddDLS #correctness #source code #using
Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs (TAB, RAD, RJL, FGS), pp. 220–233.
DACDAC-1980-dAbreuT #concurrent #fault
An accurate functional level concurrent fault simulator (MAd, EWT), pp. 210–217.
DACDAC-1980-NashRST #simulation
Functional level simulation at Raytheon (DCN, KR, PS, MT), pp. 634–641.
DACDAC-1980-ThompsonKRRSB #simulation
The incorporation of functional level element routines into an existing digital simulation system (EWT, PGK, WRRJ, DR, JS, RvB), pp. 394–401.
SIGMODSIGMOD-1979-BunemanF #named #query
FQL — A Functional Query Language (PB, REF), pp. 52–58.
SIGMODSIGMOD-1979-Shipman
The Functional Data Model and the Data Language DAPLEX (DWS), p. 59.
VLDBVLDB-1979-HouselWY #database #dependence #design #logic
The Functional Dependency Model for Logical Database Design (BCH, VEW, SBY), pp. 194–208.
VLDBVLDB-1979-Studer #specification
Functional Specification of a Decision Support System (RS), pp. 85–93.
ICALPICALP-1979-CoppoDS #semantics #λ-calculus
Functional Characterization of Some Semantic Equalities inside λ-Calculus (MC, MDC, PS), pp. 133–146.
POPLPOPL-1979-Critcher #parametricity #power of
The Functional Power of Parameter Passage Mechanisms (AC), pp. 158–168.
DACDAC-1979-HsiehR #latency #megamodelling
Macrosimulation with Quasi-general Symbolic FET Macromodel and Functional Latency (HYH, NBR), pp. 229–234.
DACDAC-1979-LeinwandL #abstraction #design #verification
Design verification based on functional abstraction (SML, TL), pp. 353–359.
DACDAC-1979-UeharaC #array #layout
Optimal layout of CMOS functional arrays (TU, WMvC), pp. 287–289.
DACDAC-1979-Wilcox #logic #simulation
Digital logic simulation at the gate and functional level (PSW), pp. 242–248.
SIGMODSIGMOD-1978-Nicolas #dependence #first-order #formal method #logic #multi
First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies (JMN), pp. 40–46.
ICSEICSE-1978-Scott #architecture
An Engineering Methodology for Presenting Software Functional Architecture (LRS), pp. 222–229.
DACDAC-1978-AliaCMB #component #modelling #simulation
LSI components modelling in a three-valued functional simulation (GA, PC, EM, FB), pp. 428–438.
DACDAC-1978-MalekB #fault #simulation
Functional simulation and fault diagnosis (MM, AKB), pp. 340–346.
SIGMODSIGMOD-1977-BeeriFH #axiom #database #dependence #multi
A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations (CB, RF, JHH), pp. 47–61.
DACDAC-1977-AbramoviciBK #concurrent #fault #modelling #simulation
Concurrent fault simulation and functional level modeling (MA, MAB, KK), pp. 128–137.
DACDAC-1976-ChappellMPS #simulation
Functional simulation in the lamp system (SGC, PRM, JFP, AMS), pp. 42–47.
DACDAC-1976-Rozeboom #problem #testing
Current problems related to LSI functional testing (RWR), pp. 203–204.
SIGMODSIGMOD-1975-BernsteinST #approach #dependence
A Unified Approach to Functional Dependencies and Relations (PAB, JRS, DT), pp. 237–245.
VLDBVLDB-1975-EswaranC #database #specification
Functional Specifications of Subsystem for Database Integrity (KPE, DDC), pp. 48–68.
SIGMODSIGFIDET-1974-Stonebraker #independence
A Functional View of Data Independence (MS), pp. 63–81.
DACDAC-1974-Vaughn #array #testing
Functional testing of LSI gate arrays (GDV), pp. 258–265.
DACDAC-1973-Keiner #logic #simulation #testing
Functional testing A user looks at logic simulation (WLK), pp. 151–158.
DACDAC-1973-Shenkman #diagrams #generative #logic
Circuit diagram generation via functional logic (SMS), pp. 267–273.
DACDAC-1973-SzygendaL #logic #simulation
Integrated techniques for functional and gate-level digital logic simulation (SAS, AAL), pp. 159–172.
DACDAC-1970-Cole #automation #generative #logic #simulation #source code
Automatic generation of functional logic test programs through simulation (FBC), pp. 116–127.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.