BibSLEIGH — functional tag

functional

functional

Tag #functional

1301 papers:

POPL-2020-ArntzeniusK #evaluation #higher-order: Seminaïve evaluation for a higher-order functional language (MA, NK), p. 28.
POPL-2020-AschieriG #concurrent #linear #logic #parallel #proving #source code: Par means parallel: multiplicative linear logic proofs as concurrent functional programs (FA, FAG), p. 28.
POPL-2020-KavvosMLD #call-by #source code: Recurrence extraction for functional programs through call-by-push-value (GAK, EM, DRL, ND), p. 31.
POPL-2020-VandenbrouckeS #named #probability: PλωNK: functional probabilistic NetKAT (AV, TS), p. 27.
CC-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.
SANER-2019-GaoCXMSL #generative: A Neural Model for Method Name Generation from Functional Description (SG, CC, ZX, YM, WS, SWL), pp. 411–421.
SCAM-2019-Kessel019a #behaviour #comparison #equivalence #on the: On the Efficacy of Dynamic Behavior Comparison for Judging Functional Equivalence (MK, CA0), pp. 193–203.
Haskell-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.
CoG-2019-HufkensB #logic #taxonomy: A Functional Taxonomy of Logic Puzzles (LVH, CB), pp. 1–4.
ICML-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.
ICML-2019-ChuBG #learning #probability: Probability Functional Descent: A Unifying Perspective on GANs, Variational Inference, and Reinforcement Learning (CC, JHB, PWG), pp. 1213–1222.
ICML-2019-LeeJAJ #approach #game studies: Functional Transparency for Structured Data: a Game-Theoretic Approach (GHL, WJ, DAM, TSJ), pp. 3723–3733.
ICML-2019-MirshaniRS #privacy: Formal Privacy for Functional Data with Gaussian Perturbations (AM, MR, ABS), pp. 4595–4604.
OOPSLA-2019-SongLO #automation #detection #fault #logic #programming #scalability: Automatic and scalable detection of logical errors in functional programming assignments (DS, ML, HO), p. 30.
PLATEAU-2019-LubinC #program transformation: Type-Directed Program Transformations for the Working Functional Programmer (JL, RC), p. 12.
POPL-2019-OmarVCH #programming: Live functional programming with typed holes (CO, IV, RC, MAH), p. 32.
PPDP-2019-ChupinN #programming: Functional Reactive Programming, restated (GC, HN), p. 14.
PPDP-2019-Gerard0S #programming #syntax: Functional programming with λ-tree syntax (UG, DM0, GS), p. 16.
SAS-2019-OkuyamaT0 #higher-order #logic #source code: A Temporal Logic for Higher-Order Functional Programs (YO, TT, NK0), pp. 437–458.
CC-2019-KSKP #incremental #slicing #source code: A static slicing method for functional programs and its incremental version (PKK, AS, AK, SP), pp. 53–64.
ESOP-2019-VeselyF: One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts (FV, KF), pp. 205–231.
CAV-2019-Rabe #incremental #quantifier #synthesis: Incremental Determinization for Quantifier Elimination and Functional Synthesis (MNR), pp. 84–94.
VMCAI-2019-FedyukovichGG #effectiveness #lazy evaluation #synthesis: Lazy but Effective Functional Synthesis (GF, AG, AG), pp. 92–113.
Haskell-2018-Noonan #proving: Ghosts of departed proofs (functional pearl) (MN), pp. 119–131.
Haskell-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.
ICML-2018-Johnson0 #generative #learning #modelling: Composite Functional Gradient Learning of Generative Adversarial Models (RJ, TZ0), pp. 2376–2384.
ICML-2018-NitandaS #network: Functional Gradient Boosting based on Residual Network Perception (AN, TS), pp. 3816–3825.
ICPR-2018-HosniDCA #3d #recognition: 3D Gait Recognition based on Functional PCA on Kendall's Shape Space (NH, HD, FC, BBA), pp. 2130–2135.
ICPR-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.
ICMT-2018-Voelter #design #evolution #kernel #using: The Design, Evolution, and Use of KernelF — An Extensible and Embeddable Functional Language (MV), pp. 3–55.
OOPSLA-2018-LeeSSO #automation #fault #logic #programming: Automatic diagnosis and correction of logical errors for functional programming assignments (JL, DS, SS, HO), p. 30.
PADL-2018-BiermannDS #higher-order #source code #spreadsheet: Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs (FB, WD, PS), pp. 20–35.
PADL-2018-DylusCT #logic programming #probability: Probabilistic Functional Logic Programming (SD, JC, FT), pp. 3–19.
PLDI-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.
PPDP-2018-Schmidt-Schauss #concurrent #parallel #programming language: Sequential and Parallel Improvements in a Concurrent Functional Programming Language (MSS, DS, ND), p. 13.
ASE-2018-Haindl: Assessing and evaluating functional suitability of software (PH), pp. 920–923.
ESEC-FSE-2018-ZhaoH #learning #named #similarity: DeepSim: deep learning code functional similarity (GZ, JH0), pp. 141–151.
CASE-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.
CC-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.
CAV-2018-AkshayCGKS #question #synthesis #what: What's Hard About Boolean Functional Synthesis? (SA, SC, SG, SK, SS), pp. 251–269.
CAV-2018-Satake0 #higher-order #logic #source code: Propositional Dynamic Logic for Higher-Order Functional Programs (YS, HU0), pp. 105–123.
SCAM-2017-SuzukiPGLL #case study #repository: An Exploratory Study of Functional Redundancy in Code Repositories (MS, ACdP, EG, CVL, OALL), pp. 31–40.
CIAA-2017-GerdjikovMS #finite #transducer: A Simple Method for Building Bimachines from Functional Finite-State Transducers (SG, SM, KUS), pp. 113–125.
Haskell-2017-KarachaliasS #dependence #exclamation: Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! (GK, TS), pp. 133–147.
Haskell-2017-LampropoulosSF #random: Ode on a random urn (functional pearl) (LL, ASZ, KF), pp. 26–37.
Haskell-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.
CIKM-2017-BaskaranKCGS #dependence #ontology #performance: Efficient Discovery of Ontology Functional Dependencies (SB, AK0, FC, LG, JS), pp. 1847–1856.
KDD-2017-LiuSLMLX #predict: Functional Zone Based Hierarchical Demand Prediction For Bike System Expansion (JL, LS, QL, JM, YL, HX), pp. 957–966.
KDD-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.
KDD-2017-MandrosBV #approximate #dependence #reliability: Discovering Reliable Approximate Functional Dependencies (PM, MB, JV), pp. 355–363.
OOPSLA-2017-WangWC #analysis #complexity #invariant #named: TiML: a functional language for practical complexity analysis with invariants (PW0, DW, AC), p. 26.
PADL-2017-AntoyH #logic programming #nondeterminism #source code: Eliminating Irrelevant Non-determinism in Functional Logic Programs (SA, MH), pp. 1–18.
PEPM-2017-MatsudaA #graph transformation #reduction: A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction (KM, KA), pp. 71–82.
PEPM-2017-RompfB: Functional parallels of sequential imperatives (short paper) (TR, KJB), pp. 83–88.
PLDI-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.
PLDI-2017-PattersonPDA #assembly #named: FunTAL: reasonably mixing a functional language with assembly (DP0, JP, CD, AA), pp. 495–509.
POPL-2017-KumarBH #array #parallel: Parallel functional arrays (AK, GEB, RH0), pp. 706–718.
CASE-2017-ScholzHF #modelling #workflow: Functional modelling in production engineering workflows (AS, CH, AF), pp. 695–700.
CASE-2017-SunLZJ #framework #learning #using: Exploring functional variant using a deep learning framework (TS, ZL, XMZ, RJ), pp. 98–99.
CASE-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.
CC-2017-TownsendKE #data flow #pipes and filters #source code: From functional programs to pipelined dataflow circuits (RT, MAK, SAE), pp. 76–86.
CGO-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.
ESOP-2017-LeinbergerLS #programming #semantics: The Essence of Functional Programming on Semantic Data (ML, RL, SS), pp. 750–776.
ESOP-2017-Sato0 #composition #higher-order #source code #verification: Modular Verification of Higher-Order Functional Programs (RS, NK0), pp. 831–854.
CSL-2017-GerardM: Separating Functional Computation from Relations (UG, DM0), p. 17.
CSL-2017-Pavaux #induction: Inductive and Functional Types in Ludics (AP), p. 20.
ICST-2017-ArcuriFJ #api #automation #generative #testing: Private API Access and Functional Mocking in Automated Unit Test Generation (AA, GF, RJ), pp. 126–137.
SANER-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.
SANER-2016-WeckT #source code #visualisation: Visualizing Data-Flows in Functional Programs (TW, MT), pp. 293–303.
FSCD-2016-BenkeSC #first-order #logic #source code #synthesis: Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic (MB, AS, DWC), p. 16.
FSCD-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.
FSCD-2016-Nipkow #analysis #data type: Verified Analysis of Functional Data Structures (TN), p. 2.
SEFM-2016-AndreescuJL #correlation #specification: Correlating Structured Inputs and Outputs in Functional Specifications (OFA, TPJ, SL), pp. 85–103.
Haskell-2016-BraquehaisR #named #testing: FitSpec: refining property sets for functional testing (RB, CR), pp. 1–12.
Haskell-2016-Gibbons #delivery: Free delivery (functional pearl) (JG), pp. 45–50.
Haskell-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.
CIKM-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.
ICPR-2016-FoareLT16a #calculus #image #segmentation #using: Image restoration and segmentation using the Ambrosio-Tortorelli functional and Discrete Calculus (MF, JOL, HT), pp. 1418–1423.
Onward-2016-MillerHMB #distributed #programming: Function passing: a model for typed, distributed functional programming (HM, PH, NM, JB), pp. 82–97.
LOPSTR-2016-AntoyJ #compilation: A New Functional-Logic Compiler for Curry: Sprite (SA, AJ), pp. 97–113.
PLDI-2016-FaddegonC #lazy evaluation #lightweight: Lightweight computation tree tracing for lazy functional languages (MF, OC), pp. 114–128.
POPL-2016-MuraseT0SU #higher-order #source code #verification: Temporal verification of higher-order functional programs (AM, TT, NK0, RS, HU0), pp. 57–68.
SAS-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.
FSE-2016-ZalmanoviciRT #analysis #clustering #testing: Cluster-based test suite functional analysis (MZ, OR, RTB), pp. 962–967.
ESOP-2016-OwensMKT #semantics: Functional Big-Step Semantics (SO, MOM, RK, YKT), pp. 589–615.
ESOP-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.
CAV-2016-FriedTV #synthesis: BDD-Based Boolean Functional Synthesis (DF, LMT, MYV), pp. 402–421.
ICST-2016-ChengWXH0 #empirical #evaluation #source code #test coverage: Empirical Evaluation of Test Coverage for Functional Programs (YC, MW0, YX, DH, LZ0), pp. 255–265.
VLDB-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.
ICPC-2015-KhadkeRS #testing #workflow: Recovering workflows from functional tests (CK, SR, VS), pp. 287–288.
SEFM-2015-BlomHZ #behaviour #concurrent #source code #verification: History-Based Verification of Functional Behaviour of Concurrent Programs (SB, MH, MZS), pp. 84–98.
CEFP-2015-Cukic #c++ #programming: Functional Reactive Programming in C++ (IC), pp. 42–74.
CEFP-2015-GraniczD #f# #programming #web: Functional, Reactive Web Programming in F# (AG, LD), pp. 137–160.
CEFP-2015-Grimm #c++ #programming: Programming in a Functional Style in C++ (RG), pp. 111–136.
CEFP-2015-Korecko #design #modelling #petri net: Functional Languages in Design of Coloured Petri Nets Models (SK), pp. 161–206.
CEFP-2015-Porkolab #c++ #programming: Immutables in C++: Language Foundation for Functional Programming (ZP), pp. 75–110.
Haskell-2015-Foner #monad: Functional pearl: getting a quick fix on comonads (KF), pp. 106–117.
ICFP-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.
ICFP-2015-BaumanBHKPST #jit #named: Pycket: a tracing JIT for a functional language (SB, CFB, RH, VK, TP, JGS, STH), pp. 22–34.
ICFP-2015-Chlipala #compilation #optimisation: An optimizing compiler for a purely functional web-application language (AC), pp. 10–21.
ICFP-2015-DannerLR #induction #semantics: Denotational cost semantics for functional languages with inductive types (ND, DRL, R), pp. 140–151.
ICFP-2015-JaskelioffR #data type: Functional pearl: a smart view on datatypes (MJ, ER), pp. 355–361.
ICFP-2015-RompfA #c #compilation #sql: Functional pearl: a SQL to C compiler in 500 lines of code (TR, NA), pp. 2–9.
ICFP-2015-Russo #haskell: Functional pearl: two can keep a secret, if one of them uses Haskell (AR), pp. 280–288.
ICFP-2015-Sheeran #design #hardware #programming #years after: Functional programming and hardware design: still interesting after all these years (MS), p. 165.
ICFP-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-PLAY-2015-ColeCG #challenge #game studies: Emotional and Functional Challenge in Core and Avant-garde Games (TC, PAC, MG), pp. 121–126.
CHI-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.
CHI-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.
CSCW-2015-ArazyONYB #wiki: Functional Roles and Career Paths in Wikipedia (OA, FO, ON, MLY, AB), pp. 1092–1105.
ICEIS-v2-2015-MunizNM #modelling #named #statistics #testing: TCG — A Model-based Testing Tool for Functional and Statistical Testing (LLM, USCN, PHMM), pp. 404–411.
ICML-2015-BahadoriKFL #clustering: Functional Subspace Clustering with Application to Time Series (MTB, DCK, YF, YL), pp. 228–237.
ICMT-2015-JouaultBBCS #model transformation #ocl #towards: Towards Functional Model Transformations with OCL (FJ, OB, MB, MC, GS), pp. 111–120.
PLATEAU-2015-FigueroaR #composition #programming #question: Is functional programming better for modularity? (IF, RR), pp. 49–52.
LOPSTR-2015-PalaciosV #execution #programming: Concolic Execution in Functional Programming by Program Instrumentation (AP, GV), pp. 277–292.
PEPM-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.
PEPM-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.
PEPM-2015-VerstoepH #analysis #higher-order #strict: Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement (HV, JH), pp. 139–142.
PPDP-2015-GiantsiosPS #testing: Concolic testing for functional languages (AG, NSP, KFS), pp. 137–148.
PPDP-2015-Schmidt-Schauss #call-by #semantics: Improvements in a functional core language with call-by-need operational semantics (MSS, DS), pp. 220–231.
REFSQ-2015-CanchiD #interactive #modelling #requirements: Functional Requirements Modelling for Interactive TV Applications (SC, JED), pp. 254–261.
ICSE-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.
SAC-2015-DAvanzoFGS #estimation #metric #mobile: COSMIC functional measurement of mobile applications and code size estimation (LD, FF, CG, PS), pp. 1631–1636.
SAC-2015-JesusVB #testing #web: Leveraging task-based data to support functional testing of web applications (FRdJ, LGdV, LABJ), pp. 783–790.
SAC-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.
SAC-2015-TakanoI #correctness #lazy evaluation #semantics: Thunk recycling for lazy functional languages: operational semantics and correctness (YT, HI), pp. 2079–2086.
CASE-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.
DAC-2015-ChangHLW #analysis #encoding #named: TA-FTA: transition-aware functional timing analysis with a four-valued encoding (JCCC, RHMH, LYZL, CHPW), p. 6.
DAC-2015-Foster #industrial #roadmap #verification: Trends in functional verification: a 2014 industry study (HDF), p. 6.
DAC-2015-NishimiyaSS #evaluation #interface #mockup #modelling #network: Evaluation of functional mock-up interface for vehicle power network modeling (KN, TS, SS), p. 6.
DAC-2015-ShererRO #safety: Ensuring functional safety compliance for ISO 26262 (ADS, JR, RO), p. 3.
DATE-2015-BerryhillV #automation: Automated rectification methodologies to functional state-space unreachability (RB, AGV), pp. 1401–1406.
DATE-2015-KonstantinouKM #encryption #privacy #verification: Privacy-preserving functional IP verification utilizing fully homomorphic encryption (CK, AK, MM), pp. 333–338.
DATE-2015-LeeJG #hardware #performance #simulation: Dynamic power and performance back-annotation for fast and accurate functional hardware simulation (DL, LKJ, AG), pp. 1126–1131.
DATE-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.
ESOP-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.
TACAS-2015-TschannenFNP #named #object-oriented #source code #verification: AutoProof: Auto-Active Functional Verification of Object-Oriented Programs (JT, CAF, MN, NP), pp. 566–580.
CAV-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.
TAP-2015-MijatovMLK #diagrams #process #requirements #testing #uml: Testing Functional Requirements in UML Activity Diagrams (SM, TM, PL, GK), pp. 173–190.
WICSA-2014-SeeleSB #architecture #modelling #web: The Functional Architecture Modeling Method Applied on Web Browsers (WS, SS, SB), pp. 171–174.
TFPIE-2014-MorazanA #automaton #formal method #student: Functional Automata — Formal Languages for Computer Science Students (MTM, RA), pp. 19–32.
TFPIE-2014-Winter #authentication #named #programming language: Bricklayer: An Authentic Introduction to the Functional Programming Language SML (VLW), pp. 33–49.
ICSME-2014-ChristopheSRM #automation #maintenance #testing #web: Prevalence and Maintenance of Automated Functional Tests for Web Applications (LC, RS, CDR, WDM), pp. 141–150.
SEFM-2014-DuboisR #using: Verified Functional Iterators Using the FoCaLiZe Environment (CD, RR), pp. 317–331.
ICFP-2014-ChenAT #programming #scalability #self: Functional programming for dynamic and large data with self-adjusting computation (YC, UAA, KT), pp. 227–240.
ICFP-2014-Pottier: Hindley-milner elaboration in applicative style: functional pearl (FP), pp. 203–212.
IFL-2014-KoopmanPJ #data type #encoding #harmful #implementation: Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl (PWMK, RP, JMJ), p. 4.
IFL-2014-LeF #parallel: Combining Shared State with Speculative Parallelism in a Functional Language (ML, MF), p. 2.
CHI-2014-Bergstrom-LehtovirtaO #mobile #modelling: Modeling the functional area of the thumb on mobile touchscreen surfaces (JBL, AO), pp. 1991–2000.
CHI-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.
CHI-2014-PaterNMB: Just awful enough: the functional dysfunction of the something awful forums (JAP, YN, EDM, ASB), pp. 2407–2410.
CSCW-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.
DUXU-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.
HIMI-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.
CIKM-2014-AbedjanSN #dependence #named #performance: DFD: Efficient Functional Dependency Discovery (ZA, PS, FN), pp. 949–958.
Onward-2014-ReyndersDP #multi #programming #web: Multi-Tier Functional Reactive Programming for the Web (BR, DD, FP), pp. 55–68.
PEPM-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.
LOPSTR-2014-Danilenko: Functional Kleene Closures (ND), pp. 241–258.
PADL-2014-LakinP #compilation #programming language #using: Compiling DNA Strand Displacement Reactions Using a Functional Programming Language (MRL, AP), pp. 81–86.
PEPM-2014-HanusS #analysis #composition #logic programming #source code: A modular and generic analysis server system for functional logic programs (MH, FS), pp. 181–188.
POPL-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.
PPDP-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.
PPDP-2014-MehnerSSV #parametricity #proving #theorem: Parametricity and Proving Free Theorems for Functional-Logic Languages (SM, DS, LS, JV), pp. 19–30.
PPDP-2014-PachecoZH #bidirectional #named #xml: BiFluX: A Bidirectional Functional Update Language for XML (HP, TZ, ZH), pp. 147–158.
PPDP-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.
RE-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.
FSE-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.
ICSE-2014-KimSZXA #component #reuse #reverse engineering: Reuse-oriented reverse engineering of functional components from x86 binaries (DK, WNS, XZ, DX, HA), pp. 1128–1139.
ICSE-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.
CASE-2014-LiuKCY #modelling #monitoring #parametricity: Model-driven parametric monitoring of high-dimensional nonlinear functional profiles (GL, CK, YC, HY), pp. 722–727.
DAC-2014-ChangJC #configuration management #using: Functional ECO Using Metal-Configurable Gate-Array Spare Cells (HYC, IHRJ, YWC), p. 6.
DAC-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.
DAC-2014-MunawarS #modelling #scalability: Scalable Co-Simulation of Functional Models With Accurate Event Exchange (AM, SS), p. 6.
DAC-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.
DAC-2014-StoermerT #interface #mockup #standard #using: Powertrain Co-Simulation using AUTOSAR and the Functional Mockup Interface standard (CS, GT), p. 1.
DAC-2014-SullivanBZZJ #hardware #identification #named: FIGHT-Metric: Functional Identification of Gate-Level Hardware Trustworthiness (DS, JB, GZ, SZ, YJ), p. 4.
DAC-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.
DAC-2014-WangSYHC: Practical Functional and Washing Droplet Routing for Cross-Contamination Avoidance in Digital Microfluidic Biochips (QW, YS, HY, TYH, YC), p. 6.
DATE-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.
DATE-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.
DATE-2014-WangLLW0 #design #generative #testing: Functional test generation guided by steady-state probabilities of abstract design (JW, HL, TL, TW, XL), pp. 1–4.
ESOP-2014-KuwaharaTU0 #automation #higher-order #source code #termination #verification: Automatic Termination Verification for Higher-Order Functional Programs (TK, TT, HU, NK), pp. 392–411.
WRLA-2014-Genet #automaton #source code #static analysis #towards #using: Towards Static Analysis of Functional Programs Using Tree Automata Completion (TG), pp. 147–161.
CAV-2014-MadhavanK #bound #source code: Symbolic Resource Bound Inference for Functional Programs (RM, VK), pp. 762–778.
LICS-CSL-2014-Jeffrey: Functional reactive types (AJ), p. 9.
LICS-CSL-2014-Pedrot: A functional functional interpretation (PMP), p. 10.
DocEng-2013-Lumley #documentation: Functional, extensible, svg-based variable documents (JWL), pp. 131–140.
TFPIE-2013-Caldwell #induction: Structural Induction Principles for Functional Programmers (JC), pp. 16–26.
CIAA-J-2012-Mohri13 #ambiguity #automaton #finite #on the #transducer: On the Disambiguation of Finite Automata and Functional Transducers (MM), pp. 847–862.
CEFP-2013-Gibbons #domain-specific language #programming: Functional Programming for Domain-Specific Languages (JG), pp. 1–28.
CEFP-2013-Granicz #development #f# #mobile #web: Functional Web and Mobile Development in F# (AG), pp. 381–406.
Haskell-2013-Ploeg #monad #programming: Monadic functional reactive programming (AvdP), pp. 117–128.
ICFP-2013-AxelssonC #higher-order #source code #syntax #using: Using circular programs for higher-order syntax: functional pearl (EA, KC), pp. 257–262.
ICFP-2013-Dolan #algebra #linear #using: Fun with semirings: a functional pearl on the abuse of linear algebra (SD), pp. 101–110.
ICFP-2013-Jeffrey #liveness #programming: Functional reactive programming with liveness guarantees (AJ), pp. 233–244.
ICFP-2013-Krishnaswami #higher-order #programming: Higher-order functional reactive programming without spacetime leaks (NRK), pp. 221–232.
ICFP-2013-Mairson #geometry: Functional geometry and the Traité de Lutherie: functional pearl (HGM), pp. 123–132.
ICFP-2013-McDonellCKL #gpu #optimisation #source code: Optimising purely functional GPU programs (TLM, MMTC, GK, BL), pp. 49–60.
ICFP-2013-PetersenGDAD #case study #experience #programming: Experience report: functional programming of mHealth applications (CP, MG, DTD, JMA, GAD), pp. 357–362.
IFL-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.
CSCW-2013-HuangYBC #game studies #online #social: Functional or social?: exploring teams in online games (YH, WY, NB, NSC), pp. 399–408.
DUXU-WM-2013-Huang #design #interactive: Proactive Home Furnishings: Inspiring from Interactive Art for Designing Functional Aesthetics in a Space (SCCH), pp. 367–375.
DUXU-WM-2013-MinJ #named #using: TRIGGER: Maximizing Functional Effect of Using Products (KBM, ECJ), pp. 385–391.
HCI-IMT-2013-CarrinoCKIM #gesture #interactive: Functional Gestures for Human-Environment Interaction (SC, MC, OAK, RI, EM), pp. 167–176.
CIKM-2013-QinZ #process: Functional dirichlet process (LQ, XZ), pp. 1331–1340.
ICML-c1-2013-ChenLYY #matrix #using: General Functional Matrix Factorization Using Gradient Boosting (TC, HL, QY, YY), pp. 436–444.
SPLC-2013-SchulzeMB #question #safety #variability: Functional safety and variability: can it be brought together? (MS, JM, DB), pp. 236–243.
AdaEurope-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.
LOPSTR-2013-AntoyJ #compilation #logic: Compiling a Functional Logic Language: The Fair Scheme (SA, AJ), pp. 202–219.
PADL-2013-AngelopoulosCAWCW #logic programming #statistics: Integrative Functional Statistics in Logic Programming (NA, VSC, JA, JW, RC, LW), pp. 190–205.
PADL-2013-BrasselHPR #constraints #equation #implementation: Implementing Equational Constraints in a Functional Language (BB, MH, BP, FR), pp. 125–140.
PADL-2013-FourtounisPR #implementation #lazy evaluation: The Generalized Intensional Transformation for Implementing Lazy Functional Languages (GF, NP, PR), pp. 157–172.
PEPM-2013-Garcia-PerezN #reduction #semantics: A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers (ÁGP, PN), pp. 107–116.
PEPM-2013-Lopez-FraguasM #evaluation #type system: Typing as functional-logic evaluation (FJLF, EMM), pp. 23–32.
PLDI-2013-CzaplickiC #programming #user interface: Asynchronous functional reactive programming for GUIs (EC, SC), pp. 411–422.
POPL-2013-BlellochH #algorithm: Cache and I/O efficent functional algorithms (GEB, RH), pp. 39–50.
POPL-2013-UnnoTK #automation #higher-order #source code #verification: Automating relatively complete verification of higher-order functional programs (HU, TT, NK), pp. 75–86.
PPDP-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.
PPDP-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.
PPDP-2013-MandelPP #refinement: Time refinement in a functional synchronous language (LM, CP, MP), pp. 169–180.
PPDP-2013-MontenegroPS #analysis #regular expression #using: Shape analysis in a functional language by using regular languages (MM, RP, CS), pp. 251–262.
PPDP-2013-ODonnell #array #parallel: Extensible sparse functional arrays with circuit parallelism (JTO), pp. 133–144.
ESEC-FSE-2013-GyoriFDL #imperative #programming #refactoring: Crossing the gap from imperative to functional programming through refactoring (AG, LF, DD, JL), pp. 543–553.
ICSE-2013-FranklinGLD #automation #imperative #named #programming #refactoring: LAMBDAFICATOR: from imperative to functional programming through automated refactoring (LF, AG, JL, DD), pp. 1287–1290.
SAC-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.
DATE-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.
DATE-2013-SubramanyanTPRSM #analysis #reverse engineering #using: Reverse engineering digital circuits using functional analysis (PS, NT, KP, DR, AS, SM), pp. 1277–1280.
PDP-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.
STOC-2013-GoldwasserKPVZ #encryption #reuse: Reusable garbled circuits and succinct functional encryption (SG, YTK, RAP, VV, NZ), pp. 555–564.
TACAS-2013-BhatBGR #probability #source code: Deriving Probability Density Functions from Probabilistic Functional Programs (SB, JB, ADG, CVR), pp. 508–522.
ICLP-J-2013-CatB #dependence #detection #generative: Detection and exploitation of functional dependencies for model generation (BdC, MB), pp. 471–485.
ICST-2013-GraslandBGP #approach #hybrid #safety #testing: A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information (YG, LdB, RG, IP), pp. 104–113.
PODS-2012-Kimelfeld #complexity #dependence: A dichotomy in the complexity of deletion propagation with functional dependencies (BK), pp. 191–202.
VLDB-2012-ZhangZXYW #analysis #difference #privacy: Functional Mechanism: Regression Analysis under Differential Privacy (JZ, ZZ, XX, YY, MW), pp. 1364–1375.
ITiCSE-2012-GerdesJH #interactive #programming: An interactive functional programming tutor (AG, JJ, BH), pp. 250–255.
TFPIE-2012-ODonnell #education #hardware #using: Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (JTO), pp. 20–39.
CSMR-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.
WCRE-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.
CIAA-2012-Mohri #algorithm #ambiguity #automaton #finite #transducer: A Disambiguation Algorithm for Finite Automata and Functional Transducers (MM), pp. 265–277.
FLOPS-2012-AntoyP #compilation #logic: Compiling a Functional Logic Language: The Basic Scheme (SA, AP), pp. 17–31.
FLOPS-2012-Terauchi #automation #higher-order #source code #verification: Automated Verification of Higher-Order Functional Programs (TT), p. 2.
Haskell-2012-Claessen: Shrinking and showing functions: (functional pearl) (KC), pp. 73–80.
Haskell-2012-DuregardJW #algebra #named: Feat: functional enumeration of algebraic types (JD, PJ, MW0), pp. 61–72.
Haskell-2012-Yorgey #monad #named: Monoids: theme and variations (functional pearl) (BAY), pp. 105–116.
ICFP-2012-OliveiraC #graph #programming: Functional programming with structured graphs (BCdSO, WRC), pp. 77–88.
ICFP-2012-PereraACL #source code: Functional programs that explain their work (RP, UAA, JC, PBL), pp. 365–376.
ICFP-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.
CIKM-2012-KimC #approximate #composition #dependence #performance: Decomposition-by-normalization (DBN): leveraging approximate functional dependencies for efficient tensor decomposition (MK, KSC), pp. 355–364.
ICML-2012-BalakrishnanPL #kernel: Sparse Additive Functional and Kernel CCA (SB, KP, JDL), p. 97.
ICPR-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.
ICPR-2012-ZenRSRS #categorisation #semantics: Enhanced semantic descriptors for functional scene categorization (GZ, NR, JS, ER, NS), pp. 1985–1988.
KEOD-2012-LinharesD #analysis #geometry: Geometric Knowledge Analysis based in Part Functional Descriptions (JCL, AD), pp. 307–313.
PLEASE-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.
PADL-2012-AntoyH #contract #logic programming #specification: Contracts and Specifications for Functional Logic Programming (SA, MH), pp. 33–47.
PADL-2012-MartinsME #programming: The Environment as an Argument — Context-Aware Functional Programming (PMM, JAM, SE), pp. 48–62.
PADL-2012-Stewart #exclamation #haskell #programming: Make Things Now! Pragmatic Functional Programming in Haskell (DS), p. 17.
PEPM-2012-GotoS #approach: An approach to completing variable names for implicitly typed functional languages (TG, IS), pp. 131–140.
PEPM-2012-Katayama #induction #programming #source code: An analytical inductive functional programming system that avoids unintended programs (SK), pp. 43–52.
PEPM-2012-KobayashiMS #source code: Functional programs as compressed data (NK, KM, AS), pp. 121–130.
PEPM-2012-Lopez-FraguasMR #logic programming: Well-typed narrowing with extra variables in functional-logic programming (FJLF, EMM, JRH), pp. 83–92.
POPL-2012-KrishnaswamiBH #bound #higher-order #programming: Higher-order functional reactive programming in bounded space (NRK, NB, JH), pp. 45–58.
PPDP-2012-PlasmeijerLMAK #programming: Task-oriented programming in a pure functional language (RP, BL, SM, PA, PWMK), pp. 195–206.
PPDP-2012-Thielecke #continuation #parsing #recursion #semantics: Functional semantics of parsing actions, and left recursion elimination as continuation passing (HT), pp. 91–102.
SAS-2012-Ledesma-GarzaR #analysis #higher-order #reachability #source code: Binary Reachability Analysis of Higher Order Functional Programs (RLG, AR), pp. 388–404.
RE-2012-Ghazarian #requirements #taxonomy: Characterization of functional software requirements space: The law of requirements taxonomic growth (AG), pp. 241–250.
FSE-2012-SiegmundBAKLLS #comprehension #towards: Toward measuring program comprehension with functional magnetic resonance imaging (JS, AB, SA, CK, JL, TL, GS), p. 24.
ICSE-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.
SAC-2012-NagarAB #graph #similarity #using: Computing gene functional similarity using combined graphs (AN, HAM, SB), pp. 1381–1386.
SAC-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.
SAC-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.
CASE-2012-IdenP #algorithm #aspect-oriented #detection #safety: Functional safety aspects of pattern detection algorithms (JI, CIP), pp. 747–752.
CASE-2012-LinKH #analysis #modelling: Fitting a functional structural plant model based on global sensitivity analysis (YL, MK, JH), pp. 790–795.
DAC-2012-ChungJ #analysis #performance: Functional timing analysis made fast and general (YTC, JHRJ), pp. 1055–1060.
DATE-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.
DATE-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.
DATE-2012-PoulosYAVL #debugging: Leveraging reconfigurability to raise productivity in FPGA functional debug (ZP, YSY, JA, AGV, BL), pp. 292–295.
DATE-2012-Sun #automation #embedded #generative #modelling: Automatic generation of functional models for embedded processor extensions (FS), pp. 304–307.
PDP-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.
FoSSaCS-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.
STOC-2012-WoodruffZ #bound #distributed #monitoring: Tight bounds for distributed functional monitoring (DPW, QZ), pp. 941–960.
ICLP-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.
ICLP-2012-VirsedaMT #concurrent #constraints #logic programming #semantics: A Concurrent Operational Semantics for Constraint Functional Logic Programming (RdVV, FPM, MMGT), pp. 154–163.
DLT-2011-Wilke #regular expression: A Functional Program for Regular Expressions Matching — Abstract of Invited Talk (TW), pp. 44–45.
RTA-2011-KochemsO #analysis #linear #reachability #using: Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars (JK, CHLO), pp. 187–202.
RTA-2011-KopR #algebra #dependence #higher-order: Higher Order Dependency Pairs for Algebraic Functional Systems (CK, FvR), pp. 203–218.
CEFP-2011-Butterfield #reasoning #source code: Reasoning about I/O in Functional Programs (AB), pp. 93–141.
CEFP-2011-Loogen #haskell #named #parallel #programming: Eden — Parallel Functional Programming with Haskell (RL), pp. 142–206.
CEFP-2011-SlodicakMN #category theory #programming: Some New Approaches in Functional Programming Based on Categories (VS, PM, VN), pp. 517–532.
Haskell-2011-LeijenFB #concurrent: Prettier concurrency: purely functional concurrent revisions (DL, MF, SB), pp. 83–94.
Haskell-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.
ICFP-2011-ChenDHA #self #source code: Implicit self-adjusting computation for purely functional programs (YC, JD, MAH, UAA), pp. 129–141.
ICFP-2011-MagalhaesH #case study #experience #modelling: Functional modelling of musical harmony: an experience report (JPM, BdH), pp. 156–162.
ICFP-2011-MightDS #parsing: Parsing with derivatives: a functional pearl (MM, DD, DS), pp. 189–195.
ICFP-2011-Mitchell #ecosystem #modelling #programming: Functional programming through deep time: modeling the first complex ecosystems on earth (EGM), pp. 28–31.
ICFP-2011-MorihataM #parallel #programming: Balanced trees inhabiting functional parallel programming (AM, KM), pp. 117–128.
ICFP-2011-MuM #morphism #theorem: Generalising and dualising the third list-homomorphism theorem: functional pearl (SCM, AM), pp. 385–391.
ICFP-2011-ShiversT #composition: Modular rollback through control logging: a pair of twin functional pearls (OS, AJT), pp. 58–68.
ICFP-2011-UenoOO #garbage collection #performance: An efficient non-moving garbage collector for functional languages (KU, AO, TO), pp. 196–208.
IFL-2011-MiddelkoopEP #source code: Functional Instrumentation of ActionScript Programs with Asil (AM, ABE, WP), pp. 1–16.
IFL-2011-Thomsen #logic #optimisation #using: Describing and Optimising Reversible Logic Using a Functional Language (MKT), pp. 148–163.
CHI-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.
CHI-2011-LeeD: Reflecting on pills and phone use: supporting awareness of functional abilities for older adults (MLL, AKD), pp. 2095–2104.
HCI-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.
ICML-2011-KadriRPDR #kernel: Functional Regularized Least Squares Classication with Operator-valued Kernels (HK, AR, PP, ED, AR), pp. 993–1000.
KDD-2011-PereiraB #classification #using: Classification of functional magnetic resonance imaging data using informative pattern features (FP, MB), pp. 940–946.
KEOD-2011-SchadeOS #integration #web: Functional Integration for the Observation Web (SS, FOO, LS), pp. 498–504.
SEKE-2011-SantosSN #order #performance #reuse #testing: Reusing Functional Testing in order to Decrease Performance and Stress Testing Costs (IdSS, ARS, PdAdSN), pp. 470–474.
SIGIR-2011-ZhouYZ #matrix #recommendation: Functional matrix factorizations for cold-start recommendation (KZ, SHY, HZ), pp. 315–324.
LOPSTR-2011-Almendros-JimenezCGS #declarative #xquery: A Declarative Embedding of XQuery in a Functional-Logic Language (JMAJ, RC, YGR, FSP), pp. 42–56.
PADL-2011-CaballeroGS #xpath: Integrating XPath with the Functional-Logic Language Toy (RC, YGR, FSP), pp. 145–159.
PADL-2011-Kaivola #execution #framework #validation: Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework (RK), p. 1.
PEPM-2011-Caballero #logic programming #program transformation #source code: A program transformation for returning states in functional-logic programs (RC), pp. 111–120.
PEPM-2011-Martin-Martin #logic programming: Type classes in functional logic programming (EMM), pp. 121–130.
POPL-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.
ASE-2011-MacleanIG #animation #correctness #pointer #source code: The CORE system: Animation and functional correctness of pointer programs (EM, AI, GG), pp. 588–591.
ICSE-2011-Smith #requirements #security #testing #using: Systematizing security test case planning using functional requirements phrases (BS), pp. 1136–1137.
SAC-2011-CoupeyF #adaptation #component #framework: A formal framework for a functional language with adaptable components (PC, CF), pp. 1297–1298.
SAC-2011-ShimadaKLCN #composition #design #embedded #kernel: Design issues in composition kernels for highly functional embedded systems (HS, YK, THL, AC, TN), pp. 338–345.
SLE-2011-KaminskiW #attribute grammar #programming language: Integrating Attribute Grammar and Functional Programming Language Features (TK, EVW), pp. 263–282.
DAC-2011-ChangJC: Simultaneous functional and timing ECO (HYC, IHRJ, YWC), pp. 140–145.
DAC-2011-MoffittSV #clustering #robust #verification: Robust partitioning for hardware-accelerated functional verification (MDM, MAS, PGV), pp. 854–859.
DATE-2011-ChenM #composition #generative #testing: Decision ordering based property decomposition for functional test generation (MC, PM), pp. 167–172.
DATE-2011-Pomeranz #generative #testing: Built-in generation of functional broadside tests (IP), pp. 1297–1302.
PDP-2011-TanabeOTJ #memory management #multi: Scaleable Sparse Matrix-Vector Multiplication with Functional Memory and GPUs (NT, YO, MT, KJ), pp. 101–108.
FASE-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.
FoSSaCS-2011-Hoshino #linear #programming language: A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy (NH), pp. 320–334.
CAV-2011-JhalaMR #named #source code #using #verification: HMC: Verifying Functional Programs Using Abstract Interpreters (RJ, RM, AR), pp. 470–485.
CSL-2011-ReusS #logic #source code: Relative Completeness for Logics of Functional Programs (BR, TS), pp. 470–480.
ICLP-2011-ZomboriCS #prolog #static typing #type checking: Static Type Checking for the Q Functional Language in Prolog (ZZ, JC, PS), pp. 62–72.
ECSA-2010-AhujaSN #design: MDA Tool for Telecom Service Functional Design (AA, JS, RN), pp. 519–522.
ECSA-2010-BrinkkemperP #architecture #industrial #modelling: Functional Architecture Modeling for the Software Product Industry (SB, SP), pp. 198–213.
DocEng-2010-Lumley #documentation #invariant #layout: Pre-evaluation of invariant layout in functional variable-data documents (JWL), pp. 251–254.
VLDB-2010-BeskalesIG #constraints #dependence: Sampling the Repairs of Functional Dependency Violations under Hard Constraints (GB, IFI, LG), pp. 197–207.
VLDB-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.
VLDB-2010-MarnetteMP #dependence #scalability: Scalable Data Exchange with Functional Dependencies (BM, GM, PP), pp. 105–116.
ICALP-v2-2010-HofmannKS #question #what: What Is a Pure Functional? (MH, AK, HS), pp. 199–210.
LATA-2010-PlatekML #automaton #generative: Restarting Automata with Structured Output and Functional Generative Description (MP, FM, ML), pp. 500–511.
FLOPS-2010-BartheBK #framework: A Functional Framework for Result Checking (GB, PB, CK), pp. 72–86.
ICFP-2010-Blelloch #algorithm #parallel: Functional parallel algorithms (GEB), pp. 247–248.
ICFP-2010-FischerHW #game studies #regular expression: A play on regular expressions: functional pearl (SF, FH, TW), pp. 357–368.
ICFP-2010-ScottSGM #industrial #programming #using: Using functional programming within an industrial product group: perspectives and perceptions (DJS, RS, TG, AM), pp. 87–92.
ICFP-2010-VytiniotisK: Functional pearl: every bit counts (DV, AJK), pp. 15–26.
IFL-2010-BoeijinkHK #lazy evaluation: Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages (AB, PKFH, JK), pp. 54–71.
ICGT-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.
ICEIS-ISAS-2010-JiagueFGKLMS #modelling #policy #security: Model-driven Engineering of Functional Security Policies (MEJ, MF, FG, PK, RL, JM, RSD), pp. 374–379.
KDD-2010-FeiH #classification #graph: Boosting with structure information in the functional space: an application to graph classification (HF, JH), pp. 643–652.
KR-2010-KelveyMNS #dependence #independence: Independence and Functional Dependence Relations on Secrets (RK, SMM, PN, BS).
SEKE-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.
LOPSTR-2010-BacciC #first-order #logic programming #source code: Abstract Diagnosis of First Order Functional Logic Programs (GB, MC), pp. 215–233.
PEPM-2010-Hofmann #induction #named #programming: IGOR2 — an analytical inductive functional programming system: tool demo (MH0), pp. 29–32.
PLDI-2010-KuncakMPS #synthesis: Complete functional synthesis (VK, MM, RP, PS), pp. 316–329.
PLDI-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.
POPL-2010-Chlipala #compilation: A verified compiler for an impure functional language (AC), pp. 93–106.
PPDP-2010-AsaiK #continuation #virtual machine: Functional derivation of a virtual machine for delimited continuations (KA, AK), pp. 87–98.
RE-2010-MenzelMGD #comparison #requirements #specification: An Experimental Comparison Regarding the Completeness of Functional Requirements Specifications (IM, MM, AG, JD), pp. 15–24.
SAC-2010-KrajcaV #memory management #parallel #transaction: Software transactional memory for implicitly parallel functional language (PK, VV), pp. 2123–2130.
LDTA-2010-JansenPKA #workflow: Embedding a web-based workflow management system in a functional language (JMJ, RP, PWMK, PA), p. 7.
DAC-2010-KundertC #modelling #verification: Model-based functional verification (KSK, HC), pp. 421–424.
DAC-2010-LimKH #generative #modelling #performance: An efficient test vector generation for checking analog/mixed-signal functional models (BL, JK, MAH), pp. 767–772.
DATE-2010-BarrioMMHM #synthesis #using: Using Speculative Functional Units in high level synthesis (AADB, MCM, JMM, RH, SOM), pp. 1779–1784.
DATE-2010-LiZYZ: Proactive NBTI mitigation for busy functional units in out-of-order microprocessors (LL, YZ, JY, JZ), pp. 411–416.
DATE-2010-PomeranzR10a #on the #testing: On reset based functional broadside tests (IP, SMR), pp. 1438–1443.
HPDC-2010-HigdonLK #modelling #sequence #similarity: Modeling sequence and function similarity between proteins for protein functional annotation (RH, BL, EK), pp. 499–502.
ESOP-2010-BaillotGM #linear #logic: A PolyTime Functional Language from Light Linear Logic (PB, MG, VM), pp. 104–124.
ESOP-2010-LagoS #programming #sublinear: Functional Programming in Sublinear Space (UDL, US), pp. 205–225.
CAV-2010-KuncakMPS #named #synthesis: Comfusy: A Tool for Complete Functional Synthesis (VK, MM, RP, PS), pp. 430–433.
ICLP-2010-Alqaddoumi10 #logic programming #parallel #towards #virtual machine: Towards a Parallel Virtual Machine for Functional Logic Programming (AA), pp. 222–225.
ICST-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.
ICTSS-2010-WalkinshawBDP #case study #induction #testing: Increasing Functional Coverage by Inductive Testing: A Case Study (NW, KB, JD, JP), pp. 126–141.
CBSE-2009-BotaschanjanH #architecture: Integrating Functional and Architectural Views of Reactive Systems (JB, AH), pp. 156–172.
ECDL-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.
SIGMOD-2009-CormodeGKMSZ #dependence: Estimating the confidence of conditional functional dependencies (GC, LG, FK, AM, DS, XZ), pp. 469–482.
VLDB-2009-KimuraHRMZ #correlation #dependence: Correlation Maps: A Compressed Access Method for Exploiting Soft Functional Dependencies (HK, GH, AR, SM, SBZ), pp. 1222–1233.
ICALP-v1-2009-ArackaparambilBC #monitoring: Functional Monitoring without Monotonicity (CA, JB, AC), pp. 95–106.
CEFP-2009-FluetBFRRSX #parallel #programming: Programming in Manticore, a Heterogenous Parallel Functional Language (MF, LB, NF, MR, JHR, AS, YX), pp. 94–145.
CEFP-2009-Porkolab #c++ #metaprogramming: Functional Programming with C++ Template Metaprograms (ZP), pp. 306–353.
Haskell-2009-Bernardy #incremental #lazy evaluation #parsing: Lazy functional incremental parsing (JPB), pp. 49–60.
Haskell-2009-Elliott #programming: Push-pull functional reactive programming (CME), pp. 25–36.
ICFP-2009-FelleisenFFK: A functional I/O system or, fun for freshman kids (MF, RBF, MF, SK), pp. 47–58.
ICFP-2009-FischerKS #lazy evaluation #nondeterminism #programming: Purely functional lazy non-deterministic programming (SF, OK, CcS), pp. 11–22.
ICFP-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.
ICFP-2009-Hinze: Functional Pearl: La Tour D’Hanoï (RH), pp. 3–10.
ICFP-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.
ICFP-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.
ICFP-2009-SculthorpeN #dependent type #programming: Safe functional reactive programming through dependent types (NS, HN), pp. 23–34.
ICFP-2009-Steele #execution #parallel: Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful (GLSJ), pp. 1–2.
ICFP-2009-Voigtlander #theorem: Free theorems involving type constructor classes: functional pearl (JV), pp. 173–184.
DiGRA-2009-DahlskogKA #classification #game studies #using: Mapping the game landscape: Locating genres using functional classification (SD, AK, EA).
CHI-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.
CHI-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.
RecSys-2009-HadzicO #dependence: Uncovering functional dependencies in MDD-compiled product catalogues (TH, BO), pp. 377–380.
TOOLS-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.
PPDP-2009-AntoyH #logic programming #set: Set functions for functional logic programming (SA, MH), pp. 73–82.
PPDP-2009-Vasconcelos #linear #parallel #programming #thread: Session types for linear multithreaded functional programming (VTV), pp. 1–6.
RE-2009-EspanaCGP #empirical #requirements #specification: Evaluating the Completeness and Granularity of Functional Requirements Specifications: A Controlled Experiment (SE, NCF, AG, OP), pp. 161–170.
RE-2009-PostSMGK #requirements #verification: Linking Functional Requirements and Software Verification (HP, CS, FM, TG, TK), pp. 295–302.
SAC-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.
SAC-2009-ShangLL #biology #mining #network: Mining functional associated patterns from biological network data (XS, ZL, WL), pp. 1488–1489.
LDTA-2008-Dolstra09 #domain-specific language #lazy evaluation #performance: Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs (ED), pp. 81–99.
LDTA-2008-FokkerS09 #abstract interpretation #attribute grammar #source code #using: Abstract Interpretation of Functional Programs using an Attribute Grammar System (JF, SDS), pp. 117–133.
DATE-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.
DATE-2009-BombieriFPHL #verification: Functional qualification of TLM verification (NB, FF, GP, MH, FL), pp. 190–195.
ISMM-2009-UnnikrishnanS #analysis #parametricity #source code: Parametric heap usage analysis for functional programs (LU, SDS), pp. 139–148.
WRLA-2008-CaballeroMRV09 #debugging #declarative #maude: A Declarative Debugger for Maude Functional Modules (RC, NMO, AR, AV), pp. 63–81.
ESOP-2009-LakinP #higher-order #induction #programming: Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming (MRL, AMP), pp. 47–61.
CAV-2009-BjornerH #fixpoint #linear: Linear Functional Fixed-points (NB, JH), pp. 124–139.
CAV-2009-Jiang #composition #quantifier: Quantifier Elimination via Functional Composition (JHRJ), pp. 383–397.
CSL-2009-FerreiraO #linear #logic: Functional Interpretations of Intuitionistic Linear Logic (GF, PO), pp. 3–19.
ICLP-2009-CaballeroRR #logic programming: Qualified Computations in Functional Logic Programming (RC, MRA, CARD), pp. 449–463.
ICLP-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.
ICST-2009-MouelhiTB #policy #security #testing: Transforming and Selecting Functional Test Cases for Security Policy Testing (TM, YLT, BB), pp. 171–180.
ICST-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.
ICST-2009-SilvaAJ #approach #estimation #execution #testing: A Simple Approach for Estimation of Execution Effort of Functional Test Cases (DGeS, BTdA, MJ), pp. 289–298.
LICS-2009-OngT #reachability: Functional Reachability (CHLO, NT), pp. 286–295.
WICSA-2008-MucciniP #analysis #architecture #simulation: Simulating Software Architectures for Functional Analysis (HM, PP), pp. 289–292.
PODS-2008-Adler #database #dependence: Tree-width and functional dependencies in databases (IA), pp. 311–320.
VLDB-2008-FanGJ #dependence #named #quality: Semandaq: a data quality system based on conditional functional dependencies (WF, FG, XJ), pp. 1460–1463.
VLDB-2008-FanMHLW #dependence: Propagating functional dependencies with conditions (WF, SM, YH, JL, YW), pp. 391–407.
VLDB-2008-GolabKKSY #dependence #generative #on the: On generating near-optimal tableaux for conditional functional dependencies (LG, HJK, FK, DS, BY), pp. 376–390.
RTA-2008-MazanekM #combinator #graph #parsing: Functional-Logic Graph Parser Combinators (SM, MM), pp. 261–275.
FLOPS-2008-CaballeroRV #constraints #declarative #logic programming: Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 305–321.
Haskell-2008-JonesD #dependence #design: Language and program design for functional dependencies (MPJ, ISD), pp. 87–98.
ICFP-2008-ChargueraudP #calculus: Functional translation of a calculus of capabilities (AC, FP), pp. 213–224.
ICFP-2008-Cheney #named #xml: FLUX: functional updates for XML (JC), pp. 3–14.
ICFP-2008-DolstraL #linux #named: NixOS: a purely functional Linux distribution (ED, AL), pp. 367–378.
ICFP-2008-DukeBRW #case study #experience #pipes and filters #visualisation: Experience report: visualizing data through functional pipelines (DJD, RB, CR, MW), pp. 379–382.
ICFP-2008-Hinze #fixpoint: Functional pearl: streams and unique fixed points (RH), pp. 189–200.
ICFP-2008-Jones08a #morphism #perspective #polymorphism #programming: Polymorphism and page tables: systems programming from a functional programmer’s perspective (MPJ), pp. 265–266.
ICFP-2008-MainlandMW #named #network #programming #staged: Flask: staged functional programming for sensor networks (GM, GM, MW), pp. 335–346.
ICFP-2008-ParkKI: Functional netlists (SP, JK, HI), pp. 353–366.
ICFP-2008-SpoonhowerBHG #parallel #profiling #source code: Space profiling for parallel functional programs (DS, GEB, RH, PBG), pp. 253–264.
IFL-2008-BrasselF #lazy evaluation #logic programming #source code: From Functional Logic Programs to Purely Functional Programs Preserving Laziness (BB, SF), pp. 25–42.
IFL-2008-GiorgidzeN #haskell #hybrid #modelling: Embedding a Functional Hybrid Modelling Language in Haskell (GG, HN), pp. 138–155.
IFL-2008-ShkaravskaET #semantics #source code: Collected Size Semantics for Functional Programs over Lists (OS, MCJDvE, AT), pp. 118–137.
SPLC-2008-NiuE #analysis #clustering #on-demand #product line #requirements: On-Demand Cluster Analysis for Product Line Functional Requirements (NN, SME), pp. 87–96.
LOPSTR-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.
LOPSTR-2008-Kitzelmann #induction #programming: Analytical Inductive Functional Programming (EK), pp. 87–102.
PADL-2008-Launchbury #industrial #programming: Industrial Functional Programming (JL), p. 1.
PEPM-2008-LiT #refactoring #source code #tool support: Tool support for refactoring functional programs (HL, SJT), pp. 199–203.
PEPM-2008-Mogensen #parametricity: Semi-inversion of functional parameters (TÆM), pp. 21–29.
PLDI-2008-ZeeKR #data type #linked data #open data #verification: Full functional verification of linked data structures (KZ, VK, MCR), pp. 349–361.
POPL-2008-Danielsson #analysis #complexity #data type #lightweight: Lightweight semiformal time complexity analysis for purely functional data structures (NAD), pp. 133–144.
PPDP-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.
PPDP-2008-Hanus #analysis #logic programming #source code: Call pattern analysis for functional logic programs (MH), pp. 67–78.
PPDP-2008-SilvaO #prototype #proving #quote: “Galculator”: functional prototype of a Galois-connection based proof assistant (PFS, JNO), pp. 44–55.
RE-2008-NiuE #modelling #product line #requirements: Extracting and Modeling Product Line Functional Requirements (NN, SME), pp. 155–164.
SAC-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.
SAC-2008-GarciaH #analysis #metric #using: Integrating functional metrics, COCOMO II and earned value analysis for software projects using PMBoK (CALG, CMH), pp. 820–825.
SAC-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.
GPCE-2008-ApelKB #aspect-oriented #refactoring #using: Program refactoring using functional aspects (SA, CK, DSB), pp. 161–170.
GPCE-2008-Meijer #programming: Fundamentalist functional programming (EM), pp. 99–100.
CASE-2008-LiuYGB #certification #safety: Functional safety certification: Practice and issues (JL, CY, FG, SB), pp. 412–417.
DAC-2008-GuzeyWLF #analysis #testing: Functional test selection based on unsupervised support vector analysis (OG, LCW, JRL, HF), pp. 262–267.
DAC-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.
DATE-2008-ApostolakisGPP #multi #self #symmetry: Functional Self-Testing for Bus-Based Symmetric Multiprocessors (AA, DG, MP, AMP), pp. 1304–1309.
DATE-2008-MostermanOSJKRCM #automation #embedded #modelling: Automatically Realising Embedded Systems from High-Level Functional Models (PJM, DO, JS, AAJ, WK, VR, CGC, GM).
DATE-2008-YonedaF #reuse #using: Wrapper and TAM Co-Optimization for Reuse of SoC Functional Interconnects (TY, HF), pp. 1366–1369.
ISMM-2008-Trancon-y-Widemann #garbage collection #programming: A reference-counting garbage collection algorithmfor cyclical functional programming (BTyW), pp. 71–80.
ESOP-2008-Coquand #programming: Constructive Mathematics and Functional Programming (TC), pp. 146–147.
CAV-2008-EisnerNY #composition #design #power management #reasoning #verification: Functional Verification of Power Gated Designs by Compositional Reasoning (CE, AN, KY), pp. 433–445.
ICLP-2008-ZhangYLM #algorithm #constraints #performance: Efficient Algorithms for Functional Constraints (YZ, RHCY, CL, SM), pp. 606–620.
ICST-2008-LefticaruI #search-based #state machine #testing: Functional Search-based Testing from State Machines (RL, FI), pp. 525–528.
TAP-2008-CarlierD #testing: Functional Testing in the Focal Environment (MC, CD), pp. 84–98.
WICSA-2007-KulkarniP #architecture #enterprise #framework #requirements: An Architectural Framework for Non Functional Requirements in Enterprise SOA Adoption (NNK, SP), p. 36.
DocEng-2007-DejeanM #documentation #logic: Logical document conversion: combining functional and formal knowledge (HD, JLM), pp. 135–143.
ICDAR-2007-CharW #approximate #representation: Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation (BWC, SMW), pp. 1198–1202.
CEFP-2007-MolEP #lazy evaluation #proving #source code: Proving Properties of Lazy Functional Programs with Sparkle (MdM, MCJDvE, RP), pp. 41–86.
CEFP-2007-Pop #object-oriented #programming #tutorial: A Tutorial on Object-Oriented Functional Programming (HFP), pp. 228–249.
Haskell-2007-NaylorAR #library: A functional-logic library for wired (MN, EA, CR), pp. 37–48.
ICFP-2007-BeshersFS #case study #experience #linux #programming #using: Experience report: using functional programming to manage a linux distribution (CB, DF, JS), pp. 213–218.
ICFP-2007-Elliott #programming: Tangible functional programming (CE), pp. 59–70.
ICFP-2007-EnnalsG #programming #web: User-friendly functional programming for web mashups (RE, DG), pp. 223–234.
ICFP-2007-FredlundS #distributed #model checking #named #programming language: McErlang: a model checker for a distributed functional programming language (LÅF, HS), pp. 125–136.
ICFP-2007-Herman #how: Functional pearl: the great escape or, how to jump the border without getting caught (DH), pp. 157–164.
ICFP-2007-Sereni #analysis #graph #higher-order #source code #termination: Termination analysis and call graph construction for higher-order functional programs (DS), pp. 71–84.
ICFP-2007-Wazny #case study #experience #programming: Experience report: functional programming in c-rules (JW), pp. 25–28.
IFL-2007-BrasselS #debugging #lazy evaluation #source code: Debugging Lazy Functional Programs by Asking the Oracle (BB, HS), pp. 183–200.
IFL-2007-WidemannP #programming: Tabular Expressions and Total Functional Programming (BTyW, DLP), pp. 219–236.
HCI-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.
HCI-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.
SEKE-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.
LOPSTR-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.
PEPM-2007-BurchettCK #named #optimisation: Lowering: a static optimization technique for transparent functional reactivity (KB, GHC, SK), pp. 71–80.
POPL-2007-MandelbaumFWFG #ml #named: PADS/ML: a functional data description language (YM, KF, DW, MFF, AG), pp. 77–83.
PPDP-2007-EncinaLRH #lazy evaluation #parallel: Observing intermediate structures in a parallel lazy functional language (AdlE, LL, FR, MHH), pp. 109–120.
PPDP-2007-FischerK #generative #logic programming #source code #testing: Systematic generation of glass-box test cases for functional logic programs (SF, HK), pp. 63–74.
SAS-2007-ChenWWKC #aspect-oriented #compilation: A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages (KC, SCW, MW, SCK, CHC), pp. 34–51.
REFSQ-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.
DAC-2007-PetlinS #multi #verification: Functional Verification of SiCortex Multiprocessor System-on-a-Chip (OP, WS), pp. 906–909.
DAC-2007-TibboelRKA #design: System-Level Design Flow Based on a Functional Reference for HW and SW (WHT, VR, MK, DA), pp. 23–28.
DATE-2007-BombieriFP #design #incremental #refinement #validation: Incremental ABV for functional validation of TL-to-RTL design refinement (NB, FF, GP), pp. 882–887.
DATE-2007-GrosseKD #bound #model checking: Estimating functional coverage in bounded model checking (DG, UK, RD), pp. 1176–1181.
DATE-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.
DATE-2007-ZhuSD #interactive #pipes and filters #validation: Interactive presentation: Functional and timing validation of partially bypassed processor pipelines (QZ, AS, ND), pp. 1164–1169.
PDP-2007-DuarteRL #architecture #fault tolerance #testing: Functional Tests of the RADIC Fault Tolerance Architecture (AD, DR, EL), pp. 278–287.
WRLA-J-2004-Lopez-FraguasRV07 #constraints #logic programming: A new generic scheme for functional logic programming with constraints (FJLF, MRA, RdVV), pp. 73–122.
CAV-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.
ICLP-2007-CaballeroRV #constraints #debugging #declarative #logic programming: Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 425–427.
FLOPS-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.
FLOPS-2006-HinzeJL #contract #programming: Typed Contracts for Functional Programming (RH, JJ, AL), pp. 208–225.
FLOPS-2006-IgnatoffCK #adaptation #framework #object-oriented: Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages (DI, GHC, SK), pp. 259–276.
Haskell-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.
ICFP-2006-Bird: Fifteen years of functional pearls (RSB), p. 215.
ICFP-2006-ZiarekSJ #abstraction #composition #concurrent #named #source code: Stabilizers: a modular checkpointing abstraction for concurrent functional programs (LZ, PS, SJ), pp. 136–147.
IFL-2006-BertholdL #coordination #parallel: Parallel Coordination Made Explicit in a Functional Setting (JB, RL), pp. 73–90.
IFL-2006-BonenfantFHH #execution #worst-case: Worst-Case Execution Times for a Purely Functional Language (AB, CF, KH, RH), pp. 235–252.
IFL-2006-Hidalgo-HerreroOR #evaluation #parallel: Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages (MHH, YOM, FR), pp. 55–72.
CHI-2006-LudfordFRWT: Because I carry my cell phone anyway: functional location-based reminder applications (PJL, DF, KR, KW, LGT), pp. 889–898.
ICEIS-DISI-2006-CaropreseGZ #consistency #database #dependence #query: Merging, Repairing and Querying Inconsistent Databases with Functional and Inclusion Dependencies (LC, SG, EZ), pp. 38–45.
CIKM-2006-BaiKCS #image #information retrieval: IR principles for content-based indexing and retrieval of functional brain images (BB, PBK, NDC, DS), pp. 828–829.
ICPR-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.
ICPR-v3-2006-HuS06a #classification #clustering #image #normalisation: Normalization of Functional Magnetic Resonance Images by Classified Cerebrospinal Fluid Cluster (ZH, PS), pp. 938–941.
KDD-2006-JankSW #modelling #online #realtime: Dynamic, real-time forecasting of online auctions via functional models (WJ, GS, SW), pp. 580–585.
LOPSTR-2006-BrasselFH #logic #program transformation: A Program Transformation for Tracing Functional Logic Computations (BB, SF, FH), pp. 160–176.
PADL-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.
PEPM-2006-IwamaIK #analysis #exception #resource management: Resource usage analysis for a functional language with exceptions (FI, AI, NK), pp. 38–47.
PEPM-2006-WangCK #aspect-oriented #higher-order #weaving: Type-directed weaving of aspects for higher-order functional languages (MW, KC, SCK), pp. 78–87.
PPDP-2006-FernandezF #calculus #object-oriented: A historic functional and object-oriented calculus (MF, FF), pp. 145–156.
ASE-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.
SAC-2006-LastovetskyRH #performance: Building the functional performance model of a processor (ALL, RR, RH), pp. 746–753.
CASE-2006-ZhangA #simulation: Tremor Suppression of Elbow Joint via Functional Electrical Stimulation: A Simulation Study (DZ, WTA), pp. 182–187.
DAC-2006-DupenloupLM #abstraction #verification: Transistor abstraction for the functional verification of FPGAs (GD, TL, RM), pp. 1069–1072.
DAC-2006-WuJYLT #estimation: A systematic method for functional unit power estimation in microprocessors (WW, LJ, JY, PL, SXDT), pp. 554–557.
DATE-2006-BalarinP #generative #interface #specification #verification: Functional verification methodology based on formal interface specification and transactor generation (FB, RP), pp. 1013–1018.
DATE-2006-BiswasDIP #architecture #automation #identification: Automatic identification of application-specific functional units with architecturally visible storage (PB, NDD, PI, LP), pp. 212–217.
DATE-2006-DhayniMRB #linear #pseudo: Pseudorandom functional BIST for linear and nonlinear MEMS (AD, SM, LR, AB), pp. 664–669.
DATE-2006-JerinicLHM #metric #verification: New methods and coverage metrics for functional verification (VJ, JL, UH, DM), pp. 1025–1030.
DATE-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.
DATE-2006-KruppM #classification #random testing #testing: Classification trees for random tests and functional coverage (AK, WM), pp. 1031–1032.
DATE-2006-PolianF #constraints #testing: Functional constraints vs. test compression in scan-based delay testing (IP, HF), pp. 1039–1044.
LCTES-2006-MutyamLNKI: Compiler-directed thermal management for VLIW functional units (MM, FL, NV, MTK, MJI), pp. 163–172.
ICLP-2006-AntoyH #logic programming #source code: Overlapping Rules and Logic Variables in Functional Logic Programs (SA, MH), pp. 87–101.
ICLP-2006-CaballeroRV #constraints #declarative #logic programming: Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 421–422.
IJCAR-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.
IJCAR-2006-TomanW #dependence #logic #on the: On Keys and Functional Dependencies as First-Class Citizens in Description Logics (DT, GEW), pp. 647–661.
SAT-2006-ZabiyakaD #bound #complexity #dependence: Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies (YZ, AD), pp. 116–129.
CBSE-2005-Dolstra #component #deployment #performance: Efficient Upgrading in a Purely Functional Component Deployment Model (ED), pp. 219–234.
PODS-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.
ITiCSE-2005-Cox #approach #human-computer #programming: A pragmatic HCI approach: engagement by reinforcing perception with functional dsesign and programming (DC), pp. 39–43.
TLCA-2005-SchurmannPS #calculus #encoding #higher-order #programming: The [triangle]-Calculus. Functional Programming with Higher-Order Encodings (CS, AP, JS), pp. 339–353.
CEFP-2005-Hammond #approach #behaviour #bound #programming: Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach (KH), pp. 100–134.
CEFP-2005-Scholz #array #programming: Functional Array Programming in SaC (SBS), pp. 62–99.
ICFP-2005-DantasWWW #aspect-oriented #named #polymorphism #programming language: Poly_AML: a polymorphic aspect-oriented functional programming language (DSD, DW, GW, SW), pp. 306–319.
ICFP-2005-MasuharaTY #aspect-oriented #ml: Aspectual Caml: an aspect-oriented functional language (HM, HT, AY), pp. 320–330.
ICFP-2005-Nilsson #algebra #data type #optimisation #programming #using: Dynamic optimization for functional reactive programming using generalized algebraic data types (HN), pp. 54–65.
DiGRA-2005-KujanpaaM #3d #design #game studies #modelling #visual notation: Visual vs. Functional Design of 3D Models for Games (TK, TM).
ICEIS-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.
CIKM-2005-PuM #equation #query #specification: Typed functional query languages with equational specifications (KQP, AOM), pp. 233–234.
SEKE-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.
AdaEurope-2005-SwardB #equivalence #proving #slicing: Proving Functional Equivalence for Program Slicing in SPARK™ (RES, LCBI), pp. 105–114.
PADL-2005-Karczmarczuk #framework #synthesis: Functional Framework for Sound Synthesis (JK), pp. 7–21.
PPDP-2005-LunaPS #compilation #experience: Efficiently compiling a functional language on AMD64: the HiPE experience (DL, MP, KFS), pp. 176–186.
RE-2005-Matulevicius #evaluation #framework #prototype #requirements: Prototype of the Evaluation Framework for Functional Requirements of RE-tools (RM), pp. 483–484.
DAC-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.
DAC-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.
DATE-2005-AbdiG #scheduling #validation: Functional Validation of System Level Static Scheduling (SA, DDG), pp. 542–547.
DATE-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.
DATE-2005-MishraD #generative #pipes and filters #testing #validation: Functional Coverage Driven Test Generation for Validation of Pipelined Processors (PM, NDD), pp. 678–683.
DATE-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.
WRLA-2004-Lopez-FraguasRV05 #constraints #logic programming #revisited: Constraint Functional Logic Programming Revisited (FJLF, MRA, RdVV), pp. 5–50.
ESOP-2005-TsuikiS: Streams with a Bottom in Functional Languages (HT, KS), pp. 201–216.
SAT-J-2004-GregoireOMS05 #automation #dependence: Automatic Extraction of Functional Dependencies (ÉG, RO, BM, LS), pp. 122–132.
CSL-2005-Hernest: Light Functional Interpretation (MDH), pp. 477–492.
ICLP-2005-BrasselH #analysis #logic programming #nondeterminism #source code: Nondeterminism Analysis of Functional Logic Programs (BB, MH), pp. 265–279.
LICS-2005-AltenkirchG #programming language #quantum: A Functional Quantum Programming Language (TA, JG), pp. 249–258.
TestCom-2005-PuderW #middleware #testing: Cross-Language Functional Testing for Middleware (AP, LW), pp. 56–68.
DocEng-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.
ECDL-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.
SIGMOD-2004-IlyasMHBA #automation #correlation #dependence #named: CORDS: Automatic Discovery of Correlations and Soft Functional Dependencies (IFI, VM, PJH, PB, AA), pp. 647–658.
ITiCSE-2004-PazL #automation #concept #programming: Emergence of automated assignment conceptions in a functional programming course (TP, TL), pp. 181–185.
ITiCSE-WGR-2004-MatosG #approximate #dependence: SQL-based discovery of exact and approximate functional dependencies (VM, BG), pp. 58–63.
IFM-2004-Melham #model checking #proving #theorem proving: Integrating Model Checking and Theorem Proving in a Reflective Functional Language (TFM), pp. 36–39.
SEFM-2004-KhedriB #architecture #design: Formal Derivation of Functional Architectural Design (RK, IB), pp. 356–265.
AFP-2004-PlasmeijerW04: A Functional Shell That Operates on Typed and Compiled Applications (RP, AvW), pp. 245–272.
AFP-2004-Thompson04 #refactoring #source code: Refactoring Functional Programs (SJT), pp. 331–357.
FLOPS-2004-CaballeroR #debugging #declarative #named: DDT: a Declarative Debugging Tool for Functional-Logic Languages (RC, MRA), pp. 70–84.
FLOPS-2004-Schurmann #framework #logic #programming: Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework (CS), pp. 22–23.
Haskell-2004-KiselyovS: Functional pearl: implicit configurations-or, type classes reflect the values of types (OK, CcS), pp. 33–44.
Haskell-2004-McBrideM: Functional pearl: i am not a number-i am a free variable (CM, JM), pp. 1–9.
ICFP-2004-FindlerF #named: Slideshow: functional presentations (RBF, MF), pp. 224–235.
ICFP-2004-ForsbergR: Functional morphology (MF, AR), pp. 213–223.
ICFP-2004-TolmachAN #implementation #logic #multi #thread #using: Implementing functional logic languages using multiple threads and stores (APT, SA, MN), pp. 90–102.
ICFP-2004-Wiger #industrial #programming: 20 years of industrial functional programming (UTW), p. 162.
IFL-2004-AntoyHLT #logic #virtual machine: A Virtual Machine for Functional Logic Computations (SA, MH, JL, APT), pp. 108–125.
IFL-2004-DowseBE #concurrent #reasoning: Reasoning About Deterministic Concurrent Functional I/O (MD, AB, MCJDvE), pp. 177–194.
IFL-2004-EversAK #programming #user interface #visual notation: A Functional Programming Technique for Forms in Graphical User Interfaces (SE, PA, JK), pp. 35–51.
IFL-2004-StefanovS #effectiveness #reduction #source code: Simple, Effective Code-Size Reduction for Functional Programs (ES, AMS), pp. 211–225.
ICEIS-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.
ICEIS-v3-2004-CechichP #component #off the shelf: Balancing Stakeholder’s Preferences on Measuring COTS Component Functional Suitability (AC, MP), pp. 115–122.
CIKM-2004-HeL #dependence: Extending and inferring functional dependencies in schema transformation (QH, TWL), pp. 12–21.
ICPR-v2-2004-FeiginS #adaptation #segmentation: Segmentation and Denoising via an Adaptive Threshold Mumford-Shah-like Functional (MF, NAS), pp. 98–101.
ECOOP-2004-Felleisen: Functional Objects (MF), p. 267.
LOPSTR-2004-BrasselHHSV #logic programming #profiling #runtime #source code: Run-Time Profiling of Functional Logic Programs (BB, MH, FH, JS, GV), pp. 182–197.
PADL-2004-BrasselCHH #logic: Observing Functional Logic Computations (BB, OC, MH, FH), pp. 193–208.
PPDP-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.
SAC-2004-GalandM #architecture #self: A functional architecture for self-aware routers (DG, OM), pp. 352–356.
SAC-2004-Guo #algorithm #clustering #evaluation #framework: A new framework for clustering algorithm evaluation in the domain of functional genomics (AG), pp. 143–146.
DAC-2004-AbdiG #architecture #automation #generative #specification: Automatic generation of equivalent architecture model from functional specification (SA, DG), pp. 608–613.
DAC-2004-AsafMZ #analysis: Defining coverage views to improve functional coverage analysis (SA, EM, AZ), pp. 41–44.
DAC-2004-FineUZ #probability #verification: Probabilistic regression suites for functional verification (SF, SU, AZ), pp. 49–54.
DAC-2004-KimYKK #hardware #performance #simulation: Communication-efficient hardware acceleration for fast functional simulation (YIK, WSY, YSK, CMK), pp. 293–298.
DAC-2004-KwonKK #graph #metric #synthesis: Systematic functional coverage metric synthesis from hierarchical temporal event relation graph (YSK, YIK, CMK), pp. 45–48.
DAC-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.
DATE-v1-2004-KwonK #generative #graph #metric: Functional Coverage Metric Generation from Temporal Event Relation Graph (YSK, CMK), pp. 670–671.
DATE-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.
DATE-v1-2004-MishraD #generative #graph #pipes and filters: Graph-Based Functional Test Program Generation for Pipelined Processors (PM, ND), pp. 182–187.
ESOP-2004-DuckPSS #decidability #dependence #type inference: Sound and Decidable Type Inference for Functional Dependencies (GJD, SLPJ, PJS, MS), pp. 49–63.
ESOP-2004-EspanaE #logic #semantics: A Memoizing Semantics for Functional Logic Languages (SE, VE), pp. 109–123.
CAV-2004-GoelB #abstraction #model checking #order #simulation: Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors (AG, REB), pp. 255–267.
CAV-2004-JiangB #dependence #reduction #verification: Functional Dependency for Verification Reduction (JHRJ, RKB), pp. 268–280.
CSL-2004-AmadioCDJ #bound #bytecode #verification: A Functional Scenario for Bytecode Verification of Resource Bounds (RMA, SCG, SDZ, LJ), pp. 265–279.
SAT-2004-GregoireOMS #automation #dependence: Automatic Extraction of Functional Dependencies (ÉG, RO, BM, LS), pp. 157–165.
TLCA-2003-Konecny #data type: Functional In-Place Update with Layered Datatype Sharing (MK), pp. 195–210.
Haskell-2003-BirdH: Functional Pearl trouble shared is trouble halved (RSB, RH), pp. 1–6.
Haskell-2003-Karczmarczuk #framework #quantum: Structure and interpretation of quantum mechanics: a functional framework (JK), pp. 50–61.
Haskell-2003-LiRT #refactoring #source code #tool support: Tool support for refactoring functional programs (HL, CR, SJT), pp. 27–38.
ICFP-2003-Knight #quantum: Conservation of information: applications in functional, reversible, and quantum computing (TKJ), p. 1.
ICFP-2003-Nilsson #automation #difference: Functional automatic differentiation with dirac impulses (HN), pp. 153–164.
IFL-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.
IFL-2003-WeeldenP: A Functional Shell That Dynamically Combines Compiled Code (AvW, RP), pp. 36–52.
ICEIS-v3-2003-Poels #concept #metric #modelling: Functional Size Measurement of Layered Conceptual Models (GP), pp. 411–416.
PADL-2003-ClareK #data mining #lazy evaluation #mining: Data Mining the Yeast Genome in a Lazy Functional Language (AC, RDK), pp. 19–36.
PADL-2003-FernandezHS #combinator #constraints #logic #problem: Solving Combinatorial Problems with a Constraint Functional Logic Language (AJF, MTHG, FSP), pp. 320–338.
PADL-2003-NilssonPH #hybrid #modelling: Functional Hybrid Modeling (HN, JP, PH), pp. 376–390.
POPL-2003-HofmannJ #first-order #predict #source code: Static prediction of heap space usage for first-order functional programs (MH, SJ), pp. 185–197.
PPDP-2003-AgerBDM #automaton: A functional correspondence between evaluators and abstract machines (MSA, DB, OD, JM), pp. 8–19.
PPDP-2003-BanyasadC #geometry #on the: On translating geometric solids to functional expressions (OB, PTC), pp. 44–55.
PPDP-2003-HirschowitzLW #call-by #compilation #recursion: Compilation of extended recursion in call-by-value functional languages (TH, XL, JBW), pp. 160–171.
SAC-2003-LiZLO #classification #learning #semistructured data: Gene Functional Classification by Semisupervised Learning from Heterogeneous Data (TL, SZ, QL, MO), pp. 78–82.
DAC-2003-FineZ #generative #network #testing #using #verification: Coverage directed test generation for functional verification using bayesian networks (SF, AZ), pp. 286–291.
DAC-2003-MishchenkoS #composition #scalability #using: Large-scale SOP minimization using decomposition and functional properties (AM, TS), pp. 149–154.
DAC-2003-Schubert03a #challenge #distributed #industrial #scalability #simulation: Improvements in functional simulation addressing challenges in large, distributed industry projects (KDS), pp. 11–14.
DAC-2003-YuanAAP #constraints #modelling #synthesis #verification: Constraint synthesis for environment modeling in functional verification (JY, KA, AA, CP), pp. 296–299.
DATE-2003-GoelB #analysis #reachability #set: Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis (AG, REB), pp. 10816–10821.
DATE-2003-HagaRBM #power management: Dynamic Functional Unit Assignment for Low Power (SH, NR, RB, DM), pp. 11052–11057.
DATE-2003-Ziv #metric: Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions (AZ), pp. 10834–10841.
ESOP-2003-AlpuenteBCF #logic programming #source code: Correction of Functional Logic Programs (MA, DB, FJC, MF), pp. 54–68.
TACAS-2003-BarayCDM #generative #testing #validation: Code-Based Test Generation for Validation of Functional Processor Descriptions (FB, PC, DD, HM), pp. 569–584.
TACAS-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.
ECDL-2002-KhooDS #online #requirements #tool support: Functional Requirements for Online Tools to Support Community-Led Collections Building (MK, HD, TS), pp. 190–203.
ICSM-2002-Tran-CaoLA #complexity #effectiveness #metric #towards: Measuring Software Functional Size: Towards an Effective Measurement of Complexity (DTC, GL, AA), pp. 370–376.
ICALP-2002-BauerES #paradigm: Comparing Functional Paradigms for Exact Real-Number Computation (AB, MHE, AKS), pp. 488–500.
FME-2002-GaravelH #evaluation #on the #performance #using #verification: On Combining Functional Verification and Performance Evaluation Using CADP (HG, HH), pp. 410–429.
AFP-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.
AFP-2002-HudakCNP02 #programming: Arrows, Robots, and Functional Reactive Programming (PH, AC, HN, JP), pp. 159–187.
AFP-2002-Wadler02 #named #query #xml #xquery: XQuery: A Typed Functional Language for Querying XML (PW), pp. 188–212.
FLOPS-2002-AntoyH #design pattern #logic: Functional Logic Design Patterns (SA, MH), pp. 67–87.
FLOPS-2002-Lopez-FraguasS #logic programming: Narrowing Failure in Functional Logic Programming (FJLF, JSH), pp. 212–227.
FLOPS-2002-SumiiB #calculus #named: VMλ: A Functional Calculus for Scientific Discovery (ES, HB), pp. 290–304.
ICFP-2002-Ford #lazy evaluation #linear #parsing: Packrat parsing: : simple, powerful, lazy, linear time, functional pearl (BF), pp. 36–47.
ICFP-2002-Hanna #interactive #programming #visual notation: Interactive visual functional programming (KH), pp. 145–156.
ICFP-2002-Moore #formal method: Functional formal methods (JSM), p. 123.
ICFP-2002-Myers #programming language #towards: Towards more natural functional programming languages (BAM), p. 1.
IFL-2002-Bagwell #performance: Fast Functional Lists (PB), pp. 34–50.
IFL-2002-Trancon-y-Widemann: Stacking Cycles: Functional Transformation of Circular Data (BTyW), pp. 150–164.
IFL-2002-VervoortP #lazy evaluation: Lazy Dynamic Input/Output in the Lazy Functional Language Clean (MV, MJP), pp. 101–117.
IFL-2002-WeeldenP #operating system #towards: Towards a Strongly Typed Functional Operating System (AvW, MJP), pp. 215–231.
ICEIS-2002-EncisoM #dependence #named #taxonomy: FD3: A Functional Dependencies Data Dictionary (ME, AM), pp. 807–810.
ICEIS-2002-Poels #enterprise #metric #modelling: A Functional Size Measurement Method for Event-Based Objectoriented Enterprise Models (GP), pp. 667–675.
ICML-2002-Gama #analysis: An Analysis of Functional Trees (JG), pp. 155–162.
ICPR-v1-2002-ChenTHGB #image #segmentation: Simultaneous Segmentation and Registration for Functional MR Images (YC, SRT, FH, KSG, RWB), pp. 747–750.
ICPR-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.
TOOLS-USA-2002-MiliMS #aspect-oriented #named: CorbaViews: Distributing objects that support several functional aspects (HM, HM, SS), pp. 207–229.
ASIA-PEPM-2002-Xi #object-oriented #programming: Unifying object-oriented programming with typed functional programming (HX), pp. 117–125.
ASIA-PEPM-2002-XuK #compilation #programming #realtime: Compiling real time functional reactive programming (DNX, SCK), pp. 83–93.
LOPSTR-2002-AlpuenteCEFL #source code: Abstract Diagnosis of Functional Programs (MA, MC, SE, MF, SL), pp. 1–16.
PADL-2002-Karczmarczuk #approach #generative: Functional Approach to Texture Generation (JK), pp. 225–242.
PADL-2002-Kiselyov #parsing #programming #xml: A Better XML Parser through Functional Programming (OK), pp. 209–224.
POPL-2002-AcarBH #adaptation #programming: Adaptive functional programming (UAA, GEB, RH), pp. 247–259.
POPL-2002-NeubauerTGS #logic: Functional logic overloading (MN, PT, MG, MS), pp. 233–244.
PPDP-2002-PembeciNH #domain-specific language #integration: Functional reactive robotics: an exercise in principled integration of domain-specific languages (IP, HN, GDH), pp. 168–179.
RE-2002-SutcliffG #requirements #validation: Validating Functional System Requirements with Scenarios (AGS, AG), pp. 181–190.
ICSE-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.
SAC-2002-CarvalhoLL #coordination #haskell #process: Coordinating functional processes with Haskell_# (FHC, RMFL, RDL), pp. 393–400.
CC-2002-RelePOG #optimisation: Optimizing Static Power Dissipation by Functional Units in Superscalar Processors (SR, SP, SÖ, RG), pp. 261–275.
DAC-2002-CadambiMA #hardware #performance #scalability #simulation: A fast, inexpensive and scalable hardware acceleration technique for functional simulation (SC, CM, PA), pp. 570–575.
DAC-2002-LachishMUZ #analysis: Hole analysis for functional coverage data (OL, EM, SU, AZ), pp. 807–812.
DATE-2002-BaldiniBPMT #uml: Beyond UML to an End-of-Line Functional Test Engine (AB, AB, PP, SM, AT), pp. 499–503.
DATE-2002-DoboliV #co-evolution #design #specification: A Functional Specification Notation for Co-Design of Mixed Analog-Digital Systems (AD, RV), pp. 760–767.
DATE-2002-FerrandiRS #constraints #theorem proving #using #verification: Functional Verification for SystemC Descriptions Using Constraint Solving (FF, MR, DS), pp. 744–751.
DATE-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.
DATE-2002-VedulaA #analysis #generative #named #testing: FACTOR: A Hierarchical Methodology for Functional Test Generation and Testability Analysis (VMV, JAA), pp. 730–734.
TACAS-2002-Backhouse #attribute grammar #semantics: A Functional Semantics of Attribute Grammars (KB), pp. 142–157.
TACAS-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.
ICDAR-2001-EglinG #documentation #visual notation: Visual Exploration and Functional Document Labeling (VE, AG), pp. 816–820.
VLDB-2001-NishioSTTL #information management: Functional Properties of Information Filtering (RS, MT, YHL, TT, SN), pp. 511–520.
WCRE-2001-Rilling #comprehension: Maximizing Functional Cohesion of Comprehension Environments by Integrating User and Task Knowledge (JR), pp. 157–165.
RTA-2001-KuhnemannGK #cumulative #source code: Relating Accumulative and Non-accumulative Functional Programs (AK, RG, KK), pp. 154–168.
FLOPS-J1-1998-BorovanskyKKR01 #semantics: Rewriting with Strategies in ELAN: A Functional Semantics (PB, CK, HK, CR), pp. 69–95.
FLOPS-J2-1998-Hinze01 #axiom #implementation #prolog: Prolog’s Control Constructs in a Functional Setting — Axioms and Implementation (RH), pp. 125–170.
FLOPS-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.
FLOPS-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.
FLOPS-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.
FLOPS-2001-Ferri-RamirezHR #incremental #learning #logic programming #source code: Incremental Learning of Functional Logic Programs (CF, JHO, MJRQ), pp. 233–247.
ICFP-2001-ChakravartyK #array: Functional Array Fusion (MMTC, GK), pp. 205–216.
ICFP-2001-Pitts #approach #programming #representation #syntax: A Fresh Approach to Representing Syntax with Static Binders in Functional Programming (AMP), p. 1.
IFL-2001-MolEP #proving #theorem proving: Theorem Proving for Functional Programmers (MdM, MCJDvE, MJP), pp. 55–71.
LOPSTR-2001-Shankar #static analysis: Static Analysis for Safe Destructive Updates in a Functional Language (NS), pp. 1–24.
PADL-2001-Courtney #java #named #programming: Frappé: Functional Reactive Programming in Java (AC), pp. 29–44.
PPDP-2001-PenaR #abstraction #parallel #programming: Parallel Functional Programming at Two Levels of Abstraction (RP, FR), pp. 187–198.
SAIG-2001-Wakeling #design #source code: A Design Methodology for Functional Programs (DW), pp. 146–162.
ASE-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.
ICSE-2001-AntonP #evolution: Functional Paleontology: System Evolution as the User Sees It (AIA, CP), pp. 421–430.
DAC-2001-KudlugiHSP #architecture #simulation #transaction #verification: A Transaction-Based Unified Simulation/Emulation Architecture for Functional Verification (MK, SH, CS, DP), pp. 623–628.
DAC-2001-KudlugiST #multi #scheduling #verification: Static Scheduling of Multiple Asynchronous Domains For Functional Verification (MK, CS, RT), pp. 647–652.
DAC-2001-XiaoM #analysis #correlation #identification: Functional Correlation Analysis in Crosstalk Induced Critical Paths Identification (TX, MMS), pp. 653–656.
DATE-2001-BekooijEWB #behaviour: Functional units with conditional input/output behavior in VLIW processors (MB, LJME, AvdW, NGB), p. 822.
DATE-2001-ChangHM #optimisation #symmetry #using: In-place delay constrained power optimization using functional symmetries (CWJC, BH, MMS), pp. 377–382.
DATE-2001-FerrandiFSFF #behaviour #generative #modelling #testing: Functional test generation for behaviorally sequential models (FF, GF, DS, AF, FF), pp. 403–410.
DATE-2001-HeringLM #logic #named #parallel: dibSIM: a parallel functional logic simulator allowing dynamic load balancing (KH, JL, JM), pp. 472–478.
DATE-2001-JozwiakC #composition #metric: High-quality sub-function construction in functional decomposition based on information relationship measures (LJ, AC), pp. 383–390.
TACAS-2001-MycroftS #co-evolution #design #hardware #using: Hardware/Software Co-Design Using Functional Languages (AM, RS), pp. 236–251.
ICLP-2001-Almendros-JimenezBS #database #deduction #logic: A Computational Model for Functional Logic Deductive Databases (JMAJ, ABT, JSH), pp. 331–347.
ECDL-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.
IWPC-2000-AntoniolCLCM #object-oriented #requirements: Tracing Object-Oriented Code into Functional Requirements (GA, GC, ADL, GC, EM), pp. 79–86.
ICALP-2000-MycroftS #parallel: A Statically Allocated Parallel Functional Language (AM, RS), pp. 37–48.
ICFP-2000-Faxen #evaluation #lazy evaluation: Cheap eagerness: speculative evaluation in a lazy functional language (KFF), pp. 150–161.
ICFP-2000-GapeyevLP #recursion #type system: Recursive subtyping revealed: functional pearl (VG, MYL, BCP), pp. 221–231.
ICFP-2000-JonesES #contract: Composing contracts: an adventure in financial engineering, functional pearl (SLPJ, JME, JS), pp. 280–292.
ICFP-2000-McNamaraS #c++ #programming: Functional programming in C++ (BM, YS), pp. 118–129.
ICFP-2000-Seger #hardware #programming #verification: Combining functional programming and hardware verification (CJHS), p. 244.
ICFP-2000-Weirich #type safety: Type-safe cast: functional pearl (SW), pp. 58–67.
ICFP-2000-Wong #query: The functional guts of the Kleisli query system (LW), pp. 1–10.
IFL-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.
IFL-2000-ODonnell #programming #semantics: The Collective Semantics in Functional SPMD Programming (JO), pp. 249–266.
IFL-2000-SargeantKW #parallel #source code: Exploiting Implicit Parallelism in Functional Programs with SLAM (JS, CCK, IW), pp. 19–36.
IFL-2000-SchroederK: Organizing Speculative Computations in Functional Systems (RS, WEK), pp. 214–230.
IFL-2000-ZornerKEP: Polygonizing Implicit Surfaces in a Purely Functional Way (THGZ, PWMK, MCJDvE, MJP), pp. 158–175.
KDD-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.
TOOLS-EUROPE-2000-Meyer00a #programming: Programming with Agents: Combining O-O and Functional Techniques (BM), p. 460.
LOPSTR-2000-EtalleM #lazy evaluation #logic programming: The lazy functional side of logic programming (SE, JM).
LOPSTR-J-2000-AlbertAV #effectiveness #logic #partial evaluation: Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages (EA, SA, GV), pp. 103–124.
PADL-2000-ChuangM #programming #type system: Out-of-Core Functional Programming with Type-Based Primitives (TRC, SCM), pp. 32–46.
PADL-2000-Hanus #approach #logic programming #user interface #visual notation: A Functional Logic Programming Approach to Graphical User Interfaces (MH), pp. 47–62.
PADL-2000-MarinoM #logic programming #source code #static analysis #using: Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), pp. 63–80.
PADL-2000-PetersonTS #parallel #programming: Parallel Functional Reactive Programming (JP, VT, AS), pp. 16–31.
PLDI-2000-WanH #programming: Functional reactive programming from first principles (ZW, PH), pp. 242–252.
POPL-2000-Hinze #approach #programming: A New Approach to Generic Functional Programming (RH), pp. 119–132.
PPDP-2000-HanusS #logic programming #nondeterminism #source code #type system: Type-based nondeterminism checking in functional logic programs (MH, FS), pp. 202–213.
SAIG-2000-BerardiCDG #source code #type system: Type-Based Useless-Code Elimination for Functional Programs (SB, MC, FD, PG), pp. 172–189.
SAC-2000-WangTH #database #dependence #fuzzy #mining #relational: Mining Functional Dependencies from Fuzzy Relational Databases (SLW, JST, TPH), pp. 490–493.
CC-2000-SaraivaSK #attribute grammar #incremental: Functional Incremental Attribute Evaluation (JS, SDS, MFK), pp. 279–294.
DAC-2000-ChangCSM #detection #performance #symmetry #using: Fast post-placement rewiring using easily detectable functional symmetries (CWJC, CKC, PS, MMS), pp. 286–289.
DAC-2000-GhoshF #automation #diagrams #generative #using: Automatic test pattern generation for functional RTL circuits using assignment decision diagrams (IG, MF), pp. 43–48.
DAC-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.
DATE-2000-CataldoCPW #generative #hardware: Optimal Hardware Pattern Generation for Functional BIST (SC, SC, PP, HJW), pp. 292–297.
DATE-2000-FinF #fault #generative #testing: A VHDL Error Simulator for Functional Test Generation (AF, FF), pp. 390–395.
DATE-2000-PomeranzR00a #generative #testing: Functional Test Generation for Full Scan Circuits (IP, SMR), pp. 396–401.
ESOP-2000-Hofmann #bound #type system: A Type System for Bounded Space and Functional In-Place Update--Extended Abstract (MH0), pp. 165–179.
ESOP-2000-Jones #dependence: Type Classes with Functional Dependencies (MPJ), pp. 230–244.
ESOP-2000-Odersky: Functional Nets (MO), pp. 1–25.
CL-2000-Lopez-FraguasH #logic programming #proving #source code: Proving Failure in Functional Logic Programs (FJLF, JSH), pp. 179–193.
TestCom-2000-HorvathM #testing #using: Functional Testing GPRS Support Nodes Using TTCN (EH, AM), pp. 229–238.
PODS-1999-HaraD #dependence #reasoning: Reasoning about Nested Functional Dependencies (CSH, SBD), pp. 91–100.
FLOPS-1999-AlpuenteFMV #lazy evaluation #logic programming #source code: A Transformation System for Lazy Functional Logic Programs (MA, MF, GM, GV), pp. 147–162.
FLOPS-1999-CaballeroL #parsing: A Functional-Logic Perspective on Parsing (RC, FJLF), pp. 85–99.
FLOPS-1999-Gonzalez-MorenoHR #logic programming #semantics: Semantics and Types in Functional Logic Programming (JCGM, MTHG, MRA), pp. 1–20.
FLOPS-1999-HanusL #logic #program analysis #semantics: A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages (MH, SL), pp. 353–368.
FLOPS-1999-Kuhnemann #comparison #deforestation #source code #transducer: Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers (AK), pp. 114–130.
FLOPS-1999-Lux #encapsulation #implementation #lazy evaluation #logic: Implementing Encapsulated Search for a Lazy Functional Logic Language (WL), pp. 100–113.
ICFP-1999-AlpuenteHLV #logic programming #source code: Specialization of Inductively Sequential Functional Logic Programs (MA, MH, SL, GV), pp. 273–283.
ICFP-1999-Longley #question: When is a Functional Program Not a Functional Program? (JL), pp. 1–7.
ICFP-1999-Nilsson #debugging #lazy evaluation: Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages (HN), pp. 36–47.
IFL-1999-DidrichGSTT #programming language: Reflections in Opal — Meta Information in a Functional Programming Language (KD, WG, FS, TT, BTyW), pp. 149–164.
IFL-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.
AGTIVE-1999-PlasmeijerE #graph grammar #mobile: Term Graph Rewriting and Mobile Expressions in Functional Languages (MJP, MCJDvE), pp. 1–13.
HCI-EI-1999-Knapheide #approach #specification: From Focus Group to Functional Specification — A Linguistic Approach to the Transfer of Knowledge (CK), pp. 1247–1251.
PADL-1999-BansalB #logic programming #novel: Applying Logic Programming to Derive Novel Functional Information of Genomes (AKB, PB), pp. 275–289.
PADL-1999-Elliott #animation: From Functional Animation to Sprite-Based Display (CE), pp. 61–75.
PADL-1999-MossR #automation #benchmark #data type #metric: Automated Benchmarking of Functional Data Structures (GEM, CR), pp. 1–15.
PPDP-1999-Arenas-SanchezLR #constraints #logic programming: Functional Plus Logic Programming with Built-In and Symbolic Constraints (PAS, FJLF, MRA), pp. 152–169.
SAC-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.
SAC-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.
CC-1999-Martin #analysis #comparison #interprocedural #string: Experimental Comparison of call string and functional Approaches to Interprocedural Analysis (FM), pp. 63–75.
DAC-1999-ShenABHKGCH #verification: Functional Verification of the Equator MAP1000 Microprocessor (JS, JAA, DB, TH, MK, GG, CcC, GH), pp. 169–174.
DAC-1999-TupuriKA #automation #constraints #generative #testing #using: Test Generation for Gigahertz Processors Using an Automatic Functional Constraint Extractor (RST, AK, JAA), pp. 647–652.
DAC-1999-YalcinMPBS #analysis: Functional Timing Analysis for IP Characterization (HY, MM, RP, CB, KAS), pp. 731–736.
DATE-1999-CherubalC #fault #parametricity #using: Parametric Fault Diagnosis for Analog Systems Using Functional Mapping (SC, AC), p. 195–?.
DATE-1999-FavalliM #design #on the #self: On the Design of Self-Checking Functional Units Based on Shannon Circuits (MF, CM), pp. 368–375.
DATE-1999-FerrandiFGS #generative #specification: Symbolic Functional Vector Generation for VHDL Specifications (FF, FF, LG, DS), p. 442–?.
DATE-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.
DATE-1999-HwangVH #clustering #power management: FSMD Functional Partitioning for Low Power (EH, FV, YCH), pp. 22–27.
DATE-1999-TragoudasM #fault #tool support: ATPG Tools for Delay Faults at the Functional Level (ST, MKM), p. 631–?.
ESOP-1999-Hudak #programming: Functional Reactive Programming (PH), p. 1.
ICLP-1999-MarinoM #logic programming #source code #static analysis #using: Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), p. 614.
ICLP-1999-OsorioJN #declarative #query: Declarative Pruning in a Functional Query Language (MO, BJ, JCN), pp. 588–604.
IWTCS-1999-ProbertW #generative #performance #testing #using: Fast Functional Test Generation Using an SDL Model (RLP, AWW), pp. 299–316.
ECDL-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.
VLDB-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.
FLOPS-1998-BorovanskyKK #semantics: A Functional View of Rewriting and Strategies for a Semantics of ELAN (PB, CK, HK), pp. 143–166.
FLOPS-1998-Hinze #axiom #implementation #prolog: Prological Features in a Functional Setting Axioms and Implementation (RH), pp. 98–122.
ICFP-1998-Karczmarczuk #difference #source code: Functional Differentiation of Computer Programs (JK), pp. 195–203.
ICFP-1998-Kiselyov98a #abstraction #c++: Functional Style in C++: Closures, Late Binding, and λ Abstractions (OK), p. 337.
ICFP-1998-Ling #named: Frob — Functional Robotics (GSL), p. 345.
ICFP-1998-MarcosLR #approach #authoring #hypermedia #programming: A Functional Programming Approach to Hypermedia Authoring (DHM, PEML, WAR), p. 346.
ICFP-1998-Russell #analysis #design #named: MAP: A Functional Analysis and Design Method (DR), p. 342.
IFL-1998-CharlesR #approach #interactive #parallel #profiling #source code: An Interactive Approach to Profiling Parallel Functional Programs (NC, CR), pp. 20–37.
IFL-1998-HallBTK #parallel #semantics #strict #towards: Towards an Operational Semantics for a Parallel Non-Strict Functional Language (JGH, CABF, PWT, DJK), pp. 54–71.
ECOOP-1998-KrishnamurthiFF #design #object-oriented: Synthesizing Object-Oriented and Functional Design to Promote Re-Use (SK, MF, DPF), pp. 91–113.
ALP-PLILP-1998-Arenas-SanchezLR #constraints #lazy evaluation #logic #multi: Embedding Multiset Constraints into a Lazy Functional Logic Language (PAS, FJLF, MRA), pp. 429–444.
ALP-PLILP-1998-Asperti #reduction: Optimal Reduction of Functional Expressions (AA), pp. 427–428.
ALP-PLILP-1998-Elliott #animation #implementation: Functional Implementations of Continuos Modeled Animation (CE), pp. 284–299.
ALP-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.
POPL-1998-Minamide #data type #representation: A Functional Representation of Data Structures with a Hole (YM), pp. 75–84.
SAS-1998-AlbertAFJV #logic programming: Improving Control in Functional Logic Program Specialization (EA, MA, MF, PJI, GV), pp. 262–277.
ICRE-1998-KaindlKK #case study #requirements #using: A Case Study of Decomposing Functional Requirements Using Scenarios (HK, SK, RK), pp. 156–163.
DAC-1998-EvansSVBDHHL #scalability #verification: Functional Verification of Large ASICs (AE, AS, GV, TB, MD, GH, TH, YL), pp. 650–655.
DAC-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.
DAC-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.
DAC-1998-FangW #clustering #multi #replication #using: Performance-Driven Multi-FPGA Partitioning Using Functional Clustering and Replication (WJF, ACHW), pp. 283–286.
DAC-1998-KimCLLPK #modelling: Virtual Chip: Making Functional Models Work on Real Target Systems (NK, HC, SL, SL, ICP, CMK), pp. 170–173.
DAC-1998-KukimotoB #analysis: Hierarchical Functional Timing Analysis (YK, RKB), pp. 580–585.
DAC-1998-LuoWA #hybrid #performance #simulation: Hybrid Techniques for Fast Functional Simulation (YL, TW, AA), pp. 664–667.
DAC-1998-Marantz #performance #re-engineering #verification: Enhanced Visibility and Performance in Functional Verification by Reconstruction (JM), pp. 164–169.
DAC-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.
DATE-1998-ChandramouliWS #analysis #named: AFTA: A Formal Delay Model for Functional Timing Analysis (VC, JW, KAS), pp. 350–355.
DATE-1998-ChangCML #testing: Functional Scan Chain Testing (DC, KTC, MMS, MTCL), pp. 278–283.
DATE-1998-GoldbergKB #specification #verification: Combinational Verification based on High-Level Functional Specifications (EIG, YK, RKB), pp. 803–808.
DATE-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.
DATE-1998-RosenbergerH #approach #behaviour #modelling #simulation: A Systems Theoretic Approach to Behavioural Modeling and Simulation of Analog Functional Blocks (RR, SAH), pp. 721–728.
DATE-1998-Scholl #composition #multi: Multi-output Functional Decomposition with Exploitation of Don’t Cares (CS), pp. 743–748.
ISMM-1998-WallaceR #lazy evaluation: The Bits Between The Lambdas: Binary Data in a Lazy Functional Language (MW, CR), pp. 107–117.
ESOP-1998-JayS #exclamation #imperative: The Functional Imperative: Shape! (CBJ, PS), pp. 139–153.
ESOP-1998-Smolka #concurrent #constraints #programming: Concurrent Constraint Programming Based on Functional Programming (GS), pp. 1–11.
CSL-1998-Vorobyov #type system: Subtyping Functional+Nonempty Record Types (SGV), pp. 283–297.
TLCA-1997-BerardiB #data type: Minimum Information Code in a Pure Functional Language with Data Types (SB, LB), pp. 30–45.
ICFP-1997-AertsV #user interface: A GUI on Top of a Functional Language (KA, KDV), p. 308.
ICFP-1997-Duris #attribute grammar #deforestation #programming: Functional Programming and Attribute Grammars Deforestation (ÉD), p. 312.
ICFP-1997-ElliottH #animation: Functional Reactive Animation (CE, PH), pp. 263–273.
ICFP-1997-Erwig #graph #programming: Functional Programming with Graphs (ME), pp. 52–65.
ICFP-1997-Kagawa #composition #programming: Compositional References for Stateful Functional Programming (KK), pp. 217–226.
ICFP-1997-KrasnogorLMP #programming: Protien Folding meets Functional Programming (NK, PEML, PM, DAP), p. 313.
ICFP-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.
ICFP-1997-Ostvold #induction #recursion #source code #synthesis: Inductive Synthesis of Recursive Functional Programs (Poster Abstract) (BMØ), p. 323.
ICFP-1997-SabelfeldS #analysis #problem #semantics #source code: Simple Semantic Analysis Problems for Functional Programs (VKS, AS), p. 319.
ICFP-1997-SpiliopoulouHD #approach #distributed #programming: Distributed Programming, a Purely Functional Approach (ES, IH, ND), p. 320.
ICFP-1997-Wailly #data flow #named #parallel: λ-Flow: A Parallel Functional Synchronous Dataflow Language (GdW), p. 322.
IFL-1997-AchtenP #interactive: Interactive Functional Objects in Clean (PA, MJP), pp. 304–321.
IFL-1997-Chitil #lazy evaluation: Common Subexpressions Are Uncommon in Lazy Functional Languages (OC), pp. 53–71.
IFL-1997-LoidlMTPCJG #scalability: Parallelising a Large Functional Program or: Keeping LOLITA Busy (HWL, RGM, PWT, SP, CC, SLPJ, RG), pp. 198–213.
IFL-1997-LoidlT #parallel #scalability #source code: Engineering Large Parallel Functional Programs (HWL, PWT), pp. 178–197.
IFL-1997-MossR #benchmark #data type #metric #named: Auburn: A Kit for Benchmarking Functional Data Structures (GEM, CR), pp. 141–159.
IFL-1997-SparudR: Complete and Partial Redex Trails of Functional Computations (JS, CR), pp. 160–177.
HCI-SEC-1997-MatsubayashiTT #specification #towards: Integrating System’s Functional Model and its Structional Model Toward Denotational Dialogue Specification (KM, YT, NT), pp. 63–66.
ICML-1997-Torgo #modelling: Functional Models for Regression Tree Leaves (LT), pp. 385–393.
ALP-1997-Antoy #logic #nondeterminism: Optimal Non-deterministic Functional Logic Computations (SA), pp. 16–30.
ALP-1997-GeserG #source code: Parallelizing Functional Programs by Generalization (AG, SG), pp. 46–60.
ALP-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.
LOPSTR-1997-LafaveG #constraints #logic programming #partial evaluation #source code: Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs (LL, JPG), pp. 168–188.
PEPM-1997-AlpuenteFJV #lazy evaluation #logic programming #source code: Specialization of Lazy Functional Logic Programs (MA, MF, PJI, GV), pp. 151–162.
PLILP-1997-Cousineau #geometry #programming: Functional Programming and Geometry (GC), pp. 309–322.
PLILP-1997-Hanus #education #logic programming: Teaching Functional and Logic Programming with a Single Computational Model (MH), pp. 335–350.
PLILP-1997-Lucas #performance #programming: Transformations for Efficient Evaluations in Functional Programming (SL), pp. 127–141.
PLILP-1997-SparudR #lazy evaluation #using: Tracing Lazy Functional Computations Using Redex Trails (JS, CR), pp. 291–308.
PLILP-1997-Thompson #approach #education #problem #programming: Where Do I Begin? A Problem Solving Approach in teaching Functional Programming (SJT), pp. 323–334.
POPL-1997-Hanus #logic programming: A Unified Computation Model for Functional and Logic Programming (MH), pp. 80–93.
POPL-1997-OngS: A Curry-Howard Foundation for Functional Computation with Control (CHLO, CAS), pp. 215–227.
POPL-1997-Sands #proving: From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages (DS), pp. 428–441.
SAS-1997-CorrensonDPR #attribute grammar #deforestation #programming: Attribute Grammars and Functional Programming Deforestation (LC, ÉD, DP, GR), p. 365.
SAS-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.
SAS-1997-Zartmann #abstract interpretation #logic programming #source code: Denotational Abstract Interpretation of Functional Logic Programs (FZ), pp. 141–159.
RE-1997-Ben-AbdallahLK #analysis #requirements #specification: Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements (HBA, IL, YSK), pp. 198–209.
ICSE-1997-BernotBG #formal method #probability #testing: A Theory of Probabilistic Functional Testing (GB, LB, PLG), pp. 216–226.
EDTC-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.
EDTC-1997-Vahid #clustering: Procedure cloning: a transformation for improved system-level functional partitioning (FV), pp. 487–492.
TAPSOFT-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.
TAPSOFT-1997-LeivantM: Predicative Functional Recurrence and Poly-space (DL, JYM), pp. 369–380.
CSL-1997-HartonasH #concurrent #higher-order: Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (CH, MH), pp. 239–254.
ICLP-1997-AntoyEH #evaluation #logic #parallel: Parallel Evaluation Strategies for Functional Logic Languages (SA, RE, MH), pp. 138–152.
ICLP-1997-Gonzalez-MorenoHR #higher-order #logic programming: A Higher Order Rewriting Logic for Functional Logic Programming (JCGM, MTHG, MRA), pp. 153–167.
ICLP-1997-MolinaP #composition #logic programming: Modularity in Functional-Logic Programming (JMMB, EP), pp. 183–197.
ILPS-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.
ILPS-1997-GelfondG #logic programming #specification: From Functional Specifications to Logic Programms (MG, AG), pp. 355–369.
LICS-1997-Laird #abstraction: Full Abstraction for Functional Languages with Control (JL), pp. 58–67.
ITiCSE-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.
ITiCSE-1996-Velazquez-Iturbide #named #programming: HIPE: a Turbo-like environment for functional programming (JÁVI), p. 234.
AFP-1996-Okasaki96 #data type: Functional Data Structures (CO), pp. 131–158.
ICFP-1996-FlanaganN #design #implementation #named #parallel: pHluid: The Design of a Parallel Functional Language Implementation on Workstations (CF, RSN), pp. 169–179.
ICFP-1996-HardinMP #calculus: Functional Back-Ends within the λσ Calculus (TH, LM, BP), pp. 25–33.
IFL-1996-Assmann #coordination #petri net #process #using: Coordinating Functional Processes Using Petri Nets (CA), pp. 162–183.
IFL-1996-BoquistJ #lazy evaluation #optimisation: The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages (UB, TJ), pp. 58–84.
IFL-1996-BraineC #object-oriented: Introducing CLOVER: An Object-Oriented Functional Language (LB, CC), pp. 1–20.
IFL-1996-DoschM: Calculating a Functional Module for Binary Search Trees (WD, BM), pp. 267–284.
IFL-1996-JarvisM #lazy evaluation #profiling #scalability #source code: The Results of: Profiling Large-Scale Lazy Functional Programs (SAJ, RGM), pp. 200–221.
IFL-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.
IFL-1996-Serrarens #algorithm #implementation: Implementing the Conjugate Gradient Algorithm in a Functional Language (PRS), pp. 125–140.
ICPR-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.
ECOOP-1996-QianK #object-oriented #programming: Typed Object-Oriented Functional Programming with Late Binding (ZQ, BKB), pp. 48–72.
OOPSLA-1996-Moller #information management #logic #object-oriented #representation: A Functional Layer for Description Logics: Knowledge Representation Meets Object-Oriented Programing (RM), pp. 198–213.
ALP-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.
PLILP-1996-GalanPP #process: Functional Skeletons Generate Process Topologies in Eden (LAG, CP, RP), pp. 289–303.
PLILP-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.
POPL-1996-Niehren #concurrent: Functional Computation as Concurrent Computation (JN), pp. 333–343.
SAS-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.
ICRE-1996-Rawsthorne #interactive #requirements: Capturing functional requirements through object interactions (DAR), pp. 60–68.
SAC-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.
DAC-1996-CasaubieilhMBBPRBEMBB #verification: Functional Verification Methodology of Chameleon Processor (FC, AM, MB, MB, FP, FR, MB, JE, GM, GB, CB), pp. 421–426.
DAC-1996-GanapathyNJFWN #hardware #verification: Hardware Emulation for Functional Verification of K5 (GG, RN, GJ, DF, MW, JN), pp. 315–318.
DAC-1996-HosseiniMK #analysis #code generation #verification: Code Generation and Analysis for the Functional Verification of Microprocessors (AH, DM, PK), pp. 305–310.
DAC-1996-JonesP #automation #design #generative: The Automatic Generation of Functional Test Vectors for Rambus Designs (KDJ, JPP), pp. 415–420.
DAC-1996-MonacoHR #verification: Functional Verification Methodology for the PowerPC 604 Microprocessor (JM, DH, RR), pp. 319–324.
ESOP-1996-AlpuenteFV #logic programming #partial evaluation #source code: Narrowing-Driven Partial Evaluation of Functional Logic Programs (MA, MF, GV), pp. 45–61.
ESOP-1996-Rose #linear: Linear Time Hierarchies for a Functional Language Machine Model (ER), pp. 311–325.
STOC-1996-KaplanT: Purely Functional Representations of Catenable Sorted Lists (HK, RET), pp. 202–211.
CSL-1996-EekelenSP #graph grammar #programming language #semantics: Graph Rewriting Semantics for Functional Programming Languages (MCJDvE, SS, MJP), pp. 106–128.
ISSTA-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.
ISSTA-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.
ICDAR-v2-1995-TaylorLN #classification #composition #documentation: Classification and functional decomposition of business documents (SLT, ML, RWN), pp. 563–566.
SIGMOD-1995-GardarinMP #execution #named #query: OFL: A Functional Execution Model for Object Query Languages (GG, FM, PP), pp. 59–70.
FPLE-1995-Fokker #algebra #source code: Explaining Algebraic Theory with Functional Programs (JF), pp. 139–158.
FPLE-1995-JarvisPM #case study #comprehension #education #experience #programming #scalability: Understanding LOLITA: Experiences in Teaching Large Scale Functional Programming (SAJ, SP, RGM), pp. 103–119.
FPLE-1995-Karczmarczuk #programming: Functional Programming and Mathematical Objects (JK), pp. 121–137.
FPLE-1995-Keravnou #programming: Introducing Computer Science Undergraduates to Principles of Programming Through a Functional Language (ETK), pp. 15–34.
FPLE-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.
FPLE-1995-KoopmanZ #database #programming: Functional Programming in a Basic Database Course (PWMK, VZ), pp. 215–229.
FPLE-1995-NunezPP #data type #programming: A Second Year Course on Data Structures Based on Functional Programming (MN, PP, RP), pp. 65–84.
FPLE-1995-ODonnell #architecture #education #specification: From Transistors to Computer Architecture: Teaching Functional Circuit Specification in Hydra (JJO), pp. 195–214.
FPLE-1995-ThompsonH #education #programming: Functional Programming Through the Curriculum (SJT, SH), pp. 85–102.
FPLE-1995-Turner #programming: Elementary Strong Functional Programming (DAT), pp. 1–13.
AFP-1995-EekelenP95 #performance #source code: Constructing Medium Sized Efficient Functional Programs in Clean (MCJDvE, MJP), pp. 183–227.
AFP-1995-Fokker95 #parsing: Functional Parsers (JF), pp. 1–23.
AFP-1995-Jones95 #higher-order #morphism #polymorphism #programming: Functional Programming with Overloading and Higher-Order Polymorphism (MPJ), pp. 97–136.
AFP-1995-Launchbury95 #algorithm #graph: Graph Algorithms with a Functional Flavous (JL), pp. 308–331.
AFP-1995-MeijerJ95 #monad #programming: Merging Monads and Folds for Functional Programming (EM, JJ), pp. 228–266.
AFP-1995-Wadler95 #monad #programming: Monads for Functional Programming (PW), pp. 24–52.
FPCA-1995-BlellochG #parallel: Parallelism in Sequential Functional Languages (GEB, JG), pp. 226–237.
FPCA-1995-Boquist #interprocedural #lazy evaluation: Interprocedural Register Allocation for Lazy Functional Languages (UB), pp. 270–281.
FPCA-1995-JeuringS #analysis #problem #source code: Constructing Functional Programs for Grammar Analysis Problems (JJ, SDS), pp. 259–269.
FPCA-1995-Marchiori #logic programming: The Functional Side of Logic Programming (MM), pp. 55–65.
FPCA-1995-Okasaki: Purely Functional Random-Access Lists (CO), pp. 86–95.
FPCA-1995-QuintonRW #imperative #source code: Deriving Imperative Code from Functional Programs (PQ, SVR, DW), pp. 36–44.
FPCA-1995-WallaceR #architecture #embedded #programming: λs in the Liftshaft — Functional Programming and an Embedded Architecture (MW, CR), pp. 249–258.
KDD-1995-Bell #dependence #maintenance: Discovery and Maintenance of Functional Dependencies by Independencies (SB), pp. 27–32.
KDD-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.
SEKE-1995-BrownseyZ #programming #specification #user interface #using: From Specification to Building a GUI using Functional Programming (KB, MZ), pp. 244–251.
SEKE-1995-Gattiker #petri net #probability #representation: Representing Structural and Functional Knowledge with Stochastic Petri Nets (JRG), pp. 47–53.
ECOOP-1995-Florijn #parsing #protocol: Object Protocols as Functional Parsers (GF), pp. 351–373.
LOPSTR-1995-Hanus #lazy evaluation #logic programming #performance #prolog #source code: Efficient Translation of Lazy Functional Logic Programs into Prolog (MH), pp. 252–266.
PLILP-1995-Achten #framework #interactive #source code: A Functional Framework for Deterministically Interleaved Interactive Programs (PA), pp. 451–452.
PLILP-1995-DouenceF #implementation #taxonomy #towards: Towards a Taxonomy of Functional Languages Implementations (RD, PF), pp. 27–44.
PLILP-1995-HansSW #implementation #logic: An Expression-Or-Parallel Implementation for a Functional Logic Language (WH, FS, SW), pp. 457–458.
PLILP-1995-NakaharaMI #calculus #higher-order #logic programming: A Complete Narrowing Calculus for Higher-Order Functional Logic Programming (KN, AM, TI), pp. 97–114.
PLILP-1995-NobleR #component #lazy evaluation #named #user interface #visual notation: Gadgets: Lazy Functional Components for Graphical User Interfaces (RN, CR), pp. 321–340.
PLILP-1995-VullinghsTS #lightweight #programming #user interface: Lightweight GUIs for Functional Programming (TV, DT, WS), pp. 341–356.
POPL-1995-SansomJ #higher-order #profiling #strict: Time and Space Profiling for Non-Strict Higher-Order Functional Languages (PMS, SLPJ), pp. 355–366.
SAS-1995-Coorg #clustering #code generation #concurrent #multi #strict #thread: Partitioning Non-strict Functional Languages for Multi-threaded Code Generation (SRC), pp. 82–99.
SAS-1995-Faxen #lazy evaluation #optimisation #source code #using: Optimizing Lazy Functional Programs Using Flow Inference (KFF), pp. 136–153.
SAS-1995-Giesl #analysis #order #source code #termination #using: Termination Analysis for Functional Programs using Term Orderings (JG), pp. 154–171.
SAS-1995-Hannan #analysis #stack #type system: A Type-based Analysis for Stack Allocation in Functional Languages (JH), pp. 172–188.
SAS-1995-SerranoW #compilation #named #optimisation #strict: Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages (MS, PW), pp. 366–381.
SAS-1995-Tofte #higher-order: Region Inference for Higher-Order Functional Languages (MT), pp. 19–20.
TRI-Ada-1995-Shumate95b #analysis #design #object-oriented #requirements: BATCES Solution #1: An Object-Oriented Design from Functional Requirements Analysis (KS), pp. 737–739.
KBSE-1995-Richardson #automation #data type #source code: Automating Changes of Data Type in Functional Programs (JR), pp. 166–173.
SAC-1995-Scholz #concurrent #data type #programming language: Turning a functional data type into a concurrent programming language (ES), pp. 135–139.
SAC-1995-Serrano #analysis #compilation #control flow #paradigm: Control flow analysis: a functional languages compilation paradigm (MS), pp. 118–122.
DAC-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.
DAC-1995-KassabMRT #architecture #fault #simulation: Software Accelerated Functional Fault Simulation for Data-Path Architectures (MK, NM, JR, JT), pp. 333–338.
DAC-1995-WurthEA #algorithm #composition #multi: Functional Multiple-Output Decomposition: Theory and an Implicit Algorithm (BW, KE, KA), pp. 54–59.
IWMM-1995-Hamilton #garbage collection #lazy evaluation: Compile-Time Garbage Collection for Lazy Functional Languages (GWH), pp. 119–144.
IWMM-1995-Rojemo #garbage collection #lazy evaluation: Generational Garbage Collection without Temporary Space Leaks for Lazy Functional Languages (NR), pp. 145–162.
ESOP-J-1994-GiegerichK95 #comparison #imperative: A Comparison of Imperative and Purely Functional Suffix Tree Constructions (RG, SK), pp. 187–218.
ILPS-1995-GiacobazziR #abstract interpretation #dependence #semantics: Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics (RG, FR), pp. 321–335.
ILPS-1995-Kuchen #implementation #logic programming: Implementation Issues for Functional Logic Programming (HK), pp. 612–613.
ILPS-1995-Prehofer #call-by #higher-order #logic programming: A Call-by-Need Strategy for Higher-Order Functional-Logic Programming (CP), pp. 147–161.
LICS-1995-Jeffrey #concurrent #monad #semantics: A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types (AJ), pp. 255–264.
LICS-1995-Tronci #hardware #logic programming #verification: Hardware Verification, Boolean Logic Programming, Boolean Functional Programming (ET), pp. 408–418.
PODS-1994-HillebrandK #database #order #query #λ-calculus: Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (GGH, PCK), pp. 222–231.
FME-1994-Collinson #specification: A Critical Look at Functional Specifications (RC), pp. 381–400.
LFP-1994-Chuang #array #implementation #multi #random: A Randomized Implementation of Multiple Functional Arrays (TRC), pp. 173–184.
LFP-1994-SastryC #parallel #strict: Parallel Destructive Updating in Strict Functional Languages (AVSS, WDC), pp. 263–272.
LFP-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.
KDD-1994-Kiselev #named #source code: PolyAnalyst — A Machine Discovery System Inferring Functional Programs (MVK), pp. 237–250.
SEKE-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.
SEKE-1994-ElstHST #component #reuse #specification: A functional specification of reusing software components (JvdE, FvH, GS, MT), pp. 374–381.
ALP-1994-JonesR #graph #higher-order: Higher-Order Minimal Functional Graphs (NDJ, MR), pp. 242–252.
PLDI-1994-LaunchburyJ #lazy evaluation #thread: Lazy Functional State Threads (JL, SLPJ), pp. 24–35.
PLILP-1994-BelkhirN #logic #towards #using: Towards Integrating Functional and Logic Styles Using Relation (AB, NN), pp. 463–464.
PLILP-1994-Grivas #compilation #constraints #logic #symbolic computation #towards: Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems (GG), pp. 455–456.
PLILP-1994-MaraistS #graph #reduction: A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages (JM, FSKS), pp. 355–369.
PLILP-1994-Serrano #analysis #compilation #control flow #higher-order #using: Using Higher-Order Control Flow Analysis When Compiling Functional Languages (MS), pp. 447–448.
POPL-1994-Odersky: A Functional Theory of Local Names (MO), pp. 48–59.
POPL-1994-Paakki #execution #logic programming #multi #source code: Multi-Pass Execution of Functional Logic Programs (JP), pp. 361–374.
SAS-1994-HanusZ #analysis #logic programming #source code: Mode Analysis of Functional Logic Programs (MH, FZ), pp. 26–42.
CC-1994-Hanus #logic programming #optimisation #source code #towards: Towards the Global Optimization of Functional Logic Programs (MH), pp. 68–82.
DAC-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.
DAC-1994-MurgaiBS #composition #encoding #using: Optimum Functional Decomposition Using Encoding (RM, RKB, ALSV), pp. 408–414.
DAC-1994-VinnakotaA #fault #generative #testing: Functional Test Generation for FSMs by Fault Extraction (BV, JA), pp. 712–715.
EDAC-1994-AGZS #testing: Functional Tests for Ring-Address SRAM-type FIFOs (AJvdG, YZ, IS), p. 666.
EDAC-1994-BeckerD #diagrams #testing: Testability of Circuits Derived from Functional Decision Diagrams (BB, RD), p. 667.
EDAC-1994-FummiSS #approach #fault #generative #testing: A Functional Approach to Delay Faults Test Generation for Sequential Circuits (FF, DS, MS), pp. 51–57.
EDAC-1994-SafiniaLS #analysis #modelling: Taking Advantage of High Level Functional Information to Refine Timing Analysis and Timing Modeling (CS, RL, GS), pp. 349–353.
PDP-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.
PDP-1994-Jennings #architecture #on the: On The Properties Of A Polar Functional Language For A Tagged Token Architecture (GJ), pp. 162–166.
ESOP-1994-GiegerichK #paradigm #programming: Suffix Trees in the Functional Programming Paradigm (RG, SK), pp. 225–240.
ESOP-1994-JeuringS #analysis #bottom-up: Bottom-up Grammar Analysis — A Functional Formulation (JJ, SDS), pp. 317–332.
ESOP-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.
ESOP-1994-MuckS #continuation #logic #semantics: A Tiny Constrain Functional Logic Language and Its Continuation Semantics (AM, TS), pp. 439–453.
STOC-1994-JacquetS #algorithm #analysis #equation: A functional equation often arising in the analysis of algorithms (PJ, WS), pp. 780–789.
ILPS-1994-Jones #abstract interpretation #logic programming #partial evaluation: Abstract Interpretation and Partial Evaluation in Functional and Logic Programming (NDJ), pp. 17–22.
ILPS-1994-Lloyd #logic programming #programming language: Combining Functional and Logic Programming Languages (JWL), pp. 43–57.
ICDAR-1993-IwaneYI #analysis #approach #classification #documentation #image #layout: A functional classification approach to layout analysis of document images (KI, MY, OI), pp. 778–781.
ICDAR-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.
VLDB-1993-PoulovassilisS #approach #database #logic: A Domain-theoretic Approach to Integrating Functional and Logic Database Languages (AP, CS), pp. 416–428.
FPCA-1993-CarlssonH #lazy evaluation #named #user interface #visual notation: FUDGETS: A Graphical User Interface in a Lazy Functional Language (MC, TH), pp. 321–330.
FPCA-1993-CattrallR #implementation #programming #relational #representation: Widening the Representation Bottleneck: A Functional Implementation of Relational Programming (DC, CR), pp. 191–200.
FPCA-1993-ChuangG #multi #programming #realtime: Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming (TRC, BG), pp. 289–298.
FPCA-1993-Gordon #lazy evaluation #semantics: An Operational Semantics for I/O in a Lazy Functional Language (ADG), pp. 136–145.
FPCA-1993-GrantSWZ #algorithm #finite #implementation: Some Issues in a Functional Implementation of a Finite Element Algorithm (PWG, JAS, MFW, XZ), pp. 12–17.
FPCA-1993-HammarlundL #on the #parallel #programming language: On the Relation between Functional and Data Parallel Programming Languages (PH, BL), pp. 210–222.
FPCA-1993-HartelL #benchmark #implementation #lazy evaluation #metric: Benchmarking Implementations of Lazy Functional Languages (PHH, KL), pp. 341–349.
FPCA-1993-KozatoO #benchmark #image #lazy evaluation #metric #source code: Benchmarking Real-Life Image Processing Programs in Lazy Functional Languages (YK, GPO), pp. 18–30.
FPCA-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.
FPCA-1993-MoreauR #evaluation #parallel: Sound Rules for Parallel Evaluation of a Functional Language with callcc (LM, DR), pp. 125–135.
FPCA-1993-PageM #experience #scalability: Experience with a Large Scientific Application in a Functional Language (RLP, BDM), pp. 3–11.
FPCA-1993-SastryCA #analysis #strict: Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates (AVSS, WDC, ZMA), pp. 266–275.
SEKE-1993-BombanaBCFSZ #analysis #testing: An Expert Solution to Functional Testability Analysis of VLSI Circuits (MB, GB, PC, FF, DS, GZ), pp. 263–265.
PEPM-1993-Thiemann #analysis #safety #source code: A Safety Analysis for Functional Programs (PT), pp. 133–144.
PLILP-1993-Boye #logic programming #source code: Avoiding Dynamic Delays in Functional Logic Programs (JB), pp. 12–27.
PLILP-1993-DarlingtonGK #linear #logic #perspective #programming language: Functional Programming Languages with Logical Variables: A Linear Logic View (JD, YG, MK), pp. 201–219.
PLILP-1993-HanusJ #debugging #logic programming #source code: A Debugging Model for Functional Logic Programs (MH, BJ), pp. 28–43.
POPL-1993-JonesW #imperative #programming: Imperative Functional Programming (SLPJ, PW), pp. 71–84.
POPL-1993-Leivant #complexity #source code: Stratified Functional Programs and Computational Complexity (DL), pp. 325–333.
WSA-1993-BoyePM #logic programming #source code #synthesis: Synthesis of Directionality Information for Functional Logic Programs (JB, JP, JM), pp. 165–177.
SAC-1993-HarrisonG #programming: Dynamic Programming in a Pure Functional Language (RH, CAG), pp. 179–186.
DAC-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.
DAC-1993-HuD #dependence: Reducing BDD Size by Exploiting Functional Dependencies (AJH, DLD), pp. 266–271.
DAC-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.
PDP-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.
PDP-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.
TAPSOFT-1993-Seidl #question: When Is a Functional Tree Transduction Deterministic? (HS), pp. 251–265.
ILPS-1993-TakahashiS #prolog: Prolog Interpretation of A Functional-Logic Language (ST, FSKS), p. 672.
PODS-1992-BeeriM #programming: Functional and Predicative Programming in OODB’s (CB, TM), pp. 176–190.
LFP-1992-Chin: Safe Fusion of Functional Expressions (WNC), pp. 11–20.
CHI-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.
ALP-1992-Lopez-Fraguas #constraints #logic programming: A General Scheme for Constraint Functional Logic Programming (FJLF), pp. 213–227.
PLILP-1992-Hanus #logic programming #source code #using: Improving Control of Logic Programs by Using Functional Logic Languages (MH), pp. 1–23.
PLILP-1992-LindstromMO #logic programming: Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems (GL, JM, TO), pp. 428–442.
PLILP-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.
PLILP-1992-NilssonF #algorithm #debugging #lazy evaluation: Algorithmic Debugging for Lazy Functional Languages (HN, PF), pp. 385–399.
PLILP-1992-Rebelsky #interactive #lazy evaluation #programming: I/O Trees and Interactive Lazy Functional Programming (SAR), pp. 458–472.
PLILP-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.
POPL-1992-JagadeesanP #higher-order #logic #semantics: Abstract Semantics for a Higher-Order Functional Language with Logic Variables (RJ, KP), pp. 355–366.
POPL-1992-Wadler #programming: The Essence of Functional Programming (PW), pp. 1–14.
TRI-Ada-C-1992-BailesJSW #ada #declarative #programming: Full Functional Programming in a Declarative Ada Dialect (PAB, DBJ, EJS, LW), pp. 350–358.
WSA-1992-AmatoGM #analysis #concurrent #database #programming language #transaction: Analysis of Concurrent Transactions in a Functional Database Programming Language (GA, FG, GM), pp. 174–184.
WSA-1992-Hamilton #analysis #first-order #lazy evaluation #source code: Sharing Analysis of Lazy First-Order Functional Programs (GWH), pp. 68–78.
CC-1992-LangendoenH #code generation #lazy evaluation #named: FCG: A Code Generator for Lazy Functional Languages (KL, PHH), pp. 278–296.
DAC-1992-LeeP #constraints #generative #testing: Hierarchical Test Generation under Intensive Global Functional Constraints (JL, JHP), pp. 261–266.
DAC-1992-MercerKR #generative #order #performance: Functional Approaches to Generating Orderings for Efficient Symbolic Representations (MRM, RK, DER), pp. 624–627.
DAC-1992-RundensteinerG #optimisation #synthesis #using: Functional Synthesis Using Area and Delay Optimization (EAR, DG), pp. 291–296.
ESOP-1992-HogenKL #automation #lazy evaluation #parallel #source code: Automatic Parallelization of Lazy Functional Programs (GH, AK, RL), pp. 254–268.
CSL-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.
CSL-1992-HonsellMST #formal method: A Theory of Classes for a Functional Language with Effects (FH, IAM, SFS, CLT), pp. 309–326.
JICSLP-1992-KuchenLMR #constraints #implementation #lazy evaluation #logic: Implementing a Lazy Functional Logic Language with Disequality Constraints (HK, FJLF, JJMN, MRA), pp. 207–221.
SIGMOD-1991-Annevelink #approach #database #programming language: Database Programming Languages: A Functional Approach (JA), pp. 318–327.
FPCA-1991-BarthNA #named #parallel #strict: M-Structures: Extending a Parallel, Non-strict, Functional Language with State (PSB, RSN, A), pp. 538–568.
FPCA-1991-JonesL #strict: Unboxed Values as First Class Citizens in a Non-Strict Functional Language (SLPJ, JL), pp. 636–666.
FPCA-1991-MeijerFP #lens #programming: Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (EM, MMF, RP), pp. 124–144.
FPCA-1991-SmetsersNGP #generative #lazy evaluation #performance: Generating Efficient Code for Lazy Functional Languages (SS, EN, JHGvG, MJP), pp. 592–617.
KDD-1991-WuW: Discovering Functional Relationships from Observational Data (YHW, SW), pp. 55–70.
KR-1991-Bylander #abduction #problem: The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability (TB), pp. 70–77.
TOOLS-USA-1991-KochutMPW #database #named: h-KDL: A Historically Extended Functional O-O Database System (KK, JAM, WDP, AW), pp. 73–86.
LOPSTR-1991-Ameur #evaluation #program transformation: Program Transformations Directed by the Evaluation of non Functional Properties (YAA), pp. 297–299.
PEPM-1991-Klimov: Dynamic Specialization in Extended Functional Language with Monotone Objects (AVK), pp. 199–210.
PEPM-1991-NielBV #polymorphism: Program Bifurcation for a Polymorphic Typed Functional Language (ADN, EB, KDV), pp. 142–153.
PEPM-1991-Takano #lazy evaluation: Generalized Partial Computation for a Lazy Functional Language (AT), pp. 1–11.
PLILP-1991-GrahamK #imperative: Domesticating Imperative Constructs So That They Can Live in a Functional World (TCNG, GK), pp. 51–62.
PLILP-1991-LoogenW #detection: Dynamic Detection of Determinism in Functional Languages (RL, SW), pp. 335–346.
PLILP-1991-Yamasaki #logic programming: Extraction of Functional from Logic Program (SY), pp. 27–38.
POPL-1991-Riecke: Fully Abstract Translations between Functional Languages (JGR), pp. 245–254.
WSA-1991-Ameur: Non Functional Properties Can Guide Program Developments (YAA), pp. 189–196.
WSA-1991-Chin #deforestation #first-order #source code: Generalising Deforestation for All First-Order Functional Programs (WNC), pp. 173–181.
WSA-1991-CousotC #abstract interpretation #higher-order #relational #source code: Relational Abstract Interpretation of Higher Order Functional Programs (PC, RC), pp. 33–36.
WSA-1991-NielBV #partial evaluation #problem #representation: Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem (ADN, EB, KDV), pp. 90–97.
KBSE-1991-AllemangC #debugging #representation: Functional Representation and Program Debugging (DA, BC), pp. 136–143.
DAC-1991-HwangHL #pipes and filters #scheduling: Scheduling for Functional Pipelining and Loop Winding (CTH, YCH, YLL), pp. 764–769.
CCPSD-1991-DietrichL #lazy evaluation #nondeterminism: Exploiting Non-Determinism through Laziness in Guarded Functional Languages (RD, HCRL), pp. 201–216.
CAV-1991-Filkorn #model checking: Functional Extension of Symbolic Model Checking (TF), pp. 225–232.
CSL-1991-Gonzalez-MorenoHR #declarative #programming #semantics: Denotational Versus Declarative Semantics for Functional Programming (JCGM, MTHG, MRA), pp. 134–148.
LICS-1991-BergerS #evaluation #λ-calculus: An Inverse of the Evaluation Functional for Typed λ-calculus (UB, HS), pp. 203–211.
ICALP-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.
LFP-1990-Consel #analysis #higher-order: Binding Time Analysis for High Order Untyped Functional Languages (CC), pp. 264–272.
LFP-1990-GiorgiM #implementation #parallel #programming language: Continuation-Based Parallel Implementation of Functional Programming Languages (JFG, DLM), pp. 209–217.
LFP-1990-Gomard #source code #type inference: Partial Type Inference for Untyped Functional Programs (CKG), pp. 282–287.
LFP-1990-WalinskyB #compilation #parallel #programming language: A Functional Programming Language Compiler for Massively Parallel Computers (CW, DB), pp. 131–138.
ALP-1990-BronsardR #axiom #logic: Axiomatization of a Functional Logic Language (FB, USR), pp. 101–116.
PLILP-1990-BrogiMPT #framework #logic programming: Logic Programming within a Functional Framework (AB, PM, DP, FT), pp. 372–386.
PLILP-1990-Ferdinand #model transformation #pattern matching #transformation language #using: Pattern Matching in a Functional Transformation Language using Treeparsing (CF), pp. 358–371.
POPL-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.
ICSE-1990-Cardenas-GarciaZ #evaluation #specification: Evaluation Criteria for Functional Specifications (SCG, MVZ), pp. 26–33.
WAGA-1990-AttaliC #evaluation #specification: Functional Evaluation of Strongly Non Circular Typol Specifications (IA, JC), pp. 157–176.
WAGA-1990-Wilhelm #attribute grammar #program transformation: Tree Transformations, Functional Languages, and Attribute Grammars (RW), pp. 116–129.
PPoPP-1990-ChangE #implementation #predict: An Implementation of a Barotropic Numerical Weather Prediction Model in the Functional Language SISAL (PSC, GKE), pp. 109–117.
ESOP-1990-GoldbergP #analysis #higher-order #implementation #optimisation #stack: Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations (BG, YGP), pp. 152–160.
ESOP-1990-KuchenLMR #graph #implementation #logic: Graph-based Implementation of a Functional Logic Langugage (HK, RL, JJMN, MRA), pp. 271–290.
CLP-1990-BoscoCMPS90 #architecture #distributed #logic #memory management: Logic and Functional Programmin on Distributed Memory Architectures (PGB, CC, CM, MP, GS), pp. 325–339.
CLP-1990-ChengER90 #logic #on the #programming: On Warren’s Method for Functional Programming in Logic (MHMC, MHvE, BER), pp. 546–560.
RTA-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.
FPCA-1989-Arya #animation #process: Processes in a Functional Animation System (KA), pp. 382–395.
FPCA-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.
FPCA-1989-Bloss #analysis #implementation #performance: Update Analysis and the Efficient Implementation of Functional Aggregates (AGB), pp. 26–38.
FPCA-1989-Mauny #embedded #parsing: Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages (MM), pp. 360–370.
FPCA-1989-RufW #logic #nondeterminism #programming #unification: Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming (ER, DW), pp. 327–339.
FPCA-1989-SilbermannJ #abstraction #logic programming #set: Set Abstraction in Functional and Logic Programming (FSKS, BJ), pp. 313–326.
FPCA-1989-Traub #approach #clustering #compilation #strict: Compilation as Partitioning: A New Approach to Compiling Non-Strict Functional Languages (KRT), pp. 75–88.
POPL-1989-GopinathH: Copy Elimination in Functional Languages (KG, JLH), pp. 303–314.
ICSE-1989-Katayama #process: A Hierarchical and Functional Software Process Description and Its Enaction (TK), pp. 343–352.
ICSE-1989-Yue #composition #dynamic analysis #requirements #validation: Validating System Requirements by Functional Decomposition and Dynamic Analysis (KY), pp. 188–196.
DAC-1989-Tamura #fault #logic: Locating Functional Errors in Logic Circuits (KAT), pp. 185–191.
DAC-1989-WangM #scheduling #simulation: Scheduling High-Level Blocks for Functional Simulation (ZW, PMM), pp. 87–90.
DAC-1989-WooS #adaptation: A Technology-adaptive Allocation of Functional Units and Connections (NSW, HS), pp. 602–605.
CCIPL-1989-FradetM #compilation #λ-calculus: Compilation of Lambda-Calculus into Functional Machine Code (PF, DLM), pp. 155–166.
CCIPL-1989-GiacaloneMP #concurrent #integration #named #programming #symmetry: FACILE: A Symmetric Integration of Concurrent and Functional Programming (AG, PM, SP), pp. 184–209.
STOC-1989-CookU: Functional Interpretations of Feasibly Constructive Arithmetic (SAC, AU), pp. 107–112.
LICS-1989-JagadeesanPP #logic #semantics: A Fully Abstract Semantics for a Functional Language with Logic Variables (RJ, PP, KP), pp. 294–303.
SIGMOD-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.
SIGMOD-1988-Lohman #optimisation #query #representation: Grammar-like Functional Rules for Representing Query Optimization Alternatives (GML), pp. 18–27.
VLDB-1988-LeeFL #implementation #interpreter #query: Implementing an Interpreter for Functional Rules in a Query Optimizer (MKL, JCF, GML), pp. 218–229.
VDME-1988-JagerGK #named: SAMPLE — A Functional Language (MJ, MG, SK), pp. 202–217.
LFP-1988-AasaPS #syntax: Concrete Syntax for Data Objects in Functional Languages (AA, KP, DS), pp. 96–105.
ALP-1988-Fribourg #prolog #question: Functional Extensions to Prolog: Are they Needed? (LF), pp. 21–29.
ALP-1988-Goltz #modelling #semantics #unification: Functional Data Term Models and Semantic Unification (HJG), pp. 158–167.
ALP-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.
ALP-1988-Schnoebelen #compilation #pattern matching: Refined Compilation of Pattern-Matching for Functional Languages (PS), pp. 233–243.
PLILP-1988-Lindstrom #logic #source code #static analysis: Static Analysis Of Functional Programs With Logic Variables (GL), pp. 1–19.
DAC-1988-LathropHDAK #abstraction #roadmap: Advances in Functional Abstraction from Structure (RHL, RJH, GD, KMA, RSK), pp. 708–711.
DAC-1988-LinH #automation #generative: Automatic Functional Test Program Generation for Microprocessors (CSL, HFH), pp. 605–608.
DAC-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.
ESOP-1988-BertDEDDSW #logic #named #programming language: LPG: A Generic, Logic and Functional Programming Language (DB, PD, RE, OD, DD, PYS, FW), pp. 376–377.
ESOP-1988-BretzE #exception: An Exception Handling Construct for Functional Languages (MB, JE), pp. 160–174.
ESOP-1988-Heckmann #program transformation #specification: A Functional Language for the Specification of Complex Tree Transformations (RH), pp. 175–190.
ESOP-1988-Heckmann88a #program transformation #specification: A Functional Language for the Specification of Complex Tree Transformations (RH), p. 380.
ESOP-1988-Legrand #programming #towards: Extending Functional Programming Towards Relations (RL), pp. 206–220.
JICSCP-1988-BoscoCM88 #logic #power of #programming: Exploiting the Full Power of Logic Plus Functional Programming (PGB, CC, CM), pp. 3–17.
PODS-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.
PODS-1987-Gottlob #dependence #embedded: Computing Covers for Embedded Functional Dependencies (GG), pp. 58–69.
VLDB-1987-AtzeniC #database #dependence #independence: Independent Database Schemes under Functional and Inclusion Dependencies (PA, EPFC), pp. 159–166.
FPCA-1987-BrusELP #graph #named: CLEAN: A language for functional graph writing (THB, MCJDvE, MOvL, MJP), pp. 364–384.
FPCA-1987-Burn #evaluation #parallel: Evaluation transformers — a model for the parallel evaluation of functional languages (GLB), pp. 446–470.
FPCA-1987-DarlingtonW #behaviour: Controlling the behaviour of functional language systems (JD, RLW), pp. 278–300.
FPCA-1987-Goldberg #detection #source code: Detecting sharing of partial applications in functional programs (BG), pp. 408–425.
FPCA-1987-HudakA #parallel #source code: Pomset interpretations of parallel functional programs (PH, SA), pp. 234–256.
FPCA-1987-JayaramanP #programming #set: Functional programming with sets (BJ, DAP), pp. 194–211.
FPCA-1987-Johnsson #attribute grammar #paradigm #programming: Attribute grammars as a functional programming paradigm (TJ), pp. 154–173.
FPCA-1987-Schlag #source code: The planar topology of functional programs (MDFS), pp. 174–193.
FPCA-1987-WatsonW #source code: Evaluating functional programs on the FLAGSHIP machine (PW, IW), pp. 80–97.
PLDI-1987-Robison #interpreter #programming: The Illinois functional programming interpreter (ADR), pp. 64–73.
DAC-1987-LathropHK #abstraction #modelling #simulation: Functional Abstraction from Structure in VLSI Simulation Models (RHL, RJH, RSK), pp. 822–828.
DAC-1987-MaiaszH #layout #optimisation: Layout Optimization of CMOS Functional Cells (RLM, JPH), pp. 544–551.
DAC-1987-Weise #verification: Functional Verification of MOS Circuits (DW), pp. 265–270.
CFLP-1987-Bellia #logic programming #named #paradigm: Retractions: A Functional Paradigm for Logic Programming (MB), pp. 260–275.
LICS-1987-Emden #first-order #logic #programming #relational: First-order Predicate Logic as a Common Basis for Relational and Functional Programming (MHvE), p. 179.
LICS-1987-KfouryTU #source code: The Hierarchy of Finitely Typed Functional Programs (AJK, JT, PU), pp. 225–235.
SLP-1987-ShinNHM87 #canonical #logic #unification: A Functional Logic Language Based on Canonical Unification (DWS, JHN, SH, SM), pp. 328–334.
PODS-1986-YuanO #database #dependence #design #multi #relational: Unifying Functional and Multivalued Dependencies for Relational Database Design (LYY, ZMÖ), pp. 183–190.
LFP-1986-FairbairnW #code generation: Code Generation Techniques for Functional Languages (JF, SW), pp. 94–104.
LFP-1986-GiffordL #imperative #programming: Integrating Functional and Imperative Programming (DKG, JML), pp. 28–38.
LFP-1986-JayaramanS #equation #logic programming #reduction #semantics #set: Equations, Sets, and Reduction Semantics for Functional and Logic Programming (BJ, FSKS), pp. 320–331.
LFP-1986-Knight #architecture: An Architecture for Mostly Functional Languages (TFK), pp. 105–112.
LFP-1986-MaunyS #automaton #category theory #implementation: Implementing Functional Languages in the Categorical Abstract Machine (MM, AS), pp. 266–278.
LFP-1986-NielsonN #compilation #semantics: Semantics Directed Compiling for Functional Languages (HRN, FN), pp. 249–257.
DAC-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.
ESOP-1986-Bellot #combinator #named #programming #reduction: GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine (PB), pp. 82–98.
ESOP-1986-BertE #design #implementation #logic #programming language: Design and Implementation of a Generic, Logic and Functional Programming Language (DB, RE), pp. 119–132.
CADE-1986-Gibert #combinator #programming: The J-Machine: Functional Programming with Combinators (JG), pp. 683–684.
CADE-1986-HannaD #implementation #logic: Purely Functional Implementation of a Logic (FKH, ND), pp. 598–607.
ICLP-1986-Nakamura86 #execution #logic programming: Control of Logic Program Execution Based on the Functional Relations (KN), pp. 505–512.
ICLP-1986-WarrenD86 #detection #optimisation #prolog: Detection and Optimization of Functional Computations in Prolog (DSW, SKD), pp. 490–504.
LICS-1986-Robinson #programming #reduction #relational: Merging Functional with Relational Programming in a Reduction Setting (JAR), p. 2.
VLDB-1985-HeilerR #interface #recursion #visual notation: G-WHIZ, a Visual Interface for the Functional Model with Recursion (SH, AR), pp. 209–218.
VLDB-1985-Mendelzon #dependence #logic programming #source code: Functional Dependencies in Logic Programs (AOM), pp. 324–330.
VLDB-1985-Zlatuska #database #perspective: Hit Data Model Data Bases from the Functional Point of View (JZ), pp. 470–477.
FPCA-1985-Turner85 #named #polymorphism #strict: Miranda: A Non-Strict Functional language with Polymorphic Types (DAT), pp. 1–16.
FPCA-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.
FPCA-1985-Young85 #architecture #composition: A Functional Language and Modular Architecture for Scientific Computing (MFY), pp. 305–318.
POPL-1985-HudakB #problem #programming: The Aggregate Update Problem in Functional Programming Systems (PH, AB), pp. 300–314.
POPL-1985-Lindstrom #logic #programming: Functional Programming and the Logical Variable (GL), pp. 266–280.
ICSE-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.
DAC-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.
DAC-1985-GuptaA #fault #modelling #simulation: Functional fault modeling and simulation for VLSI devices (AKG, JRA), pp. 720–726.
DAC-1985-LathropK #object-oriented #simulation: An extensible object-oriented mixed-mod functional simulation system (RHL, RSK), pp. 630–636.
DAC-1985-MeshkinpourE #design: A functional language for description and design of digital systems: sequential constructs (FM, MDE), pp. 238–244.
DAC-1985-MokkaralaFA #approach #simulation #verification: A unified approach to simulation and timing verification at the functional level (VRM, AF, RA), pp. 757–761.
DAC-1985-ZaraRNS #automaton #data type #modelling: An abstract machine data structure for non-procedural functional models (RVZ, KR, GN, HS), pp. 753–756.
AS-1985-GannonHM #semantics: Functional Semantics of Modules (JDG, RGH, HDM), pp. 42–59.
SLP-1985-Reddy85 #semantics: Narrowing as the Operational Semantics of Functional Languages (USR), pp. 138–151.
SLP-1985-SrivastavaOS85 #integration #logic #programming: An(other) Integration of Logic and Functional Programming (AS, DO, AS), pp. 254–260.
PODS-1984-CosmadakisK #approach #dependence #graph: Functional and Inclusion Dependencies: A Graph Theoretic Approach (SSC, PCK), pp. 29–37.
PODS-1984-SaccaMM #database #dependence: Properties of Database Schemata with Functional Dependencies (DS, FM, AM), pp. 19–28.
SIGMOD-1984-Hall #algebra #logic #programming #relational: Relational Algebras, Logic, and Functional Programming (PAVH), pp. 326–333.
ICALP-1984-AtzeniM #constraints #database #dependence #null: Functional Dependencies and Disjunctive Existence Constraints in Database Relations with Null Values (PA, NMM), pp. 69–81.
LFP-1984-Cardelli #compilation: Compiling a Functional Language (LC), pp. 208–217.
LFP-1984-Dannenberg #named #realtime: Arctic: A Functional Language for Real-Time Control (RBD), pp. 96–103.
LFP-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.
POPL-1984-HudakK #combinator #compilation: A Combinator-Based Compiler for a Functional Language (PH, DAK), pp. 122–132.
POPL-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.
ICSE-1984-ToriiMSK #analysis #logic #problem #programming: Functional Programming and Logical Programming for the Telegram Analysis Problem (KT, YM, YS, TK), pp. 463–472.
DAC-1984-BellonV: Taking into account asynchronous signals in functional test of complex circuits (CB, RV), pp. 490–496.
DAC-1984-KawamuraTH #memory management #verification: Functional verification of memory circuits from mask artwork data (MK, HT, KH), pp. 228–234.
DAC-1984-OdawaraST: A symbolic functional description language (GO, JS, MT), pp. 73–80.
DAC-1984-SuL #testing: Functional testing techniques for digital LSI/VLSI systems (SYHS, TL), pp. 517–528.
DAC-1984-ThamWW #design #multi #simulation #verification: Functional design verification by multi-level simulation (KT, RW, DW), pp. 473–478.
SLP-1984-BarbutiBLM84 #integration #logic programming #on the: On the Integration of Logic Programming and Functional Programming (RB, MB, GL, MM), pp. 160–166.
SLP-1984-Carlsson84 #implementation #on the #programming #prolog: On Implementing Prolog in Functional Programming (MC), pp. 154–159.
SLP-1984-Reddy84 #logic programming #source code: Transformation of Logic Programs into Functional Programs (USR), pp. 187–196.
SLP-1984-SubrahmanyamY84 #concept #evaluation #logic programming: Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming (PAS, JHY), pp. 144–153.
PODS-1983-Mitchell #dependence: Inference Rules for Functional and Inclusion Dependencies (JCM), pp. 58–69.
SIGMOD-1983-LaverMG #database #dependence: Functional Dependencies on Cyclic Database Schemes (KL, AOM, MHG), pp. 79–91.
ICALP-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.
DAC-1983-ChengGKW #development #simulation: Functional simulation shortens the development cycle of a new computer (RC, BG, KK, JW), pp. 515–519.
DAC-1983-Druian #design #modelling: Functional models for VLSI design (RLD), pp. 506–514.
DAC-1983-LaiS #testing: Functional testing of digital systems (KWL, DPS), pp. 207–213.
PODS-1982-CasanovaFP #dependence #interactive: Inclusion Dependencies and Their Interaction with Functional Dependencies (MAC, RF, CHP), pp. 171–176.
PODS-1982-JohnsonK #dependence #query #testing: Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (DSJ, ACK), pp. 164–169.
VLDB-1982-GelenbeG #dependence: The Size of Projections of Relations Satisfying a Functional Dependency (EG, DG), pp. 325–333.
ICALP-1982-BerklingF #programming language #λ-calculus: A Modification of the λ-Calculus as a Base for Functional Programming Languages (KJB, EF), pp. 35–47.
LFP-1982-Bohm #combinator #programming: Combinatory Foundation of Functional Programming (CB), pp. 29–36.
LFP-1982-Feldman #editing #specification: Functional Specifications of a Text Editor (GF), pp. 37–46.
LFP-1982-Georgeff #implementation #stack: A Scheme for Implementing Functional Values on a Stack Machine (MPG), pp. 188–195.
LFP-1982-Henderson #geometry: Functional Geometry (PH), pp. 179–187.
POPL-1982-DamasM #source code: Principal Type-Schemes for Functional Programs (LD, RM), pp. 207–212.
ICSE-1982-FutatsugiO: A Hierarchical Structuring Method for Functional Software Systems (KF, KO), pp. 393–402.
ICSE-1982-Urban #development #execution #specification: Software Development with Executable Functional Specifications (JEU), pp. 418–419.
ICSE-1982-YonezakiK #logic #process #specification: Functional Specification of Synchronized Processes Based on Modal Logic (NY, TK), pp. 208–217.
DAC-1982-DesMaraisSW #modelling #simulation: A functional level modelling language for digital simulation (PJD, ESYS, PSW), pp. 315–320.
DAC-1982-LightnerH #algorithm #megamodelling #testing: Implication algorithms for MOS switch level functional macromodeling implication and testing (MRL, GDH), pp. 691–698.
DAC-1982-MinS #fault #testing: Testing functional faults in VLSI (YM, SYHS), pp. 384–392.
ICSE-1981-Katayama #attribute grammar #named #programming: HFP: A Hierarchical and Functional Programming Based on Attribute Grammar (TK), pp. 343–353.
DAC-1981-Cory #simulation #verification: Symbolic simulation for functional verification with ADLIB and SDL (WEC), pp. 82–89.
DAC-1981-HirschhornHB #algorithm #data type #simulation: Functional level simulation in FANSIM3 — algorithms, data structures and results (SH, MH, CB), pp. 248–255.
DAC-1981-RaethALB #logic #modelling #simulation: Functional modelling for logic simulation (PGR, JMA, GBL, JMB), pp. 791–795.
DAC-1981-Wojtkowiak #design #specification: Deterministic systems design from functional specifications (HW), pp. 98–104.
SOSP-1981-Satyanarayanan #case study: A Study of File Sizes and Functional Lifetimes (MS), pp. 96–108.
SIGMOD-1980-SadriU #dependence #interactive: The Interaction between Functional Dependencies and Template Dependencies (FS, JDU), pp. 45–51.
VLDB-1980-Vassiliou #dependence: Functional Dependencies and Incomplete Information (YV), pp. 260–269.
POPL-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.
DAC-1980-dAbreuT #concurrent #fault: An accurate functional level concurrent fault simulator (MAd, EWT), pp. 210–217.
DAC-1980-NashRST #simulation: Functional level simulation at Raytheon (DCN, KR, PS, MT), pp. 634–641.
DAC-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.
SIGMOD-1979-BunemanF #named #query: FQL — A Functional Query Language (PB, REF), pp. 52–58.
SIGMOD-1979-Shipman: The Functional Data Model and the Data Language DAPLEX (DWS), p. 59.
VLDB-1979-HouselWY #database #dependence #design #logic: The Functional Dependency Model for Logical Database Design (BCH, VEW, SBY), pp. 194–208.
VLDB-1979-Studer #specification: Functional Specification of a Decision Support System (RS), pp. 85–93.
ICALP-1979-CoppoDS #semantics #λ-calculus: Functional Characterization of Some Semantic Equalities inside λ-Calculus (MC, MDC, PS), pp. 133–146.
POPL-1979-Critcher #parametricity #power of: The Functional Power of Parameter Passage Mechanisms (AC), pp. 158–168.
DAC-1979-HsiehR #latency #megamodelling: Macrosimulation with Quasi-general Symbolic FET Macromodel and Functional Latency (HYH, NBR), pp. 229–234.
DAC-1979-LeinwandL #abstraction #design #verification: Design verification based on functional abstraction (SML, TL), pp. 353–359.
DAC-1979-UeharaC #array #layout: Optimal layout of CMOS functional arrays (TU, WMvC), pp. 287–289.
DAC-1979-Wilcox #logic #simulation: Digital logic simulation at the gate and functional level (PSW), pp. 242–248.
SIGMOD-1978-Nicolas #dependence #first-order #formal method #logic #multi: First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies (JMN), pp. 40–46.
ICSE-1978-Scott #architecture: An Engineering Methodology for Presenting Software Functional Architecture (LRS), pp. 222–229.
DAC-1978-AliaCMB #component #modelling #simulation: LSI components modelling in a three-valued functional simulation (GA, PC, EM, FB), pp. 428–438.
DAC-1978-MalekB #fault #simulation: Functional simulation and fault diagnosis (MM, AKB), pp. 340–346.
SIGMOD-1977-BeeriFH #axiom #database #dependence #multi: A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations (CB, RF, JHH), pp. 47–61.
DAC-1977-AbramoviciBK #concurrent #fault #modelling #simulation: Concurrent fault simulation and functional level modeling (MA, MAB, KK), pp. 128–137.
DAC-1976-ChappellMPS #simulation: Functional simulation in the lamp system (SGC, PRM, JFP, AMS), pp. 42–47.
DAC-1976-Rozeboom #problem #testing: Current problems related to LSI functional testing (RWR), pp. 203–204.
SIGMOD-1975-BernsteinST #approach #dependence: A Unified Approach to Functional Dependencies and Relations (PAB, JRS, DT), pp. 237–245.
VLDB-1975-EswaranC #database #specification: Functional Specifications of Subsystem for Database Integrity (KPE, DDC), pp. 48–68.
SIGFIDET-1974-Stonebraker #independence: A Functional View of Data Independence (MS), pp. 63–81.
DAC-1974-Vaughn #array #testing: Functional testing of LSI gate arrays (GDV), pp. 258–265.
DAC-1973-Keiner #logic #simulation #testing: Functional testing A user looks at logic simulation (WLK), pp. 151–158.
DAC-1973-Shenkman #diagrams #generative #logic: Circuit diagram generation via functional logic (SMS), pp. 267–273.
DAC-1973-SzygendaL #logic #simulation: Integrated techniques for functional and gate-level digital logic simulation (SAS, AAL), pp. 159–172.
DAC-1970-Cole #automation #generative #logic #simulation #source code: Automatic generation of functional logic test programs through simulation (FBC), pp. 116–127.