BibSLEIGH — recurs stem

Used together with:

program (97)
type (80)
order (49)
function (47)
structur (46)

Stem recurs$ (all stems)

616 papers:

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