BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
program (97)
type (80)
order (49)
function (47)
structur (46)

Stem recurs$ (all stems)

616 papers:

VLDBVLDB-2015-WangBH #datalog #evaluation #fault tolerance #recursion
Asynchronous and Fault-Tolerant Recursive Datalog Evaluation in Shared-Nothing Engines (JW, MB, DH), pp. 1542–1553.
ESOPESOP-2015-Chugh #named #recursion #self #type system
IsoLATE: A Type System for Self-recursion (RC), pp. 257–282.
ESOPESOP-2015-VasconcelosJFH #analysis #functional #lazy evaluation #recursion #type system
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages (PBV, SJ, MF, KH), pp. 787–811.
FoSSaCSFoSSaCS-2015-CloustonBGB #induction #programming #reasoning #recursion
Programming and Reasoning with Guarded Recursion for Coinductive Types (RC, AB, HBG, LB), pp. 407–421.
TACASTACAS-2015-ChenHTWW #contest #named #program transformation #recursion #source code #text-to-text #verification
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation — (Competition Contribution) (YFC, CH, MHT, BYW, FW), pp. 426–428.
TACASTACAS-2015-DanglLW #contest #float #recursion #source code
CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic — (Competition Contribution) (MD, SL, PW), pp. 423–425.
TACASTACAS-2015-UnnoT #horn clause #recursion
Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling (HU, TT), pp. 149–163.
PLDIPLDI-2015-RenJKAK #execution #hardware #performance #recursion #source code
Efficient execution of recursive programs on commodity vector hardware (BR, YJ, SK, KA, MK), pp. 509–520.
LATALATA-2015-KrishnaMT #automaton #bound #decidability #problem #reachability #recursion
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable (SNK, LM, AT), pp. 237–248.
ICFPICFP-2015-DownenJA #recursion
Structures for structural recursion (PD, PJF, ZMA), pp. 127–139.
GCMGCM-2015-Flick #correctness #graph #on the #recursion #source code
On Correctness of Graph Programs Relative to Recursively Nested Conditions (NEF), pp. 97–112.
CSCWCSCW-2015-KleinMC #collaboration #metric #recursion #wiki
The Virtuous Circle of Wikipedia: Recursive Measures of Collaboration Structures (MK, TM, JCIC), pp. 1106–1115.
ICMLICML-2015-ZhuSG #memory management #recursion
Long Short-Term Memory Over Recursive Structures (XDZ, PS, HG), pp. 1604–1612.
KDDKDD-2015-WangLSH #approach #composition #interactive #recursion #topic #towards
Towards Interactive Construction of Topical Hierarchy: A Recursive Tensor Decomposition Approach (CW, XL, YS, JH), pp. 1225–1234.
PPDPPPDP-2015-Fruhwirth #recursion #termination
A devil’s advocate against termination of direct recursion (TWF), pp. 103–113.
POPLPOPL-2015-ChatterjeeIPG #algebra #algorithm #constant #performance #recursion #state machine
Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth (KC, RIJ, AP, PG), pp. 97–109.
POPLPOPL-2015-HinzeWG #morphism #recursion
Conjugate Hylomorphisms — Or: The Mother of All Structured Recursion Schemes (RH, NW, JG), pp. 527–538.
ASPLOSASPLOS-2015-FletcherRKDD #ram #recursion #verification
Freecursive ORAM: [Nearly] Free Recursion and Integrity Verification for Position-based Oblivious RAM (CWF, LR, AK, MvD, SD), pp. 103–116.
PPoPPPPoPP-2015-TangYKTGC #algorithm #parallel #programming #recursion
Cache-oblivious wavefront: improving parallelism of recursive dynamic programming algorithms without losing cache-efficiency (YT, RY, HK, JJT, PG, RAC), pp. 205–214.
ICLPICLP-J-2015-AlvianoFG #programming #recursion #set
Rewriting recursive aggregates in answer set programming: back to monotonicity (MA, WF, MG), pp. 559–573.
TLCATLCA-2015-Pientka0 #recursion
Well-Founded Recursion over Contextual Objects (BP, AA), pp. 273–287.
FoSSaCSFoSSaCS-2014-Padovani #linear #re-engineering #recursion #π-calculus
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types (LP), pp. 88–102.
SASSAS-2014-ChenHTWW #recursion #source code #using #verification
Verifying Recursive Programs Using Intraprocedural Analyzers (YFC, CH, MHT, BYW, FW), pp. 118–133.
ICALPICALP-v1-2014-Kuncak #recursion #verification
Verifying and Synthesizing Software with Recursive Functions — (Invited Contribution) (VK), pp. 11–25.
ICALPICALP-v2-2014-GoncharovP #algebra #bisimulation #equation #monad #recursion
Coalgebraic Weak Bisimulation from Recursive Equations over Monads (SG, DP), pp. 196–207.
SFMSFM-2014-GiachinoL #concurrent #detection #linear #recursion #source code
Deadlock Detection in Linear Recursive Programs (EG, CL), pp. 26–64.
ICPRICPR-2014-Martinez-VargasHAAC #component #constraints #probability #recursion
Recursive Separation of Stationary Components by Subspace Projection and Stochastic Constraints (JDMV, CCH, AMÁM, CDAM, GCD), pp. 3469–3474.
KRKR-2014-CeruttiGVZ #recursion
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (FC, MG, MV, MZ).
PPDPPPDP-2014-Ramsay #abstraction #recursion #safety
Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes (SJR), pp. 175–186.
CAVCAV-2014-KomuravelliGC #model checking #recursion #smt #source code
SMT-Based Model Checking for Recursive Programs (AK, AG, SC), pp. 17–34.
LICSLICS-CSL-2014-Mamouras #hoare #monad #on the #recursion
On the Hoare theory of monadic recursion schemes (KM), p. 10.
LICSLICS-CSL-2014-Mogelberg #effectiveness #recursion #type system
A type theory for productive coprogramming via guarded recursion (REM), p. 10.
DATEDATE-2013-JongheDDG #modelling #recursion
Extracting analytical nonlinear models from analog circuits by recursive vector fitting of transfer function trajectories (DdJ, DD, TD, GGEG), pp. 1448–1453.
SIGMODSIGMOD-2013-ChenZ #difference #privacy #recursion #strict #towards
Recursive mechanism: towards node differential privacy and unrestricted joins (SC, SZ), pp. 653–664.
ESOPESOP-2013-KobayashiI #higher-order #model checking #recursion #source code
Model-Checking Higher-Order Programs with Recursive Types (NK, AI), pp. 431–450.
FoSSaCSFoSSaCS-2013-Czajka #higher-order #logic #recursion
Partiality and Recursion in Higher-Order Logic (LC0), pp. 177–192.
FoSSaCSFoSSaCS-2013-KarandikarS #complexity #parametricity #problem #recursion
The Parametric Ordinal-Recursive Complexity of Post Embedding Problems (PK, SS), pp. 273–288.
PEPMPEPM-2013-DevrieseSCP #domain-specific language #recursion
Fixing idioms: a recursion primitive for applicative DSLs (DD, IS, DC, FP), pp. 97–106.
STOCSTOC-2013-BitanskyCCT #composition #recursion
Recursive composition and bootstrapping for SNARKS and proof-carrying data (NB, RC, AC, ET), pp. 111–120.
STOCSTOC-2013-KleinMS #graph #linear #recursion
Structured recursive separator decompositions for planar graphs in linear time (PNK, SM, CS), pp. 505–514.
ICALPICALP-v1-2013-Leonardos #bound #complexity #random #recursion
An Improved Lower Bound for the Randomized Decision Tree Complexity of Recursive Majority, (NL), pp. 696–708.
ICALPICALP-v2-2013-ImNP #data type #parametricity #recursion
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types (HI, KN, SP), pp. 299–311.
LATALATA-2013-Etessami #algorithm #infinity #probability #recursion #verification
Algorithms for Analyzing and Verifying Infinite-State Recursive Probabilistic Systems (KE), p. 12.
LATALATA-2013-Ong #automaton #higher-order #model checking #recursion
Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking (LO), pp. 13–41.
ICFPICFP-2013-AbelP #approach #pattern matching #recursion #termination
Wellfounded recursion with copatterns: a unified approach to termination and productivity (AA, BP), pp. 185–196.
ICFPICFP-2013-AtkeyM #effectiveness #recursion
Productive coprogramming with guarded recursion (RA, CM), pp. 197–208.
ICFPICFP-2013-HidakaAHKN #graph #order #query #recursion
Structural recursion for querying ordered graphs (SH, KA, ZH, HK, KN), pp. 305–318.
ICFPICFP-2013-HinzeWG #recursion
Unifying structured recursion schemes (RH, NW, JG), pp. 209–220.
ICMLICML-c3-2013-BellemareVB #learning #recursion
Bayesian Learning of Recursively Factored Environments (MGB, JV, MB), pp. 1211–1219.
KDDKDD-2013-GopalY #classification #dependence #recursion #scalability #visual notation
Recursive regularization for large-scale classification with hierarchical and graphical dependencies (SG, YY), pp. 257–265.
KDDKDD-2013-WangDDZNTH #framework #mining #recursion #topic
A phrase mining framework for recursive construction of a topical hierarchy (CW, MD, ND, YZ, PN, TT, JH), pp. 437–445.
OOPSLAOOPSLA-2013-KneussKKS #recursion #synthesis
Synthesis modulo recursive functions (EK, IK, VK, PS), pp. 407–426.
PPDPPPDP-2013-YamadaKS #order #polynomial #recursion
Unifying the Knuth-Bendix, recursive path and polynomial orders (AY, KK, TS), pp. 181–192.
PADLPADL-2013-Aranda-LopezNSS #formal method #recursion #sql
Formalizing a Broader Recursion Coverage in SQL (GAL, SN, FSP, JSH), pp. 93–108.
CADECADE-2013-IosifRS #logic #recursion
The Tree Width of Separation Logic with Recursive Definitions (RI, AR, JS), pp. 21–38.
CAVCAV-2013-AlbarghouthiGK #recursion #synthesis
Recursive Program Synthesis (AA, SG, ZK), pp. 934–950.
CSLCSL-2013-BroadbentK #higher-order #model checking #recursion
Saturation-Based Model Checking of Higher-Order Recursion Schemes (CHB, NK), pp. 129–148.
CSLCSL-2013-Oitavem #nondeterminism #recursion
From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk) (IO), pp. 24–27.
LICSLICS-2013-BirkedalM #fixpoint #recursion #type system
Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes (LB, REM), pp. 213–222.
RTARTA-2013-SmolkaT #recursion #unification
Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification (GS, TT), pp. 271–286.
TLCATLCA-2013-HancockMGMA #induction #recursion
Small Induction Recursion (PH, CM, NG, LM, TA), pp. 156–172.
TLCATLCA-2013-SalvatiW #modelling #recursion #using
Using Models to Model-Check Recursive Schemes (SS, IW), pp. 189–204.
DACDAC-2012-MiddendorfBH #hardware #recursion #synthesis
Hardware synthesis of recursive functions through partial stream rewriting (LM, CB, CH), pp. 1207–1215.
SIGMODSIGMOD-2012-GhazalSCA #adaptation #optimisation #query #recursion
Adaptive optimizations of recursive queries in teradata (AG, DYS, AC, MAK), pp. 851–860.
VLDBVLDB-2012-MihaylovIG #named #recursion
REX: Recursive, Delta-Based Data-Centric Computation (SRM, ZGI, SG), pp. 1280–1291.
FASEFASE-2012-BradfieldS #calculus #qvt #recursion #μ-calculus
Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal μ Calculus (JCB, PS), pp. 194–208.
TACASTACAS-2012-SonnexDE #automation #data type #named #proving #recursion
Zeno: An Automated Prover for Properties of Recursive Data Structures (WS, SD, SE), pp. 407–421.
CIAACIAA-2012-AmaviCR #recursion #xml
Weak Inclusion for Recursive XML Types (JA, JC, PR), pp. 78–89.
ICALPICALP-v2-2012-OngT #game studies #recursion #semantics
Two-Level Game Semantics, Intersection Types, and Recursion Schemes (CHLO, TT), pp. 325–336.
EDOCEDOC-2012-DohringSG #adaptation #approach #aspect-oriented #model transformation #recursion #rule-based #runtime #weaving #workflow
Emulating Runtime Workflow Adaptation and Aspect Weaving by Recursive Rule-Based Sub-Process Selection — A Model Transformation Approach (MD, AS, IG), pp. 133–142.
CIKMCIKM-2012-KimKKO #modelling #process #recursion #topic
Modeling topic hierarchies with the recursive chinese restaurant process (JHK, DK, SK, AHO), pp. 783–792.
ICPRICPR-2012-LiuCSTN #learning #multi #performance #problem #recursion #scalability
Recursive NMF: Efficient label tree learning for large multi-class problems (LL, PMC, SS, PNT, AN), pp. 2148–2151.
ICPRICPR-2012-RiechertZMK #estimation #hybrid #realtime #recursion #using
Real-time disparity estimation using line-wise hybrid recursive matching and cross-bilateral median up-sampling (CR, FZ, MM, PK), pp. 3168–3171.
PPDPPPDP-2012-Thielecke #continuation #functional #parsing #recursion #semantics
Functional semantics of parsing actions, and left recursion elimination as continuation passing (HT), pp. 91–102.
POPLPOPL-2012-BouajjaniE #analysis #parallel #recursion #source code
Analysis of recursively parallel programs (AB, ME), pp. 203–214.
POPLPOPL-2012-MadhusudanQS #induction #proving #recursion
Recursive proofs for inductive tree data-structures (PM, XQ, AS), pp. 123–136.
IJCARIJCAR-2012-BoerBR #automation #pointer #recursion #source code #verification
Automated Verification of Recursive Programs with Pointers (FSdB, MMB, JR), pp. 149–163.
LICSLICS-2012-CarayolS #automaton #effectiveness #equivalence #recursion #safety
Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection (AC, OS), pp. 165–174.
LICSLICS-2012-HaddadSS #complexity #petri net #recursion
The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets (SH, SS, PS), pp. 355–364.
TAPTAP-2012-ChedorJM #generative #recursion #testing
Test Generation from Recursive Tiles Systems (SC, TJ, CM), pp. 99–114.
CASECASE-2011-ColP #detection #performance #recursion
Fast and accurate object detection by means of recursive monomial feature elimination and cascade of SVM (LDC, FAP), pp. 304–309.
SIGMODSIGMOD-2011-BaoDM #on the fly #recursion #workflow
Labeling recursive workflow executions on-the-fly (ZB, SBD, TM), pp. 493–504.
ITiCSEITiCSE-2011-Mirolo #recursion
Is iteration really easier to master than recursion: an investigation in a functional-first CS1 context (CM), p. 362.
FoSSaCSFoSSaCS-2011-Kobayashi #algorithm #automaton #higher-order #linear #model checking #recursion
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes (NK0), pp. 260–274.
FoSSaCSFoSSaCS-2011-SchwinghammerBS #metric #recursion
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces (JS, LB, KS), pp. 305–319.
SASSAS-2011-SuterKK #recursion #satisfiability #source code
Satisfiability Modulo Recursive Programs (PS, ASK, VK), pp. 298–315.
ICALPICALP-v1-2011-MagniezNSX #bound #complexity #random #recursion
Improved Bounds for the Randomized Decision Tree Complexity of Recursive Majority (FM, AN, MS, DX), pp. 317–329.
ICALPICALP-v2-2011-BrazdilKKV #analysis #bound #probability #recursion #runtime #source code
Runtime Analysis of Probabilistic Programs with Unbounded Recursion (TB, SK, AK, IHV), pp. 319–331.
ICALPICALP-v2-2011-SchmitzS #bound #multi #recursion
Multiply-Recursive Upper Bounds with Higman’s Lemma (SS, PS), pp. 441–452.
ICFPICFP-2011-AhnS #combinator #data type #induction #recursion
A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences (KYA, TS), pp. 234–246.
ICFPICFP-2011-GhicaSS #compilation #geometry #hardware #recursion #synthesis
Geometry of synthesis iv: compiling affine recursion into static hardware (DRG, AIS, SS), pp. 221–233.
ICFPICFP-2011-PopescuG #recursion #syntax
Recursion principles for syntax with bindings and substitution (AP, ELG), pp. 346–358.
AdaSIGAda-2011-Moore #parallel #recursion #stack
Stack safe parallel recursion with paraffin (BJM), pp. 27–34.
ICMLICML-2011-SocherLNM #natural language #network #parsing #recursion
Parsing Natural Scenes and Natural Language with Recursive Neural Networks (RS, CCYL, AYN, CDM), pp. 129–136.
KDDKDD-2011-HendersonGLAETF #graph #mining #recursion #using
It’s who you know: graph mining using recursive structural features (KH, BG, LL, LA, TER, HT, CF), pp. 663–671.
BXBX-2011-Hidaka #bidirectional #graph transformation #recursion
Bidirectional Graph Transformations based on Structural Recursion (SH), p. 59.
OOPSLAOOPSLA-2011-ImNGP #recursion #type system
A syntactic type system for recursive modules (HI, KN, JG, SP), pp. 993–1012.
OOPSLAOOPSLA-2011-JoK #locality #recursion #traversal
Enhancing locality for recursive traversals of recursive structures (YJ, MK), pp. 463–482.
PPDPPPDP-2011-AlvesFFM #recursion #λ-calculus
Linearity and recursion in a typed λ-calculus (SA, MF, MF, IM), pp. 173–182.
PPDPPPDP-2011-SchernhammerM #axiom #incremental #recursion #specification
Incremental checking of well-founded recursive specifications modulo axioms (FS, JM), pp. 5–16.
PADLPADL-2011-DevrieseP #combinator #domain-specific language #recursion #semiparsing
Explicitly Recursive Grammar Combinators — A Better Model for Shallow Parser DSLs (DD, FP), pp. 84–98.
POPLPOPL-2011-BirkedalRSSTY #modelling #recursion
Step-indexed kripke models over recursive worlds (LB, BR, JS, KS, JT, HY), pp. 119–132.
LDTALDTA-2011-SergeyC #automaton #recursion #type checking
From type checking by recursive descent to type checking with an abstract machine (IS, DC), p. 2.
CADECADE-2011-ArnaudCD #protocol #recursion #security #testing
Deciding Security for Protocols with Recursive Tests (MA, VC, SD), pp. 49–63.
CAVCAV-2011-HagueL #data type #model checking #recursion #source code
Model Checking Recursive Programs with Numeric Data Types (MH, AWL), pp. 743–759.
CSLCSL-2011-GroheGHL #logic #recursion
L-Recursion and a new Logic for Logarithmic Space (MG, BG, AH, BL), pp. 277–291.
CSLCSL-2011-Schwencke #nondeterminism #recursion
A Category Theoretic View of Nondeterministic Recursive Program Schemes (DS), pp. 496–511.
ICSTICST-2011-HeamN #data type #generative #named #random #recursion #testing
Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing (PCH, CN), pp. 60–69.
LICSLICS-2011-FigueiraFSS #bound #recursion
Ackermannian and Primitive-Recursive Bounds with Dickson’s Lemma (DF, SF, SS, PS), pp. 269–278.
RTARTA-2011-BrockschmidtOG #bytecode #composition #java #proving #recursion #source code #term rewriting #termination
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting (MB, CO, JG), pp. 155–170.
RTARTA-2011-MoserS #complexity #dependence #framework #multi #proving #recursion #termination
Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity (GM, AS), pp. 235–250.
RTARTA-2011-NishidaV #recursion
Program Inversion for Tail Recursive Functions (NN, GV), pp. 283–298.
DATEDATE-2010-CollinsVC #code generation #manycore #parallel #recursion
Recursion-driven parallel code generation for multi-core platforms (RLC, BV, LPC), pp. 190–195.
DATEDATE-2010-IqbalSH #estimation #execution #named #order #pipes and filters #recursion
RMOT: Recursion in model order for task execution time estimation in a software pipeline (NI, MAS, JH), pp. 953–956.
DocEngDocEng-2010-ChaoTZA #composition #image #recursion
Blocked recursive image composition with exclusion zones (HC, DT, XZ, CBA), pp. 111–114.
ITiCSEITiCSE-2010-Mirolo #analysis #learning #multi #recursion #student
Learning (through) recursion: a multidimensional analysis of the competences achieved by CS1 students (CM), pp. 160–164.
ITiCSEITiCSE-2010-Rubio-Sanchez #programming #recursion
Tail recursive programming by applying generalization (MRS), pp. 98–102.
ITiCSEITiCSE-2010-ScholtzS #comprehension #modelling #recursion #student
Mental models of recursion: investigating students’ understanding of recursion (TLS, IDS), pp. 103–107.
FoSSaCSFoSSaCS-2010-MiliusMS #recursion #semantics
CIA Structures and the Semantics of Recursion (SM, LSM, DS), pp. 312–327.
FoSSaCSFoSSaCS-2010-TsukadaK #infinity #recursion
Untyped Recursion Schemes and Infinite Intersection Types (TT, NK), pp. 343–357.
TACASTACAS-2010-Aderhold #analysis #automation #higher-order #recursion #source code #termination
Automated Termination Analysis for Programs with Second-Order Recursion (MA), pp. 221–235.
FLOPSFLOPS-2010-MorihataM #automation #parallel #quantifier #recursion #using
Automatic Parallelization of Recursive Functions Using Quantifier Elimination (AM, KM), pp. 321–336.
LISPILC-2010-YasugiKHU #continuation #recursion
Managing continuations for proper tail recursion (MY, TK, TH, SU), pp. 65–72.
ICPRICPR-2010-HasanbelliuGP #algorithm #kernel #online #recursion
A Recursive Online Kernel PCA Algorithm (EH, LGSG, JCP), pp. 169–172.
ICPRICPR-2010-KopenkovM #algorithm #performance #recursion #research
Research the Performance of a Recursive Algorithm of the Local Discrete Wavelet Transform (VNK, VVM), pp. 4452–4455.
ICPRICPR-2010-PrabhuR #recursion #video
Recursive Video Matting and Denoising (SMP, ANR), pp. 4524–4527.
ICPRICPR-2010-TasdizenH #algorithm #estimation #recursion #video
Recursive Dynamically Variable Step Search Motion Estimation Algorithm for High Definition Video (OT, IH), pp. 2354–2357.
ICPRICPR-2010-XiongOL #algorithm #composition #recursion
A Recursive and Model-Constrained Region Splitting Algorithm for Cell Clump Decomposition (WX, SHO, JHL), pp. 4416–4419.
OOPSLAOOPSLA-2010-HerzeelC #control flow #interactive #parallel #recursion
Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator (CH, PC), pp. 377–396.
POPLPOPL-2010-KobayashiTU #higher-order #multi #recursion #transducer #verification
Higher-order multi-parameter tree transducers and recursion schemes for program verification (NK, NT, HU), pp. 495–508.
LDTALDTA-2009-BoylandS10 #generative #parsing #recursion
TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator (JB, DS), pp. 65–74.
IJCARIJCAR-2010-Aderhold #automation #axiom #higher-order #induction #recursion #source code #synthesis
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion (MA), pp. 263–277.
LICSLICS-2010-BroadbentCOS #logic #recursion
Recursion Schemes and Logical Reflection (CHB, AC, CHLO, OS), pp. 120–129.
TAPTAP-2010-Blanchette #algebra #analysis #data type #induction #recursion #relational
Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions (JCB), pp. 117–134.
ITiCSEITiCSE-2009-GunionMS #recursion
Curing recursion aversion (KG, TM, US), pp. 124–128.
ITiCSEITiCSE-2009-Mirolo #analysis #modelling #problem #recursion
Mental models of recursive computations vs. recursive analysis in the problem domain (CM), p. 397.
ITiCSEITiCSE-2009-Rubio-SanchezV #recursion #using
Tail recursion by using function generalization (MRS, JÁVI), p. 394.
ITiCSEITiCSE-2009-Stephenson #recursion #visual notation
Visual examples of recursion (BS), p. 400.
ITiCSEITiCSE-2009-Velazquez-IturbidePU #interactive #recursion #visualisation
Interactive visualization of recursion with SRec (JÁVI, APC, JUF), p. 339.
FoSSaCSFoSSaCS-2009-BirkedalST #morphism #parametricity #polymorphism #recursion #semantics
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (LB, KS, JT), pp. 456–470.
FoSSaCSFoSSaCS-2009-BolligGH #concurrent #recursion #source code
Realizability of Concurrent Recursive Programs (BB, MLG, PH), pp. 410–424.
FoSSaCSFoSSaCS-2009-BroadbentO #higher-order #model checking #on the #recursion
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes (CHB, CHLO), pp. 107–121.
PLDIPLDI-2009-TorreMP #calculus #fixpoint #recursion #source code #using
Analyzing recursive programs using a fixed-point calculus (SLT, PM, GP), pp. 211–222.
CIAACIAA-2009-Sastre-Martinez #network #parsing #performance #recursion #using
Efficient Parsing Using Filtered-Popping Recursive Transition Networks (JMSM), pp. 241–244.
ICALPICALP-v2-2009-KobayashiO #calculus #complexity #model checking #recursion #μ-calculus
Complexity of Model Checking Recursion Schemes for Fragments of the Modal μ-Calculus (NK, CHLO), pp. 223–234.
FMFM-2009-JaffarS #abstraction #recursion
Recursive Abstractions for Parameterized Systems (JJ, AES), pp. 72–88.
ICFPICFP-2009-YakushevHLJ #data type #fixpoint #programming #recursion
Generic programming with fixed points for mutually recursive datatypes (ARY, SH, AL, JJ), pp. 233–244.
POPLPOPL-2009-Kobayashi #higher-order #recursion #source code #verification
Types and higher-order recursion schemes for verification of higher-order programs (NK), pp. 416–428.
CCCC-2009-GaoLXN #concurrent #predict #recursion #source code #thread
Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction (LG, LL, JX, TFN), pp. 78–93.
PPoPPPPoPP-2009-YangHLSS #parallel #recursion
Stack-based parallel recursion on graphics processors (KY, BH, QL, PVS, JS), pp. 299–300.
CSLCSL-2009-Moschovakis #recursion #theorem
Kleene’s Amazing Second Recursion Theorem (YNM), pp. 24–39.
LICSLICS-2009-KobayashiO #calculus #higher-order #model checking #recursion #type system #μ-calculus
A Type System Equivalent to the Modal μ-Calculus Model Checking of Higher-Order Recursion Schemes (NK, CHLO), pp. 179–188.
CBSECBSE-2008-BothZ #automation #component #consistency #parallel #protocol #recursion
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems (AB, WZ), pp. 163–179.
DATEDATE-2008-KoenigSB #algorithm #novel #recursion
A Novel Recursive Algorithm for Bit-Efficient Realization of Arbitrary Length Inverse Modified Cosine Transforms (RK, TS, JB), pp. 604–609.
ITiCSEITiCSE-2008-Rubio-SanchezUP #recursion
A gentle introduction to mutual recursion (MRS, JUF, CPF), pp. 235–239.
ITiCSEITiCSE-2008-Velazquez-IturbidePU #algorithm #animation #named #recursion
SRec: an animation system of recursion for algorithm courses (JÁVI, APC, JUF), pp. 225–229.
PASTEPASTE-2008-MarronMHSK #analysis #array #recursion
Sharing analysis of arrays, collections, and recursive structures (MM, MML, MVH, DS, DK), pp. 43–49.
PEPMPEPM-2008-EdwardsZ #concurrent #recursion
Static elaboration of recursion for concurrent software (SAE, JZ), pp. 71–80.
PEPMPEPM-2008-WarthDM #parsing #recursion
Packrat parsers can support left recursion (AW, JRD, TDM), pp. 103–110.
SASSAS-2008-CominiDV #abstract interpretation #on the #polymorphism #recursion #type system
On Polymorphic Recursion, Type Systems, and Abstract Interpretation (MC, FD, SV), pp. 144–158.
AFLAFL-2008-KuskeL #automation #graph #recursion
Euler paths and ends in automatic and recursive graphs (DK, ML), pp. 245–256.
CIAACIAA-2008-Yannakakis #automaton #probability #recursion
Automata, Probability, and Recursion (MY), pp. 23–32.
DLTDLT-2008-CaludeNSS #recursion #set #string
Universal Recursively Enumerable Sets of Strings (CSC, AN, LS, FS), pp. 170–182.
ICALPICALP-A-2008-EtessamiWY #game studies #probability #recursion
Recursive Stochastic Games with Positive Rewards (KE, DW, MY), pp. 711–723.
ICALPICALP-A-2008-TedderCHP #composition #linear #permutation #recursion
Simpler Linear-Time Modular Decomposition Via Recursive Factorizing Permutations (MT, DGC, MH, CP), pp. 634–645.
ICALPICALP-B-2008-Jurdzinski #recursion
Leftist Grammars Are Non-primitive Recursive (TJ), pp. 51–62.
ICFPICFP-2008-Krauss #data type #problem #recursion
Pattern minimization problems over recursive data types (AK), pp. 267–274.
ICFPICFP-2008-MorihataMT #framework #query #recursion
Write it recursively: a generic framework for optimal path queries (AM, KM, MT), pp. 169–178.
ICPRICPR-2008-HuynhH #estimation #recursion #sequence #video
Recursive structure and motion estimation from noisy uncalibrated video sequences (DQH, AH), pp. 1–5.
PPDPPPDP-2008-BertotK #coq #fixpoint #recursion #semantics
Fixed point semantics and partial recursion in Coq (YB, VK), pp. 89–96.
PADLPADL-2008-FrostHC #ambiguity #combinator #parsing #recursion
Parser Combinators for Ambiguous Left-Recursive Grammars (RAF, RH, PC), pp. 167–181.
POPLPOPL-2008-Chaudhuri #algorithm #recursion #state machine
Subcubic algorithms for recursive state machines (SC), pp. 159–169.
CSLCSL-2008-BonfanteKMO #recursion
Recursion Schemata for NCk (GB, RK, JYM, IO), pp. 49–63.
LICSLICS-2008-ChambartS #complexity #recursion
The Ordinal Recursive Complexity of Lossy Channel Systems (PC, PS), pp. 205–216.
LICSLICS-2008-GacekMN #recursion
Combining Generic Judgments with Recursive Definitions (AG, DM, GN), pp. 33–44.
LICSLICS-2008-HagueMOS #automaton #recursion
Collapsible Pushdown Automata and Recursion Schemes (MH, ASM, CHLO, OS), pp. 452–461.
RTARTA-2008-Toyama #lisp #proving #recursion #term rewriting #termination
Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations (YT), pp. 381–391.
DACDAC-2007-YuYBY #clustering #network #recursion
Program Mapping onto Network Processors by Recursive Bipartitioning and Refining (JY, JY, LNB, JY), pp. 805–810.
ITiCSEITiCSE-2007-Rubio-SanchezH #fibonacci #recursion
Exploring recursion with fibonacci numbers (MRS, IHL), p. 359.
ITiCSEITiCSE-2007-SandersG #modelling #recursion #student
Students’ mental models of recursion at wits (IDS, VCG), p. 317.
PLDIPLDI-2007-GuoVA #analysis #induction #recursion #synthesis
Shape analysis with inductive recursion synthesis (BG, NV, DIA), pp. 256–265.
ICALPICALP-2007-TorreP #complexity #model checking #on the #recursion #state machine
On the Complexity of LtlModel-Checking of Recursive State Machines (SLT, GP), pp. 937–948.
ICFPICFP-2007-Dreyer #recursion #type system
A type system for recursive modules (DD), pp. 289–302.
AGTIVEAGTIVE-2007-VarroHV #graph #pattern matching #recursion
Recursive Graph Pattern Matching (GV, ÁH, DV), pp. 456–470.
GT-VMTGT-VMT-2007-GuerraL #graph transformation #recursion
Adding Recursion to Graph Transformation (EG, JdL).
GT-VMTGT-VMT-2007-MackiePV #interactive #programming #recursion #visual notation
Visual Programming with Recursion Patterns in Interaction Nets (IM, JSP, MV).
HCIHCI-MIE-2007-HanKYJ #mobile #recursion #segmentation
Frame Segmentation Used MLP-Based X-Y Recursive for Mobile Cartoon Content (EH, KK, HY, KJ), pp. 872–881.
ICMLICML-2007-KimP #learning #recursion
A recursive method for discriminative mixture learning (MK, VP), pp. 409–416.
RecSysRecSys-2007-ZhangP #algorithm #collaboration #predict #recommendation #recursion
A recursive prediction algorithm for collaborative filtering recommender systems (JZ, PP), pp. 57–64.
LDTALDTA-J-2005-JohnstoneS #automation #parsing #recursion #reduction
Automatic recursion engineering of reduction incorporated parsers (AJ, ES), pp. 95–110.
CAVCAV-2007-PatinST #named #parallel #recursion #source code #thread #verification
Spade: Verification of Multithreaded Dynamic and Recursive Programs (GP, MS, TT), pp. 254–257.
ICLPICLP-2007-BaseliceBC #on the #recursion #source code
On Finitely Recursive Programs (SB, PAB, GC), pp. 89–103.
TLCATLCA-2007-DavidN #calculus #equation #normalisation #proving #recursion
An Arithmetical Proof of the Strong Normalization for the λ -Calculus with Recursive Equations on Types (RD, KN), pp. 84–101.
ITiCSEITiCSE-2006-SandersGG #modelling #recursion #revisited
Mental models of recursion revisited (IDS, VG, TG), pp. 138–142.
ESOPESOP-2006-Ahmed #logic #quantifier #recursion
Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types (AJA), pp. 69–83.
FoSSaCSFoSSaCS-2006-LodingS #logic #recursion #source code
Propositional Dynamic Logic with Recursive Programs (CL, OS), pp. 292–306.
TACASTACAS-2006-ChakiCKRT #c #concurrent #message passing #recursion #source code #verification
Verifying Concurrent Message-Passing C Programs with Recursive Calls (SC, EMC, NK, TWR, TT), pp. 334–349.
FLOPSFLOPS-2006-BartheFPR #coq #proving #reasoning #recursion
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant (GB, JF, DP, VR), pp. 114–129.
ICALPICALP-v2-2006-EtessamiY #concurrent #game studies #probability #recursion
Recursive Concurrent Stochastic Games (KE, MY), pp. 324–335.
FMFM-2006-Preoteasa #logic #pointer #recursion #using #verification
Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic (VP), pp. 508–523.
ICFPICFP-2006-NakataG #programming #recursion
Recursive modules for programming (KN, JG), pp. 74–86.
ICPRICPR-v1-2006-RyooA #comprehension #process #recursion #semantics
Semantic Understanding of Continued and Recursive Human Activities (MSR, JKA), pp. 379–382.
ICPRICPR-v1-2006-TavakkoliNB #detection #learning #recursion #robust
Robust Recursive Learning for Foreground Region Detection in Videos with Quasi-Stationary Backgrounds (AT, MN, GB), pp. 315–318.
ICPRICPR-v3-2006-BianchiniMS #locality #network #recursion #using
Object Localization Using Input/Output Recursive Neural Networks (MB, MM, LS), pp. 95–98.
ICPRICPR-v3-2006-JainHSVHG #algorithm #clustering #hybrid #recursion #sequence
A Hybrid, Recursive Algorithm for Clustering Expressed Sequence Tags in Chlamydomonas reinhardtii (MJ, HJH, JS, OV, CH, AG), pp. 404–407.
IJCARIJCAR-2006-KoprowskiZ #automation #infinity #order #recursion #term rewriting
Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems (AK, HZ), pp. 332–346.
IJCARIJCAR-2006-Krauss #higher-order #logic #recursion
Partial Recursive Functions in Higher-Order Logic (AK), pp. 589–603.
IJCARIJCAR-2006-UrbanB #combinator #data type #higher-order #recursion
A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL (CU, SB), pp. 498–512.
LICSLICS-2006-Ong #higher-order #model checking #on the #recursion
On Model-Checking Trees Generated by Higher-Order Recursion Schemes (CHLO), pp. 81–90.
LICSLICS-2006-TerauchiA #on the #polymorphism #recursion
On Typability for Rank-2 Intersection Types with Polymorphic Recursion (TT, AA), pp. 111–122.
RTARTA-2006-Koprowski #higher-order #recursion
Certified Higher-Order Recursive Path Ordering (AK), pp. 227–241.
VMCAIVMCAI-2006-BalabanCP #abstraction #ranking #recursion #source code
Ranking Abstraction of Recursive Programs (IB, AC, AP), pp. 267–281.
VMCAIVMCAI-2006-BozzelliTP #communication #recursion #state machine #verification
Verification of Well-Formed Communicating Recursive State Machines (LB, SLT, AP), pp. 412–426.
SIGMODSIGMOD-2005-Ordonez #optimisation #query #recursion #sql
Optimizing recursive queries in SQL (CO), pp. 834–839.
VLDBVLDB-2005-FanYLLR #query #recursion #sql #xpath
Query Translation from XPath to SQL in the Presence of Recursive DTDs (WF, JXY, HL, JL, RR), pp. 337–348.
ITiCSEITiCSE-2005-Rosenthal #multi #recursion #using
Introducing recursion by using multimedia (TR), p. 374.
ESOPESOP-2005-PodelskiSW #recursion #source code #summary
Summaries for While Programs with Recursion (AP, IS, SW), pp. 94–107.
TACASTACAS-2005-AlurCEM #detection #on the fly #reachability #recursion #state machine
On-the-Fly Reachability and Cycle Detection for Recursive State Machines (RA, SC, KE, PM), pp. 61–76.
TACASTACAS-2005-EtessamiY #algorithm #probability #recursion #state machine #verification
Algorithmic Verification of Recursive Probabilistic State Machines (KE, MY), pp. 253–270.
CIAACIAA-2005-SubramanianS #automaton #documentation #finite #recursion #using #xml
Compressing XML Documents Using Recursive Finite State Automata (HS, PS), pp. 282–293.
DLTDLT-2005-Kortelainen #generative #polynomial #recursion
Polynomial Generators of Recursively Enumerable Languages (JK), pp. 320–326.
ICALPICALP-2005-EtessamiY #game studies #markov #probability #process #recursion
Recursive Markov Decision Processes and Recursive Stochastic Games (KE, MY), pp. 891–903.
ICALPICALP-2005-MurawskiOW #algol #equivalence #recursion
Idealized Algol with Ground Recursion, and DPDA Equivalence (ASM, CHLO, IW), pp. 917–929.
SEFMSEFM-2005-GervaisFL #database #generative #recursion #relational #transaction
Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces (FG, MF, RL), pp. 117–126.
ICFPICFP-2005-Dreyer #recursion
Recursive type generativity (DD), pp. 41–53.
MLDMMLDM-2005-FerrandizB #graph #multi #recursion
Multivariate Discretization by Recursive Supervised Bipartition of Graph (SF, MB), pp. 253–264.
SIGIRSIGIR-2005-LiY #analysis #recursion
Analysis of recursive feature elimination methods (FL, YY), pp. 633–634.
POPLPOPL-2005-SumiiP #abstraction #bisimulation #recursion
A bisimulation for type abstraction and recursion (ES, BCP), pp. 63–74.
SACSAC-2005-FarahabadyS #multi #network #recursion
The recursive transpose-connected cycles (RTCC) interconnection network for multiprocessors (MHF, HSA), pp. 734–738.
SACSAC-2005-LiY #classification #predict #recursion #using
Using recursive classification to discover predictive features (FL, YY), pp. 1054–1058.
SACSAC-2005-SerranoO #framework #interactive #protocol #recursion #semantics #specification
A semantic framework for the recursive specification of interaction protocols (JMS, SO), pp. 451–456.
LDTALDTA-2005-JohnstoneS #parsing #recursion #reduction
Recursion Engineering for Reduction Incorporated Parsers (AJ, ES), pp. 143–160.
CSLCSL-2005-SchurmannS #identification #polynomial #recursion
Identifying Polynomial-Time Recursive Functions (CS, JS), pp. 525–540.
LICSLICS-2005-Lago #geometry #higher-order #linear #recursion
The Geometry of Linear Higher-Order Recursion (UDL), pp. 366–375.
LICSLICS-2005-MelliesV #framework #parametricity #polymorphism #recursion
Recursive Polymorphic Types and Parametricity in an Operational Framework (PAM, JV), pp. 82–91.
TLCATLCA-2005-AehligMO #decidability #higher-order #monad #recursion
The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable (KA, JGdM, CHLO), pp. 39–54.
TLCATLCA-2005-BoveC #higher-order #recursion
Recursive Functions with Higher Order Domains (AB, VC), pp. 116–130.
TLCATLCA-2005-CosmoPR #commutative #recursion #type system
Subtyping Recursive Types Modulo Associative Commutative Products (RDC, FP, DR), pp. 179–193.
TLCATLCA-2005-Damiani #polymorphism #recursion
Rank-2 Intersection and Polymorphic Recursion (FD), pp. 146–161.
DACDAC-2004-BaneresCK #paradigm #recursion
A recursive paradigm to solve Boolean relations (DB, JC, MK), pp. 416–421.
PODSPODS-2004-Bonatti #datalog #decidability #on the #query #recursion
On the Decidability of Containment of Recursive Datalog Queries — Preliminary report (PAB), pp. 297–306.
ITiCSEITiCSE-2004-Ginat04a #question #recursion #student
Do senior CS students capitalize on recursion? (DG), pp. 82–86.
FoSSaCSFoSSaCS-2004-GianantonioM #category theory #recursion
Unifying Recursive and Co-recursive Definitions in Sheaf Categories (PDG, MM), pp. 136–150.
ICALPICALP-2004-BusiGZ #calculus #process #recursion #replication
Comparing Recursion, Replication, and Iteration in Process Calculi (NB, MG, GZ), pp. 307–319.
ICFPICFP-2004-GauthierP #canonical #first-order #higher-order #matter #recursion
Numbering matters: first-order canonical forms for second-order recursive types (NG, FP), pp. 150–161.
IFLIFL-2004-Trancon-y-Widemann #evaluation #recursion #strict #virtual machine
V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions (BTyW), pp. 90–107.
ICPRICPR-v1-2004-MicheletGBC #estimation #multi #network #recursion
Local Multiple Orientation Estimation: Isotropic and Recursive Oriented Network (FM, CG, PB, JPDC), pp. 712–715.
ICPRICPR-v2-2004-MilanovaTK #algorithm #composition #image #recursion
Lossless Data Compression for Image Decomposition With Recursive IDP Algorithm (MGM, VT, RK), pp. 823–826.
ICPRICPR-v2-2004-YuWC #3d #algorithm #multi #performance #re-engineering #recursion
A Fast Recursive 3D Model Reconstruction Algorithm for Multimedia Applications (YKY, KhW, MMYC), pp. 241–244.
POPLPOPL-2004-Dreyer #recursion #type system
A type system for well-founded recursion (DD), pp. 293–305.
POPLPOPL-2004-Fiore #morphism #polynomial #recursion
Isomorphisms of generic recursive polynomial types (MPF), pp. 77–88.
LDTALDTA-2004-LohmannRS #attribute grammar #migration #recursion #semantics
Semantics-preserving Migration of Semantic Rules During Left Recursion Removal in Attribute Grammars (WL, GR, MS), pp. 133–148.
CSLCSL-2004-AbelM #fixpoint #recursion
Fixed Points of Type Constructors and Primitive Recursion (AA, RM), pp. 190–204.
CSLCSL-2004-Cordon-FrancoFM #induction #recursion
Provably Total Primitive Recursive Functions: Theories with Induction (ACF, AFM, FFLM), pp. 355–369.
FATESFATES-2004-BruckerW #generative #recursion #testing
Symbolic Test Case Generation for Primitive Recursive Functions (ADB, BW), pp. 16–32.
IJCARIJCAR-2004-ZhangSM #constraints #data type #integer #recursion
Decision Procedures for Recursive Data Structures with Integer Constraints (TZ, HBS, ZM), pp. 152–167.
VMCAIVMCAI-2004-Etessami #analysis #data flow #equation #game studies #graph #recursion #using
Analysis of Recursive Game Graphs Using Data Flow Equations (KE), pp. 282–296.
ESOPESOP-2003-ClementsF #recursion #semantics #stack
A Tail-Recursive Semantics for Stack Inspections (JC, MF), pp. 22–37.
FASEFASE-2003-TenzerS #diagrams #modelling #recursion #uml
Modelling Recursive Calls with UML State Diagrams (JT, PS), pp. 135–149.
TACASTACAS-2003-AlurTM #composition #game studies #graph #recursion
Modular Strategies for Recursive Game Graphs (RA, SLT, PM), pp. 363–378.
SASSAS-2003-ChongR #data type #recursion #static analysis
Static Analysis of Accessed Regions in Recursive Data Structures (SC, RR), pp. 463–482.
ICALPICALP-2003-BusiGZ #calculus #recursion #replication
Replication vs. Recursive Definitions in Channel Based Calculi (NB, MG, GZ), pp. 133–144.
ICALPICALP-2003-TorreNPP #recursion #state machine
Hierarchical and Recursive State Machines with Context-Dependent Properties (SLT, MN, MP, GP), pp. 776–789.
IFLIFL-2003-VasconcelosH #equation #functional #higher-order #polymorphism #recursion #source code
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs (PBV, KH), pp. 86–101.
ICEISICEIS-v1-2003-WongL #multi #performance #recursion #streaming #video
Recursive Patching — An Efficient Technique for Multicast Video Streaming (YWW, JYBL), pp. 306–312.
PPDPPPDP-2003-HirschowitzLW #call-by #compilation #functional #recursion
Compilation of extended recursion in call-by-value functional languages (TH, XL, JBW), pp. 160–171.
POPLPOPL-2003-XiCC #data type #recursion
Guarded recursive datatype constructors (HX, CC, GC), pp. 224–235.
SACSAC-2003-VulloF #approach #predict #recursion
A Recursive Connectionist Approach for Predicting Disulfide Connectivity in Proteins (AV, PF), pp. 67–71.
CAVCAV-2003-AlurTM #composition #game studies #graph #infinity #recursion
Modular Strategies for Infinite Games on Recursive Graphs (RA, SLT, PM), pp. 67–79.
LICSLICS-2003-KuncakR #decidability #recursion #type system
Structural Subtyping of Non-Recursive Types is Decidable (VK, MCR), pp. 96–107.
VLDBVLDB-2002-ParkMC #query #recursion #xml
Structural Function Inlining Technique for Structurally Recursive XML Queries (CWP, JKM, CWC), pp. 83–94.
ITiCSEITiCSE-2002-HabermanA #recursion #student #why
The case of base cases: why are they so difficult to recognize? student difficulties with recursion (BH, HA), pp. 84–88.
ITiCSEITiCSE-2002-LevyL #recursion #syntax
Shared terminology, private syntax: the case of recursive descriptions (DL, TL), pp. 89–93.
TACASTACAS-2002-BasuKPR #model checking #recursion #source code
Resource-Constrained Model Checking of Recursive Programs (SB, KNK, LRP, CRR), pp. 236–250.
PEPMASIA-PEPM-2002-Nemytykh #recursion
A note on elimination of simplest recursions (APN), pp. 138–146.
PEPMPEPM-2002-LiuS #data type #optimisation #recursion #using
Program optimization using indexed and recursive data structures (YAL, SDS), pp. 108–118.
SASSAS-2002-Venet #alias #analysis #array #data type #recursion
Nonuniform Alias Analysis of Recursive Data Structures and Arrays (AV), pp. 36–51.
FLOPSFLOPS-2002-Smaus #polymorphism #recursion
The Head Condition and Polymorphic Recursion (JGS), pp. 259–274.
ICALPICALP-2002-Brattka #random #recursion #set
Random Numbers and an Incomplete Immune Recursive Set (VB), pp. 950–961.
ICALPICALP-2002-Stirling #equivalence #recursion
Deciding DPDA Equivalence Is Primitive Recursive (CS), pp. 821–832.
ICPRICPR-v1-2002-CucchiaraGPSP #clustering #recursion
Building the Topological Tree by Recursive FCM Color Clustering (RC, CG, AP, SS, GP), pp. 759–762.
CADECADE-2002-BorrallerasLR #order #recursion
Recursive Path Orderings Can Be Context-Sensitive (CB, SL, AR), pp. 314–331.
CSLCSL-2002-Kakutani #call-by #recursion
Duality between Call-by-Name Recursion and Call-by-Value Iteration (YK), pp. 506–521.
CSLCSL-2002-Nipkow #bound #hoare #logic #nondeterminism #recursion
Hoare Logics for Recursive Procedures and Unbounded Nondeterminism (TN), pp. 103–119.
LICSLICS-2002-Simpson #modelling #recursion #set
Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory (AKS), pp. 287–298.
RTARTA-2002-Tahhan-Bittar #bound #confluence #recursion #term rewriting
Recursive Derivational Length Bounds for Confluent Term Rewrite Systems (ETB), pp. 281–295.
ICDARICDAR-2001-ShinjoHMSS #analysis #recognition #recursion
A Recursive Analysis for Form Cell Recognition (HS, EH, KM, YS, HS), pp. 694–698.
ITiCSEITiCSE-2001-DannCP #education #recursion #using #visualisation
Using visualization to teach novices recursion (WD, SC, RP), pp. 109–112.
ITiCSEITiCSE-2001-Rasala #recursion
Exploring recursion in Hilbert curves (RR), p. 194.
ITiCSEITiCSE-2001-Sooriamurthi #problem #recursion
Problems in comprehending recursion and suggested solutions (RS), pp. 25–28.
ESOPESOP-2001-Boudol #recursion #revisited #semantics
The Recursive Record Semantics of Objects Revisited (GB), pp. 269–283.
FoSSaCSFoSSaCS-2001-Coppo #equation #recursion #type inference
Type Inference with Recursive Type Equations (MC), pp. 184–198.
FoSSaCSFoSSaCS-2001-HasegawaK #axiom #call-by #recursion
Axioms for Recursion in Call-by-Value (MH, YK), pp. 246–260.
ICFPICFP-2001-Russo #ml #recursion #standard
Recursive Structures for Standard ML (CVR), pp. 50–61.
LOPSTRLOPSTR-2001-Caldwell #recursion #type system
Extracting General Recursive Program Schemes in Nuprl’s Type Theory (JLC), pp. 233–244.
CCCC-2001-RinetzkyS #analysis #interprocedural #recursion #source code
Interprocedural Shape Analysis for Recursive Programs (NR, SS), pp. 133–149.
CAVCAV-2001-AlurEY #analysis #recursion #state machine
Analysis of Recursive State Machines (RA, KE, MY), pp. 207–220.
CAVCAV-2001-EsparzaS #model checking #recursion #source code
A BDD-Based Model Checker for Recursive Programs (JE, SS), pp. 324–336.
CSLCSL-2001-Goubault-Larrecq #recursion
Well-Founded Recursive Relations (JGL), pp. 484–497.
CSLCSL-2001-Schurmann #encoding #higher-order #recursion
Recursion for Higher-Order Encodings (CS), pp. 585–599.
RTARTA-2001-BerarducciB #algebra #higher-order #recursion
General Recursion on Second Order Term Algebras (AB, CB), pp. 15–30.
TLCATLCA-2001-Chroboczek #game studies #recursion #type system
Subtyping Recursive Games (JC), pp. 61–75.
ASEASE-2000-Monroy #abduction #recursion
The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures (RM), pp. 91–100.
DACDAC-2000-CaldwellKM #question #recursion
Can recursive bisection alone produce routable placements? (AEC, ABK, ILM), pp. 477–482.
DATEDATE-2000-KallaZCH #framework #paradigm #recursion #satisfiability #using
A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm (PK, ZZ, MJC, CH), pp. 232–236.
ITiCSEITiCSE-2000-Sooriamurthi #abstraction #functional #recursion #using
Using recursion as a tool to reinforce functional abstraction (poster session) (RS), p. 194.
PEPMPEPM-2000-LiuS #optimisation #question #recursion #what
From Recursion to Iteration: What are the Optimizations? (YAL, SDS), pp. 73–82.
PLDIPLDI-2000-YiAK #memory management #multi #recursion
Transforming loops to recursion for multi-level memory hierarchies (QY, VSA, KK), pp. 169–181.
WLCWLC-2000-Brattka #exponential #modelling #recursion
The Emperor’s New Recursiveness: The Epigraph of the Exponential Function in Two Models of Computability (VB), pp. 63–72.
ICFPICFP-2000-ErkokL #monad #recursion
Recursive monadic bindings (LE, JL), pp. 174–185.
ICFPICFP-2000-GapeyevLP #functional #recursion #type system
Recursive subtyping revealed: functional pearl (VG, MYL, BCP), pp. 221–231.
ICMLICML-2000-Zaanen #learning #recursion #syntax #using
Bootstrapping Syntax and Recursion using Alginment-Based Learning (MvZ), pp. 1063–1070.
ICPRICPR-v1-2000-AlvarezSD #image
Recursivity and PDE’s in Image Processing (, FSJ, RD), pp. 1242–1248.
ICPRICPR-v1-2000-FujikiK #modelling #recursion
Recursive Factorization Method for the Paraperspective Model Based on the Perspective Projection (JF, TK), pp. 1406–1410.
ICPRICPR-v2-2000-ChenC #recursion
Recursive Conversion of Chain Code into Quadtree with Table Lookup (ZC, IPC), pp. 6054–6057.
ICPRICPR-v2-2000-Haindl #recursion
Recursive Square-Root Filters (MH), pp. 6014–6017.
ICPRICPR-v3-2000-GatosM #algorithm #novel #recursion #using
A Novel Recursive Algorithm for Area Location Using Isothetic Polygons (BG, SLM), pp. 3496–3499.
ICPRICPR-v3-2000-Haindl00a #image #modelling #recursion
Recursive Model-Based Image Restoration (MH), pp. 3346–3349.
ICPRICPR-v3-2000-YoungVG #recursion
Recursive Gabor Filtering (ITY, LJvV, MvG), pp. 3342–3345.
PPDPPPDP-2000-Giavitto #data type #framework #recursion
A framework for the recursive definition of data structures (JLG), pp. 45–55.
POPLPOPL-2000-AspertiCM #recursion
(Optimal) Duplication is not Elementary Recursive (AA, PC, SM), pp. 96–107.
ICLPCL-2000-BoultonS #automation #induction #recursion
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions (RJB, KS), pp. 629–643.
ICLPCL-2000-OliboniT #query #recursion #xml
Querying XML Specified WWW Sites: Links and Recursion in XML-GL (BO, LT), pp. 1167–1181.
LICSLICS-2000-Nakano #recursion
A Modality for Recursion (HN), pp. 255–266.
LICSLICS-2000-PalsbergZ #flexibility #performance #recursion
Efficient and Flexible Matching of Recursive Types (JP, TZ), pp. 388–398.
DATEDATE-1999-Marques-SilvaG #equivalence #learning #recursion #satisfiability #using
Combinational Equivalence Checking Using Satisfiability and Recursive Learning (JPMS, TG), pp. 145–149.
ICDARICDAR-1999-BishnuC #recursion #segmentation
Segmentation of Bangla Handwritten Text into Characters by Recursive Contour Following (AB, BBC), pp. 402–405.
ICDARICDAR-1999-ToumitGE #automation #documentation #recursion
A Hierarchical and Recursive Model of Mathematical Expressions for Automatic Reading of Mathematical Documents (JT, SGS, HE), pp. 119–122.
PODSPODS-1999-Cosmadakis #complexity #query #recursion
Inherent Complexity of Recursive Queries (Extended Abstract) (SSC), pp. 148–154.
FoSSaCSFoSSaCS-1999-AcetoI #logic #recursion #testing
Testing Hennessy-Milner Logic with Recursion (LA, AI), pp. 41–55.
ICSMEICSM-1999-LiangH #interprocedural #pointer #recursion #slicing
Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion (DL, MJH), p. 421–?.
PLDIPLDI-1999-CraryHP #question #recursion #what
What is a Recursive Module? (KC, RH, SP), pp. 50–63.
SASSAS-1999-LiuS #recursion
Eliminating Dead Code on Recursive Data (YAL, SDS), pp. 211–231.
ICFPICFP-1999-HughesP #bound #embedded #ml #programming #recursion #towards
Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming (JH, LP), pp. 70–81.
ICFPICFP-1999-SplawskiU #fixpoint #recursion
Type Fixpoints: Iteration vs. Recursion (ZS, PU), pp. 102–113.
IFLIFL-1999-Groningen #functional #lazy evaluation #multi #optimisation #recursion #tuple
Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language (JHGvG), pp. 59–76.
ICMLICML-1999-Pompe #induction #recursion
Noise-Tolerant Recursive Best-First Induction (UP), pp. 315–324.
OOPSLAOOPSLA-1999-OvlingerW #recursion #specification #traversal
A Language for Specifying Recursive Traversals of Object Structures (JO, MW), pp. 70–81.
TOOLSTOOLS-USA-1999-ConcepcionLS #development #multi #recursion #thread #using
Managing the Software Development by Using the Recursive Multi- Threaded (RMT) Tool (AIC, SL, SJS), pp. 344–353.
GPCEGCSE-1999-ForaxR #java #pattern matching #recursion
Recursive Types and Pattern-Matching in Java (RF, GR), pp. 147–164.
LOPSTRLOPSTR-1999-MetayerNR #recursion #testing #verification
Verification by Testing for Recursive Program Schemes (DLM, VAN, OR), pp. 255–272.
LOPSTRLOPSTR-1999-RossOS #recursion #source code
Making Mercury Programs Tail Recursive (PR, DO, ZS), pp. 196–215.
PPDPPPDP-1999-KamareddineM #on the #proving #recursion #termination
On Formalised Proofs of Termination of Recursive Functions (FK, FM), pp. 29–46.
ICSEICSE-1999-ConcepcionLS #concurrent #development #monitoring #multi #predict #re-engineering #recursion #thread
The RMT (Recursive Multi-Threaded) Tool: A Computer Aided Software Engineering Tool for Monitoring and Predicting Software Development Progress (AIC, SL, SJS), pp. 660–663.
CCCC-1999-RubinBR #data type #recursion
Virtual Cache Line: A New Technique to Improve Cache Exploitation for Recursive Data Structures (SR, DB, MR), pp. 259–273.
LICSLICS-1999-ColazzoG #kernel #recursion #type system
Subtyping Recursive Types in Kernel Fun (DC, GG), pp. 137–146.
LICSLICS-1999-JouannaudR #higher-order #recursion
The Higher-Order Recursive Path Ordering (JPJ, AR), pp. 402–411.
LICSLICS-1999-KfouryP #recursion #type inference
Type Inference for Recursive Definitions (AJK, SMPG), pp. 119–128.
RTARTA-1999-Touzet #multi #recursion
A Characterisation of Multiply Recursive Functions with Higman’s Lemma (HT), pp. 163–174.
TLCATLCA-1999-DybjerS #axiom #finite #recursion
A Finite Axiomatization of Inductive-Recursive Definitions (PD, AS), pp. 129–146.
ESOPESOP-1998-Leino #logic #object-oriented #recursion #source code
Recursive Object Types in a Logic of Object-Oriented Programs (KRML), pp. 170–184.
PLDIPLDI-1998-Clinger #performance #recursion
Proper Tail Recursion and Space Efficiency (WDC), pp. 174–185.
FLOPSFLOPS-1998-IwasakiHT #recursion #towards
Towards Manipulation of Mutually Recursive Functions (HI, ZH, MT), pp. 61–79.
ICALPICALP-1998-Gimenez #recursion #type system
Structural Recursive Definitions in Type Theory (EG), pp. 397–408.
ICALPICALP-1998-HengleinR #automaton #complexity #constraints #recursion #type system
Constraint Automata and the Complexity of Recursive Subtype Entailment (FH, JR), pp. 616–627.
ICFPICFP-1998-Haiming #context-free grammar #recursion
Combining CFG and Recursive Functions to Get a New Language (HC), p. 351.
ICPRICPR-1998-Aladjem #classification #ml #network #recursion #reduction
Training of a ML neural network for classification via recursive reduction of the class separation (MA), pp. 450–452.
ICPRICPR-1998-ChenC #network #performance #recursion #representation
Recursive representation and progressive display of binary objects for efficient network browsing (IPC, ZC), pp. 395–399.
ICPRICPR-1998-SchaufAH #modelling #recognition #recursion #using
Model-based shape recognition using recursive mathematical morphology (MLS, SA, RMH), pp. 202–204.
ICPRICPR-1998-VlietYV #recursion
Recursive Gaussian derivative filters (LJvV, ITY, PWV), pp. 509–514.
ICPRICPR-1998-ZhaHH #3d #algorithm #modelling #recursion #using
A recursive fitting-and-splitting algorithm for 3-D object modeling using superquadrics (HZ, TH, TH), pp. 658–662.
TOOLSTOOLS-ASIA-1998-Jarvi #c++ #recursion
Compile Time Recursive Objects in C++ (JJ), pp. 66–77.
POPLPOPL-1998-AspertiM #parallel #recursion #reduction
Parallel β Reduction is not Elementary Recursive (AA, HGM), pp. 303–315.
SACSAC-1998-LiII #algorithm #constraints #estimation #recursion
A recursive time estimation algorithm for program traces under resource constraints (DL, YI, NI), pp. 635–640.
SACSAC-1998-LisleP #modelling #object-oriented #recursion
Recursive, object-oriented structures for molecular modeling (CL, RJP), pp. 50–54.
CCCC-1998-GhiyaHZ #c #detection #parallel #recursion #source code
Detecting Parallelism in C Programs with Recursive Darta Structures (RG, LJH, YZ), pp. 159–173.
CCCC-1998-JohnstoneS #generalised parsing #parsing #recursion
Generalised Recursive Descent parsing and Fellow-Determinism (AJ, ES), pp. 16–30.
CCCC-1998-MizushimaK #recursion
Storage Allocation Strategies for Recursive Attributes Evaluators (KM, TK), pp. 50–64.
LICSLICS-1998-CattaniFW #concurrent #formal method #recursion
A Theory of Recursive Domains with Applications to Concurrency (GLC, MPF, GW), pp. 214–225.
LICSLICS-1998-FioreH #axiom #game studies #process #recursion #representation
Recursive Types in Games: Axiomatics and Process Representation (MPF, KH), pp. 345–356.
LICSLICS-1998-Viswanathan #abstraction #first-order #recursion #type system
Full Abstraction for First-Order Objects with Recursive Types and Subtyping (RV), pp. 380–391.
ASEASE-1997-ArmandoSG #automation #paradigm #recursion #source code #synthesis
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm (AA, AS, IG), pp. 2–9.
PODSPODS-1997-DuschkaG #query #recursion #using
Answering Recursive Queries Using Views (OMD, MRG), pp. 109–116.
ITiCSEITiCSE-1997-Proulx #recursion
Recursion and grammars for CS2 (VKP), pp. 74–76.
PEPMPEPM-1997-DanvyS #equation #named #recursion #source code #λ-calculus
λ-Dropping: Transforming Recursive Equations into Programs with Block Structure (OD, UPS), pp. 90–106.
DLTDLT-1997-RaskovaR #algebra #formal method #recursion
Recursive Constructions in the Theory of P.I. Algebras (TGR, PIR), pp. 559–566.
ICALPICALP-1997-BeigelF #bound #nondeterminism #performance #recursion
Molecular Computing, Bounded Nondeterminism, and Efficient Recursion (RB, BF), pp. 816–826.
ICALPICALP-1997-LathropL #recursion
Recursive Computational Depth (JIL, JHL), pp. 132–142.
ICFPICFP-1997-Ostvold #functional #induction #recursion #source code #synthesis
Inductive Synthesis of Recursive Functional Programs (Poster Abstract) (BMØ), p. 323.
PPDPPLILP-1997-GiavittoVM #compilation #recursion #semantics
Semantics and Compilation of Recursive Sequential Streams in 8½ (JLG, DDV, OM), pp. 207–223.
SACSAC-1997-Sibai97b #distributed #network #recursion
Distributed routing in the recursive diamond network (FNS), pp. 389–392.
CSLCSL-1997-Hofmann #linear #recursion #λ-calculus
A Mixed Modal/Linear λ Calculus with Applications to Bellantoni-Cook Safe Recursion (MH0), pp. 275–294.
CSLCSL-1997-Moschovakis #concurrent #game studies #recursion #λ-calculus
A Game-Theoretic, Concurrent and Fair Model of the Typed λ-calculus, with Full Recursion (YNM), pp. 341–359.
CSLCSL-1997-Voda #normalisation #recursion
A Simple Ordinal Recursive Normalization of Gödel’s T (PJV), pp. 491–509.
ICLPICLP-1997-TorosluK #algorithm #effectiveness #maintenance #recursion
Effective Maintenance of Recursive Views: Improvements to the DRed Algorithm (IHT, FK), pp. 213–225.
ICLPILPS-1997-TanL #analysis #logic programming #precise #recursion #source code
Recursive Modes for Precise Analysis of Logic Programs (JT, IPL), pp. 277–290.
LICSLICS-1997-EscardoS #algebra #induction #recursion
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras (MHE, TS), pp. 376–386.
TLCATLCA-1997-BrandtH #axiom #induction #recursion #similarity #type system
Coinductive Axiomatization of Recursive Type Equality and Subtyping (MB, FH), pp. 63–81.
TLCATLCA-1997-DespeyrouxPS #higher-order #recursion #syntax
Primitive Recursion for Higher-Order Abstract Syntax (JD, FP, CS), pp. 147–163.
TLCATLCA-1997-Hasegawa #category theory #modelling #recursion #λ-calculus
Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic λ Calculi (MH), pp. 196–213.
ITiCSEITiCSE-1996-WuLC #recursion #visualisation
Visualizing recursion and linked lists (CCW, JMCL, GFC), p. 232.
ICALPICALP-1996-MitchellV #effectiveness #modelling #morphism #polymorphism #recursion #type system
Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract) (JCM, RV), pp. 170–181.
ICFPICFP-1996-HuIT #morphism #recursion
Deriving Structural Hylomorphisms From Recursive Definitions (ZH, HI, MT), pp. 73–82.
CIKMCIKM-1996-Pulido #graph #query #recursion #traversal #using
Recursive Query Processing Using Graph Traversal Techniques (EP), pp. 37–44.
ICPRICPR-1996-Aladjem #distance #optimisation #recursion
Two-class pattern discrimination via recursive optimization of Patrick-Fisher distance (MEA), pp. 60–64.
ICPRICPR-1996-AmaraBCWML #estimation #parametricity #recursion #segmentation
A recursive estimation of parameters of straight lines and circles: application to the segmentation of the Rey’s Complex Figure (MA, DdB, PC, PW, CM, YL), pp. 467–471.
ICPRICPR-1996-DistasiNV #image #recursion
A B-tree based recursive technique for image coding (RD, MN, SV), pp. 670–674.
ICPRICPR-1996-MartinezST #linear #performance #recursion
A recursive updating rule for efficient computation of linear moments in sliding-window applications (JM, ES, FT), pp. 295–299.
ICPRICPR-1996-WangFW #recursion
A recursive hierarchical scheme for radical extraction of handwritten Chinese characters (ABW, KCF, WHW), pp. 240–244.
KDDKDD-1996-Lange #approach #empirical #predict #recursion #using
An Empirical Test of the Weighted Effect Approach to Generalized Prediction Using Recursive Neural Nets (RL), pp. 183–188.
PPDPALP-1996-FassbenderM #decidability #recursion #strict
A Strict Border for the Decidability of E-Unification for Recursive Functions (HF, SM), pp. 194–208.
PPDPPLILP-1996-BenaissaLR #modelling #recursion #reduction #using
Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution (ZEAB, PL, KHR), pp. 393–407.
ASPLOSASPLOS-1996-LukM #data type #recursion
Compiler-Based Prefetching for Recursive Data Structures (CKL, TCM), pp. 222–233.
CADECADE-1996-HomeierM #recursion #verification
Mechanical Verification of Mutually Recursive Procedures (PVH, DFM), pp. 201–215.
CADECADE-1996-McAllesterA #recursion
Walther Recursion (DAM, KA), pp. 643–657.
ICLPJICSLP-1996-HamfeltN #declarative #logic programming #recursion
Declarative Logic Programming with Primitive Recursive Relations on Lists (AH, JFN), pp. 230–243.
LICSLICS-1996-AbadiF #recursion
Syntactic Considerations on Recursive Types (MA, MPF), pp. 242–252.
LICSLICS-1996-HirstH #complexity #recursion
More About Recursive Structures: Descriptive Complexity and Zero-One Laws (TH, DH), pp. 334–347.
RTARTA-1996-JouannaudR #higher-order #normalisation #recursion
A Recursive Path Ordering for Higher-Order Terms in η-Long β-Normal Form (JPJ, AR), pp. 108–122.
ICDARICDAR-v2-1995-ChenHP #documentation #image #recursion #segmentation #using #word
Simultaneous word segmentation from document images using recursive morphological closing transform (SSC, RMH, ITP), pp. 761–764.
ICDARICDAR-v2-1995-HaHP #bound #component #recursion #using
Recursive X-Y cut using bounding boxes of connected components (JH, RMH, ITP), pp. 952–955.
ICDARICDAR-v2-1995-Shieh #recursion
Recursive morphological sieve method for searching pictorial point symbols on maps (JSS), pp. 931–935.
TFPIEFPLE-1995-Burton #concept #recursion
Conceptual Structures for Recursion (CTPB), pp. 179–193.
PEPMPEPM-1995-Metayer #data type #proving #recursion #source code
Proving Properties of Programs Defined over Recursive Data Structures (DLM), pp. 88–99.
SASSAS-1995-DussartHM #analysis #polymorphism #polynomial #recursion #type system
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time (DD, FH, CM), pp. 118–135.
STOCSTOC-1995-KaplanT #persistent #recursion
Persistent lists with catenation via recursive slow-down (HK, RET), pp. 93–102.
ICALPICALP-1995-BestK #equation #recursion
Solving Recursive Net Equations (EB, MK), pp. 605–623.
FPCAFPCA-1995-LaunchburyS #recursion
Warm Fusion: Deriving Build-Cata’s from Recursive Definitions (JL, TS), pp. 314–323.
FPCAFPCA-1995-Rittri #polymorphism #recursion
Dimension Inference Under Polymorphic Recursion (MR), pp. 147–159.
KDDKDD-1995-TsumotoT #automation #induction #multi #recursion #statistics #testing
Automated Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods and Multiple Statistical Testing (ST, HT), pp. 312–317.
HPDCHPDC-1995-JacobL #algorithm #performance #recursion #refinement
A Spanning Tree Based Recursive Refinement Algorithm for Fast Task Mapping (JCJ, SYL), pp. 58–65.
RTARTA-1995-ChazarainM #automation #equation #named #recursion #source code #synthesis
LEMMA: A System for Automated Synthesis of Recursive Programs in Equational Theories (JC, SM), pp. 420–425.
RTARTA-1995-Holmes #equation #proving #recursion #theorem
Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2 (MRH), pp. 432–437.
PODSPODS-1994-ChaudhuriV #complexity #datalog #equivalence #on the #recursion #source code
On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs (SC, MYV), pp. 107–116.
PEPMPEPM-1994-FegarasSZ #induction #multi #source code
Improving Programs Which Recurse over Multiple Inductive Structures (LF, TS, TZ), pp. 21–32.
ICALPICALP-1994-CosmoK #algebra #first-order #recursion #term rewriting #λ-calculus
Combining First Order Algebraic Rewriting Systems, Recursion and Extensional λ Calculi (RDC, DK), pp. 462–472.
ICALPICALP-1994-GradelG #complexity
Tailoring Recursing for Complexity (EG, YG), pp. 118–129.
CHICHI-1994-Travers94b #interface #recursion
Recursive interfaces for reactive objects (MT), pp. 379–385.
ICMLICML-1994-AhaLLM #learning #recursion #set
Learning Recursive Relations with Randomly Selected Small Training Sets (DWA, SL, CXL, SM), pp. 12–18.
KDDKDD-1994-TsumotoT #estimation #probability #recursion
Selection of Probabilistic Measure Estimation Method Based on Recursive Iteration of Resampling Methods (ST, HT), pp. 121–132.
SEKESEKE-1994-Pliuskeviciene #hoare #logic #recursion
Specialization of derivations in Hoare-like logic with recursive procedures (AP), pp. 124–130.
ICDARICDAR-1993-Armand #approach #recognition #recursion
Musical score recognition: A hierarchical and recursive approach (JPA), pp. 906–909.
PODSPODS-1993-HirstH #database #recursion
Completeness Results for Recursive Data Bases (TH, DH), pp. 244–252.
SIGMODSIGMOD-1993-BeeriM #algebra #on the #power of #recursion
On the Power of Algebras with Recursion (CB, TM), pp. 377–386.
SASWSA-1993-ChinK #multi #parametricity #recursion
Tupling Functions with Multiple Recursion Parameters (WNC, SCK), pp. 124–140.
ICALPICALP-1993-CosmoK #confluence #recursion #reduction #λ-calculus
A Confluent Reduction for the Extensional Typed λ-Calculus with Pairs, Sums, Recursion and terminal Object (RDC, DK), pp. 645–656.
HCIHCI-SHI-1993-StaesT #query #recursion #visual notation
OOQBE*: An Intuitive Graphical Query Language with Recursion (FS, LT), pp. 603–608.
ICMLICML-1993-Idestam-Almquist #anti #recursion
Generalization under Implication by Recursive Anti-unification (PIA), pp. 151–158.
PPDPPLILP-1993-Nederhof #algorithm #definite clause grammar #parsing #recursion #top-down
A New Top-Down Parsing Algorithm for Left-Recursive DCGs (MJN), pp. 108–122.
POPLPOPL-1993-KozenPS #performance #recursion #type system
Efficient Recursive Subtyping (DK, JP, MIS), pp. 419–428.
POPLPOPL-1993-PierceT #object-oriented #programming #recursion
Object-Oriented Programming without Recursive Types (BCP, DNT), pp. 299–312.
SACSAC-1993-BerqueGE #algorithm #implementation #recursion
Implementing Progress Indicators for Recursive Algorithms (DAB, MKG, JAE), pp. 533–538.
ICLPICLP-1993-HarlandR #constraints #linear #recursion
Constraint Propagation for Linear Recursive Rules (JH, KR), pp. 683–699.
ICLPILPS-1993-BerryE #generative #query #recursion
Generating Goals and Their Use In Recursive Query Processing (VB, ), p. 649.
ICLPILPS-1993-DevienneLR #decidability #horn clause #problem #recursion
The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable (PD, PL, JCR), pp. 250–265.
ICLPILPS-1993-HanL #evaluation #recursion #source code
Evaluation of Regular Nonlinear Recursive Programs (JH, LVSL), p. 648.
RTARTA-1993-Raoult #recursion
Recursively Defined Tree Transductions (JCR), pp. 343–357.
TLCATLCA-1993-Ghelli #recursion
Recursive Types Are not Conservative over F (GG), pp. 146–162.
TLCATLCA-1993-Leiss #recursion
Combining Recursive and Dynamic Types (HL), pp. 258–273.
PODSPODS-1992-ChaudhuriV #datalog #equivalence #on the #recursion #source code
On the Equivalence of Recursive and Nonrecursive Datalog Programs (SC, MYV), pp. 55–66.
SIGMODSIGMOD-1992-LanzelotteVZ #object-oriented #optimisation #query #recursion #using
Optimization of Object-Oriented Recursive Queries using Cost-Controlled Strategies (RSGL, PV, MZ), pp. 256–265.
PLDIPLDI-1992-HendrenHN #abstraction #analysis #data type #imperative #pointer #recursion #source code
Abstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs (LJH, JH, AN), pp. 249–260.
STOCSTOC-1992-BellantoniC #recursion
A New Recursion-Theoretic Characterization of the Polytime Functions (Extended Abstract) (SB, SAC), pp. 283–293.
SASWSA-1992-Jensen #axiom #data type #recursion
Axiomatising Uniform Properties of Recursive Data Structures (TPJ), pp. 144–151.
LISPLFP-1992-Kaes #recursion #type inference #type system
Type Inference in the Presence of Overloading, Subtyping and Recursive Types (SK), pp. 193–204.
LISPLFP-1992-WangH #analysis #recursion
Analysis of Recursive Types in Lisp-Like Languages (EW, PNH), pp. 216–225.
ICMLML-1992-LapointeM #induction #named #performance #recursion #source code
Sub-unification: A Tool for Efficient Induction of Recursive Programs (SL, SM), pp. 273–281.
SEKESEKE-1992-KimH #database #deduction #evaluation #parallel #recursion
Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment (KK, LJH), pp. 63–70.
PPDPALP-1992-Hermann #on the #recursion
On the Relation Between Primitive Recursion, Schematization and Divergence (MH), pp. 115–127.
POPLPOPL-1992-BruceM #higher-order #modelling #morphism #polymorphism #recursion #type system
PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism (KBB, JCM), pp. 316–327.
CADECADE-1992-HeskethBS #reasoning #recursion #source code #synthesis #using
Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs (JH, AB, AS), pp. 310–324.
CSLCSL-1992-AanderaaJ #linear #logic #recursion
Recursive Inseparability in Linear Logic (SA, HRJ), pp. 5–13.
ICLPJICSLP-1992-GrogerP #automation #logic programming #proving #recursion #source code #termination
Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs (GG, LP), pp. 336–350.
LICSLICS-1992-Fribourg #recursion
Mixing List Recursion and Arithmetic (LF), pp. 419–429.
LICSLICS-1992-Seth #axiom #recursion
There is No Recursive Axiomatization for Feasible Functionals of Type~2 (AS), pp. 286–295.
DACDAC-1991-KahngCR #geometry #recursion
High-Performance Clock Routing Based on Recursive Geometric Aatching (ABK, JC, GR), pp. 322–327.
PODSPODS-1991-Ross #composition #logic programming #recursion #source code
Modular Acyclicity and Tail Recursion in Logic Programs (KAR), pp. 92–101.
PODSPODS-1991-SeshadriN #datalog #on the #query #recursion
On the Expected Size of Recursive Datalog Queries (SS, JFN), pp. 268–279.
ESOPESOP-J-1990-Bondorf91 #automation #equation #higher-order #recursion
Automatic Autoprojection of Higher Order Recursive Equations (AB), pp. 3–34.
ICALPICALP-1991-Fernando #recursion #source code
Provably Recursive Programs and Program Extraction (TF), pp. 303–313.
FMVDME-1991-1-BednarczykB #recursion
CPO’s do not form a CPO, and yet Recursion Works (MAB, AMB), pp. 268–278.
LOPSTRLOPSTR-1991-LecoutreDL #abstract interpretation #behaviour #logic programming #recursion #source code
Abstract Interpretation and Recursive Behaviour of Logic Programs (CL, PD, PL), pp. 147–166.
PPDPPLILP-1991-GiannottiH #detection #recursion #specification
A Technique for Recursive Invariance Detection and Selective Program Specification (FG, MVH), pp. 323–334.
POPLPOPL-1991-AmadioC #recursion #type system
Subtyping Recursive Types (RMA, LC), pp. 104–118.
CSLCSL-1991-Fernando #bisimulation #complexity #logic #recursion #set
A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation (TF), pp. 96–110.
CSLCSL-1991-Leiss #algebra #recursion #towards
Towards Kleene Algebra with Recursion (HL), pp. 242–256.
ICLPICLP-1991-Meier #prolog #recursion
Recursion versus Iteration in Prolog (MM), pp. 157–169.
ICLPISLP-1991-LauP #product line #recursion #sorting #synthesis
Synthesis of a Family of Recursive Sorting Procedures (KKL, SDP), pp. 641–658.
LICSLICS-1991-Mendler #recursion
Predicative Type Universes and Primitive Recursion (NPM), pp. 173–184.
PODSPODS-1990-ConsensM #named #recursion #visual notation
GraphLog: a Visual Formalism for Real Life Recursion (MPC, AOM), pp. 404–416.
PODSPODS-1990-Plambeck #optimisation #query #recursion
Semigroup Techniques in Recursive Query Optimization (TEP), pp. 145–153.
ESOPESOP-1990-Bondorf #automation #equation #higher-order #recursion
Automatic Autoprojection of Higher Order Recursive Equations (AB), pp. 70–87.
FMVDME-1990-BednarczykBP #recursion #revisited
Recursive Definitions Revisited (MAB, AMB, WP), pp. 452–476.
LISPLFP-1990-Hanson #performance #recursion #stack
Efficient Stack Allocation for Tail-Recursive Languages (CH), pp. 106–118.
ICGTGG-1990-Bauderon #equation #recursion
General Solution to a System of Recursive Equations (MB), pp. 113–126.
SEKESEKE-1990-Al-SukairiH #compilation #independence #linear #recursion
Query-Independent Compilation of Linear Recursions (AAS, LJH), pp. 177–182.
PPDPALP-1990-Han #graph #query #recursion
Recursive Query Processing in Predicate-Goal Graph (JLH), pp. 247–261.
PPDPALP-1990-Hofbauer #multi #order #proving #recursion #termination
Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths (DH), pp. 347–358.
PPDPPLILP-1990-Bourdoncle #abstract interpretation #alias #interprocedural
Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity (FB), pp. 307–323.
CCCC-1990-Horspool #parsing #recursion
Recursive Ascent-Descent Parsers (RNH), pp. 1–10.
ICLPCLP-1990-LauP90 #first-order #logic #recursion #specification #synthesis #top-down
Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications (KKL, SDP), pp. 667–684.
LICSLICS-1990-AbadiP #morphism #polymorphism #recursion
A Per Model of Polymorphism and Recursive Types (MA, GDP), pp. 355–365.
LICSLICS-1990-Freyd #induction #recursion
Recursive Types Reduced to Inductive Types (PJF), pp. 498–507.
PODSPODS-1989-Bonner #datalog #linear #recursion
Hypothetical Datalog: Negation and Linear Recursion (AJB), pp. 286–300.
PODSPODS-1989-Cosmadakis #first-order #on the #query #recursion
On the First-Order Expressibility of Recursive Queries (SSC), pp. 311–323.
PODSPODS-1989-Saraiya #polynomial #recursion
Linearizing Nonlinear Recursions in Polynomial Time (YPS), pp. 182–189.
SIGMODSIGMOD-1989-Colby #algebra #optimisation #query #recursion
A Recursive Algebra and Query Optimization for Nested Relations (LSC), pp. 273–283.
SIGMODSIGMOD-1989-LarsonD #recursion #traversal
A File Structure Supporting Traversal Recursion (PÅL, VD), pp. 243–252.
VLDBVLDB-1989-Hulin #architecture #distributed #parallel #query #recursion
Parallel Processing of Recursive Queries in Distributed Architectures (GH), pp. 87–96.
VLDBVLDB-1989-Ioannidis #commutative #linear #recursion
Commutativity and its Role in the Processing of Linear Recursion (YEI), pp. 155–163.
STOCSTOC-1989-AfratiC #query #recursion #strict
Expressiveness of Restricted Recursive Queries (Extended Abstract) (FNA, SSC), pp. 113–126.
ICALPICALP-1989-Cardone #bound #quantifier #recursion #relational #semantics
Relational Semantics for Recursive Types and Bounded Quantification (FC), pp. 164–178.
ICALPICALP-1989-Colson #algorithm #recursion
About Primitive Recursive Algorithms (LC), pp. 194–206.
FPCAFPCA-1989-Lester #architecture #compilation #distributed #named #recursion
Stacklessness: Compiling Recursion for a Distributed Architecture (DRL), pp. 116–128.
ICMLML-1989-LambertTL #algorithm #concept #hybrid #learning #recursion
Generalized Recursive Splitting Algorithms for Learning Hybrid Concepts (BLL, DKT, SCYL), pp. 496–498.
SEKESEKE-1989-Czejdo #database #query #recursion #specification #using
Recursive Query Specification Using Nested Databases (BDC), pp. 140–145.
CSLCSL-1989-Ambos-SpiesY #polynomial #recursion #set
Honest Polynomial-Time Degrees of Elementary Recursive Sets (KAS, DY), pp. 1–15.
CSLCSL-1989-Leiss #polymorphism #recursion
Polymorphic Recursion and Semi-Unification (HL), pp. 211–224.
CSLCSL-1989-Wette #complexity #recursion #representation
Sequential Representation of Primitive Recursive Functions, and Complexity Classes (EW), pp. 422–437.
LICSLICS-1989-AbadiPP #modelling #polymorphism #recursion
Faithful Ideal Models for Recursive Polymorphic Types (MA, BCP, GDP), pp. 216–225.
LICSLICS-1989-Cosmadakis #recursion
Computing with Recursive Types (Extended Abstract) (SSC), pp. 24–38.
LICSLICS-1989-Fernando #on the #recursion #set
On Substitutional Recursion Over Non-Well-Founded Sets (RTPF), pp. 273–282.
LICSLICS-1989-Goerdt #complexity #recursion
Characterizing Complexity Classes By Higher Type Primitive Recursive Definitions (AG), pp. 364–374.
ICLPNACLP-1989-HanL #linear #multi #recursion
Processing Multiple Linear Recursions (JH, LL), pp. 816–830.
RTARTA-1989-Puel #order #recursion
Embedding with Patterns and Associated Recursive Path Ordering (LP), pp. 371–387.
DACDAC-1988-HeynsN #recursion
Recursive Channel Router (WH, KVN), pp. 178–182.
PODSPODS-1988-Vardi #bound #decidability #linear #query #recursion
Decidability and Undecidability Results for Boundedness of Linear Recursive Queries (MYV), pp. 341–351.
SIGMODSIGMOD-1988-Naughton #compilation #recursion
Compiling Separable Recursions (JFN), pp. 312–319.
SIGMODSIGMOD-1988-YounHH #classification #database #deduction #recursion
Classification of Recursive Formulas in Deductive Databases (CY, LJH, JH), pp. 320–328.
FMVDME-1988-Haxthausen #algebra #equation #recursion
Mutually Recursive Algebraic Domain Equations (AEH), pp. 299–317.
PPDPALP-1988-Pasztor #logic #recursion #semantics #source code #standard
Nonstandard Logics of Recursive Programs and Denotational Semantics (AP), pp. 255–278.
CADECADE-1988-ChiH #horn clause #query #recursion
Recursive Query Answering with Non-Horn Clauses (SC, LJH), pp. 294–312.
CSLCSL-1988-Goerdt #complexity #recursion
Characterizing Complexity Classes by General Recursive Definitions in Higher Types (AG), pp. 99–117.
LICSLICS-1988-ConstableS #recursion
Computational Foundations of Basic Recursive Function Theory (RLC, SFS), pp. 360–371.
LICSLICS-1988-KfouryTU #on the #polymorphism #power of #recursion
On the Computational Power of Universally Polymorphic Recursion (AJK, JT, PU), pp. 72–81.
PODSPODS-1987-GrahneSS #evaluation #performance #query #recursion #set
Efficient Evaluation for a Subset of Recursive Queries (GG, SS, ESS), pp. 284–293.
PODSPODS-1987-Naughton #recursion
One-Sided Recursions (JFN), pp. 340–348.
PODSPODS-1987-NaughtonS #bound #decidability #recursion
A Decidable Class of Bounded Recursions (JFN, YS), pp. 227–236.
PODSPODS-1987-RamakrishnanBS #horn clause #infinity #recursion #safety
Safety of Recursive Horn Clauses With Infinite Relations (RR, FB, AS), pp. 328–339.
SIGMODSIGMOD-1987-CruzMW #query #recursion #visual notation
A Graphical Query Language Supporting Recursion (IFC, AOM, PTW), pp. 323–330.
SIGMODSIGMOD-1987-HanH #database #query #recursion
Handling Redundancy in the Processing of Recursive Database Queries (JH, LJH), pp. 73–81.
SIGMODSIGMOD-1987-JagadishAN #case study #recursion #transitive
A Study of Transitive Closure As a Recursion Mechanism (HVJ, RA, LN), pp. 331–344.
SIGMODSIGMOD-1987-ZhangY #linear #recursion
A Necessary Condition for a Doubly Recursive Rule to be Equivalent to a Linear Recursive Rule (WZ, CTY), pp. 345–356.
VLDBVLDB-1987-Gardarin #datalog #recursion #source code
Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs (GG), pp. 21–30.
VLDBVLDB-1987-Nejdl #query #recursion
Recursive Strategies for Answering Recursive Queries — The RQA/FQI Strategy (WN), pp. 43–50.
VLDBVLDB-1987-WhangN #approach #logic #normalisation #optimisation #query #recursion
An Extended Disjunctive Normal Form Approach for Optimizing Recursive Logic Queries in Loosely Coupled Environments (KYW, SBN), pp. 275–287.
PLDIPLDI-1987-OBagyG #interpreter #programming language #recursion
A recursive interpreter for the Icon programming language (JO, REG), pp. 138–149.
ICLPICLP-1987-SaccaZ87 #implementation #logic #query #recursion
Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic (DS, CZ), pp. 104–135.
LICSLICS-1987-Mendler #constraints #higher-order #recursion #λ-calculus
Recursive Types and Type Constraints in Second-Order λ Calculus (NPM), pp. 30–36.
DACDAC-1986-ClarkeF #geometry #layout #named #recursion
Escher — a geometrical layout system for recursively defined circuits (EMC, YF), pp. 650–653.
PODSPODS-1986-CosmadakisK #evaluation #parallel #query #recursion
Parallel Evaluation of Recursive Rule Queries (SSC, PCK), pp. 280–293.
PODSPODS-1986-Naughton #database #deduction #independence #recursion
Data Independent Recursion in Deductive Databases (JFN), pp. 267–279.
SIGMODSIGMOD-1986-BancilhonR #query #recursion
An Amateur’s Introduction to Recursive Query Processing Strategies (FB, RR), pp. 16–52.
SIGMODSIGMOD-1986-GardarinM #database #evaluation #logic programming #recursion #source code
Evaluation of Database Recursive Logic Programs as Recurrent Function Series (GG, CdM), pp. 177–186.
SIGMODSIGMOD-1986-RosenthalHDM #approach #recursion #traversal
Traversal Recursion: A Practical Approach to Supporting Recursive Applications (AR, SH, UD, FM), pp. 166–176.
VLDBVLDB-1986-RaschidS #parallel #query #recursion
A Parallel Processing Strategy for Evaluating Recursive Queries (LR, SYWS), pp. 412–419.
ESOPESOP-1986-Bohm #algebra #recursion
Reducing Recursion to Iteration by Algebraic Extension (CB), pp. 111–118.
ICALPICALP-1986-Schoning #bound #recursion
Lower Bounds by Recursion Theoretic Arguments (Extended Abstract) (US), pp. 370–375.
ICGTGG-1986-HotzKM #algebra #equation #network #on the #recursion
On Network Algebras and Recursive Equations (GH, RK, PM), pp. 250–261.
CADECADE-1986-Weispfenning #logic #recursion #source code
Diamond Formulas in the Dynamic Logic of Recursively Enumerable Programs (VW), pp. 564–571.
LICSLICS-1986-Plaisted #nondeterminism #recursion #semantics #source code #using
The Denotional Semantics of Nondeterministic Recursive Programs using Coherent Relations (DAP), pp. 163–174.
ICLPSLP-1986-Naughton86 #recursion
Redundancy in Function-Free Recursive Rules (JFN), pp. 236–245.
VLDBVLDB-1985-HeilerR #functional #interface #recursion #visual notation
G-WHIZ, a Visual Interface for the Functional Model with Recursion (SH, AR), pp. 209–218.
VLDBVLDB-1985-Ioannidis #bound #recursion
A Time Bound on the Materialization of some Recursively Defined Views (YEI), pp. 219–226.
ICALPICALP-1985-Coppo #recursion #theorem
A Completeness Theorem for Recursively Defined Types (MC), pp. 120–129.
FPCAFPCA-1985-BushG85 #execution #parallel #recursion #source code
Transforming Recursive Programs for Execution on Parallel Machines (VJB, JRG), pp. 350–367.
FPCAFPCA-1985-Debray85 #optimisation #prolog #recursion #source code
Optimizing Almost-Tail-Recursive Prolog Programs (SKD), pp. 204–219.
FPCAFPCA-1985-Johnsson85 #equation #recursion #source code
λ Lifting: Treansforming Programs to Recursive Equations (TJ), pp. 190–203.
RTARTA-1985-Rusinowitch #composition #recursion #revisited
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited (MR), pp. 225–240.
ICLPSLP-1985-SawamuraT85 #optimisation #prolog #recursion
Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization (HS, TT), pp. 200–207.
PLDISCC-1984-Jourdan #attribute grammar #evaluation #recursion
Strongly non-circular attribute grammars and their recursive evaluation (MJ), pp. 81–93.
ICALPICALP-1984-BergstraK #algebra #process #recursion
The Algebra of Recursively Defined Processes and the Algebra of Regular Processes (JAB, JWK), pp. 82–94.
ICALPICALP-1984-KirschenhoferP #algorithm #analysis #recursion #traversal
Recursion Depth Analysis for Special Tree Traversal Algorithms (PK, HP), pp. 303–311.
LISPLFP-1984-Saint-James #performance #recursion
Recursion is More Efficient than Iteration (ESJ), pp. 228–234.
POPLPOPL-1984-MacQueenPS #polymorphism #recursion
An Ideal Model for Recursive Polymorphic Types (DBM, GDP, RS), pp. 165–174.
CADECADE-1984-Mulmuley #proving #recursion
The Mechanization of Existence Proofs of Recursive Predicates (KM), pp. 460–475.
ICALPICALP-1983-BakkerBKM #branch #linear #recursion #semantics
Linear Time and Branching Time Semantics for Recursion with Merge (JWdB, JAB, JWK, JJCM), pp. 39–51.
ICALPICALP-1982-Schmeck #algebra #recursion #semantics
Algebraic Semantics of Recursive Flowchart Schemes (HS), pp. 489–501.
POPLPOPL-1982-JonesM #analysis #approach #data flow #data type #flexibility #interprocedural #recursion #source code
A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures (NDJ, SSM), pp. 66–74.
POPLPOPL-1982-MeyerM #axiom #recursion #source code
Axiomatic Definability and Completeness for Recursive Programs (ARM, JCM), pp. 337–346.
CADECADE-1982-HenschenN #database #first-order #infinity #recursion #representation #sequence
Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases (LJH, SAN), pp. 342–359.
ICALPICALP-1981-Pettorossi #order #proving #recursion #term rewriting #termination
Comparing and Putting Together Recursive Path Ordering, Simplification Orderings and Non-Ascending Property for Termination Proofs of Term Rewriting Systems (AP), pp. 432–447.
FMPS-1981-Klaeren #algebra #recursion
Recursive Definitions of Operations in Universal Algebras (HK), pp. 268–281.
CADECADE-1980-Kott #proving #recursion #source code
A System for Proving Equivalences of Recursive Programs (LK), pp. 63–69.
PLDISCC-1979-Pleban #compilation #matrix #recursion
The use of transition matrices in a recursive-descent compiler (UFP), pp. 144–151.
ICALPICALP-1979-Gallier #recursion
Recursion Schemes and Generalized Interpretations (Extended Abstract) (JHG), pp. 256–270.
ICALPICALP-1979-Istrail #fixpoint #monad #recursion #semantics #source code #theorem
A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs (SI), pp. 289–303.
ICALPICALP-1979-Nijholt #recursion
Structure Preserving Transformations on Non-Left-Recursive Grammars (Preliminary Version) (AN), pp. 446–459.
POPLPOPL-1979-Cohen #recursion #source code
Characterization and Elimination of Redundancy in Recursive Programs (NHC), pp. 143–157.
POPLPOPL-1979-Harel #logic #recursion #source code
Recursion in Logics of Programs (DH), pp. 81–92.
POPLPOPL-1979-SavageS #linear #recursion #trade-off
Space-Time Tradeoffs for Linear Recursion (SS, JES), pp. 135–142.
STOCSTOC-1978-RaoultV #equivalence #recursion #semantics #source code
Operational and Semantic Equivalence between Recursive Programs (JCR, JV), pp. 75–85.
ICALPICALP-1978-DammF #on the #power of #recursion #self
On the Power of Self-Application and Higher Type-Recursion (WD, EF), pp. 177–191.
ICALPICALP-1978-Gallier #correctness #nondeterminism #recursion #semantics #source code
Semantics and Correctness of Nondeterministic Flowchart Programs with Recursive Procedures (JHG), pp. 251–267.
ICALPICALP-1978-Mignotte #effectiveness #linear #recursion #sequence
Some Effective Results About Linear Recursive Sequences (MM), pp. 322–329.
ICGTGG-1978-ArbibM #algebra #monad #recursion #semantics
Partially-Additive Monoids, Graph-Growing, and the Algebraic Semantics of Recursive Calls (MAA, EGM), pp. 127–138.
POPLPOPL-1978-Oppen #data type #reasoning #recursion
Reasoning about Recursively Defined Data Structures (DCO), pp. 151–157.
STOCSTOC-1977-HarelPS #axiom #deduction #proving #recursion #source code
A Complete Axiomatic System for Proving Deductions about Recursive Programs (DH, AP, JS), pp. 249–260.
STOCSTOC-1977-ODonnell #combinator #equation #lisp #logic #recursion
Subtree Replacement Systems: A Unifying Theory for Recursive Equations, LISP, Lucid and Combinatory Logic (MO), pp. 295–305.
ICALPICALP-1977-BertoniMT #automaton #probability #problem #recursion
Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata (AB, GM, MT), pp. 87–94.
POPLPOPL-1977-BerryL #recursion #source code
Minimal and Optimal Computations of Recursive Programs (GB, JJL), pp. 215–226.
POPLPOPL-1977-Nijholt #on the #recursion
On the Covering of Left Recursive Grammars (AN), pp. 86–96.
ICALPICALP-1976-Bakker #nondeterminism #recursion #semantics #source code #termination
Semantics and Termination of Nondeterministic Recursive Programs (JWdB), pp. 435–477.
POPLPOPL-1976-BoyerMS #program transformation #recursion
Primitive Recursive Program Transformations (RSB, JSM, RES), pp. 171–174.
STOCSTOC-1975-MannaS #recursion #source code
The Optimal Fixedpoint of Recursive Programs (ZM, AS), pp. 194–206.
SOSPSOSP-1975-BelpaireN #architecture #recursion #virtual machine
Formal Properties of Recursive Virtual Machine Architectures (GB, NTH), pp. 89–96.
STOCSTOC-1974-CourcelleV #axiom #recursion #semantics
Semantics and Axiomatics of a Simple Recursive Language (BC, JV), pp. 13–26.
ICALPICALP-1974-Ausiello #complexity #recursion #semantics #source code
Relations between Semantics and Complexity of Recursive Programs (GA), pp. 129–140.
ICALPICALP-1974-Monien #bound #recursion
Characterizations of Time-Bounded Computations by Limited Primitive Recursion (BM), pp. 280–293.
ICALPICALP-1974-PaciniMT #graph #recursion #representation
Graph Representation and Computation Rules for Typeless Recursive Languages (GP, CM, FT), pp. 157–169.
ICALPICALP-1974-Roever #approach #axiom #parametricity #recursion
Recursion and Parameter Mechanisms: An Axiomatic Approach (WPdR), pp. 34–65.
STOCSTOC-1973-Vuillemin #implementation #programming language #recursion
Correct and Optimal Implementations of Recursion in a Simple Programming Language (JV), pp. 224–239.
POPLPOPL-1973-LewisR #data type #recursion
Recursively Defined Data Types (CHL, BKR), pp. 125–138.
STOCSTOC-1972-Morris #recursion
Recursion Schemes with Lists (JHMJ), pp. 35–43.
STOCSTOC-1972-WalkerS #recursion
Characterization of Flowchartable Recursions (Short Version) (SAW, HRS), pp. 18–34.
ICALPICALP-1972-BakkerR #calculus #recursion
A Calculus for Recursive Program Schemes (JWdB, WPdR), pp. 167–196.
ICALPICALP-1972-HenkeIW #automaton #recursion
Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata (FWvH, KI, KW), pp. 549–561.
ICALPICALP-1972-Wand #approach #recursion
A Concrete Approach to Abstract Recursion Definitions (MW), pp. 331–341.
STOCSTOC-1971-GinsburgG #recursion
Intersection-Closed full AFL and the Recursively Enumerable Languages (SG, JG), pp. 121–131.
STOCSTOC-1971-Machtey #classification #recursion
Classification of Computable Functions by Primitive Recursive Classes (MM), pp. 251–257.
STOCSTOC-1971-Robertson #complexity #recursion
Complexity Classes of Partial Recursive Functions (Preliminary Version) (ELR), pp. 258–266.
STOCSTOC-1971-Wagner #algebra #recursion
An Algebraic Theory of Recursive Definitions and Recursive Languages (EGW), pp. 12–23.
STOCSTOC-1970-LandweberR #complexity #recursion
Recursive Properties of Abstract Complexity Classes (Preliminary Version) (LHL, ELR), pp. 31–36.
STOCSTOC-1970-Strong #equation #recursion
Translating Recursion Equations into Flow Charts (HRSJ), pp. 184–197.
STOCSTOC-1969-Borodin #complexity #recursion
Complexity Classes of Recursive Functions and the Existence of Complexity Gaps (AB), pp. 67–78.
STOCSTOC-1969-MannaP #formal method #recursion
Formalization of Properties of Recursively Defined Functions (ZM, AP), pp. 201–210.

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