79 papers:
DLT-2015-AlmeidaBKK #decidability #on the- On Decidability of Intermediate Levels of Concatenation Hierarchies (JA, JB, OK, MK), pp. 58–70.
CGO-2015-LeissaKH #graph #higher-order #representation- A graph-based higher-order intermediate representation (RL, MK, SH), pp. 202–212.
ICLP-J-2015-GangeNSSS #horn clause #program analysis #program transformation #representation- Horn clauses as an intermediate representation for program analysis and transformation (GG, JAN, PS, HS, PJS), pp. 526–542.
LICS-2015-Munch-Maccagnoni #representation #λ-calculus- Polarised Intermediate Representation of λ Calculus with Sums (GMM, GS), pp. 127–140.
SEKE-2014-ArnatovichTDLS #android #comparison #empirical- Empirical Comparison of Intermediate Representations for Android Applications (YA, HBKT, SD, KL, LKS), pp. 205–210.
DAC-2013-LeGHD #simulation #using #verification- Verifying SystemC using an intermediate verification language and symbolic simulation (HML, DG, VH, RD), p. 6.
SAC-2013-LourencoSM #concurrent- Concurrent typed intermediate language (LML, JCS, FM), pp. 1587–1588.
TACAS-2012-SinzMF #bound #contest #model checking #named #representation- LLBMC: A Bounded Model Checker for LLVM’s Intermediate Representation — (Competition Contribution) (CS, FM, SF), pp. 542–544.
ICPC-2012-KeivanlooRR #clone detection #detection #named #semantics- SeByte: A semantic clone detection tool for intermediate languages (IK, CKR, JR), pp. 247–249.
HILT-2012-Leino12a #proving #using #verification #why- Program proving using intermediate verification languages (IVLs) like boogie and why3 (KRML), pp. 25–26.
- SEKE-2012-CostaCORSZ #generative #modelling #performance #testing
- Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models (LTC, RMC, FMdO, EdMR, MBdS, AFZ), pp. 112–117.
POPL-2012-ZhaoNMZ #formal method #program transformation #representation- Formalizing the LLVM intermediate representation for verified program transformations (JZ, SN, MMKM, SZ), pp. 427–440.
DATE-2011-KelleyWDSRH #generative- Intermediate representations for controllers in chip generators (KK, MW, AD, PS, SR, MH), pp. 1394–1399.
- DATE-2011-SinhaP #representation #state machine #synthesis
- Abstract state machines as an intermediate representation for high-level synthesis (RS, HDP), pp. 1406–1411.
- POPL-2011-RamseyD #composition #dependent type #independence #low level #type system #using
- Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code (NR, JD), pp. 575–586.
RTA-2011-FalkeKS #analysis #c #compilation #source code #termination #using- Termination Analysis of C Programs Using Compiler Intermediate Languages (SF, DK, CS), pp. 41–50.
- TACAS-2010-LeinoR #design #encoding #logic #polymorphism #verification
- A Polymorphic Intermediate Verification Language: Design and Logical Encoding (KRML, PR), pp. 312–327.
WCRE-2010-SelimFZ #clone detection #detection #representation #using- Enhancing Source-Based Clone Detection Using Intermediate Representation (GMKS, KCF, YZ), pp. 227–236.
FLOPS-2010-RemyY- A Church-Style Intermediate Language for MLF (DR, BY), pp. 24–39.
CHI-2010-SambasivanCTN #community- Intermediated technology use in developing communities (NS, EC, KT, BAN), pp. 2583–2592.
KMIS-2010-Kenfack #collaboration #communication #community #information management- JADE Agent is Intermediation System (JAIS) for Knowledge Emergence in Community of Practices — Intelligent Information Systems, Best Practices & Communities of Practice, Cooperation, Communication, Collaboration and Knowledge Sharing (CK), pp. 372–377.
SIGMOD-2009-IvanovaKNG #architecture- An architecture for recycling intermediates in a column-store (MI, MLK, NJN, RG), pp. 309–320.
LATA-2009-Salimov #complexity #infinity #word- Constructing Infinite Words of Intermediate Arithmetical Complexity (PVS), pp. 696–701.
IFM-2009-StockerLG #parallel #process #realtime- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (JS, FL, HG), pp. 88–102.
ITiCSE-2008-TonderNC #development #lightweight #named #programming- Jenuity: a lightweight development environment for intermediate level programming courses (MvT, KN, CC), pp. 58–62.
VMCAI-2008-JonesH- CTL as an Intermediate Language (NDJ, RRH), p. 4.
HCI-MIE-2007-ChevrinC #interactive #mining #multi- Dynamic Association Rules Mining to Improve Intermediation Between User Multi-channel Interactions and Interactive e-Services (VC, OC), pp. 265–274.
AdaEurope-2007-WooCJ #approach #compilation #representation #testing- An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers (GW, HSC, HJ), pp. 100–113.
PPDP-2007-EncinaLRH #functional #lazy evaluation #parallel- Observing intermediate structures in a parallel lazy functional language (AdlE, LL, FR, MHH), pp. 109–120.
- POPL-2007-Chen #compilation #inheritance #multi
- A typed intermediate language for compiling multiple inheritance (JC), pp. 25–30.
PEPM-2006-RepsBL #low level- Intermediate-representation recovery from low-level code (TWR, GB, JL), pp. 100–111.
CC-2006-DiasR #assembly #declarative #using- Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions (JD, NR), pp. 217–231.
- ITiCSE-2005-PaisB #user interface
- Two possible approaches for an intermediate GUI course (RP, JPB), p. 365.
SCAM-2005-Anderson #performance #xml- The Performance Penalty of XML for Program Intermediate Representations (PA), pp. 193–202.
- SCAM-2005-PowerH #classification #java #named #source code
- Declassification: Transforming Java Programs to Remove Intermediate Classes (BP, GWH), pp. 183–192.
- POPL-2005-ChenT #object-oriented
- A simple typed intermediate language for object-oriented languages (JC, DT), pp. 38–49.
ICPR-v2-2004-ManoMT #generative- Factorization-Based Planar Mapping Method for Generating Intermediate Views (HM, AM, NT), pp. 891–894.
- CGO-2004-DingL #compilation #reuse
- A Compiler Scheme for Reusing Intermediate Computation Results (YD, ZL), pp. 279–290.
ICSM-2003-KojuTD #testing #virtual machine- Regression Test Selection based on Intermediate Code for Virtual Machines (TK, ST, ND), p. 420–?.
- DLT-2002-Cassaigne #complexity #infinity #word
- Constructing Infinite Words of Intermediate Complexity (JC), pp. 173–184.
- ICPR-v2-2002-InamotoS #generative #multi
- Intermediate View Generation of Soccer Scene from Multiple Videos (NI, HS), pp. 713–716.
- PPDP-2002-DrapeMS #dot-net #logic programming #using
- Transforming the .NET intermediate language using path logic programming (SD, OdM, GS), pp. 133–144.
- CC-2002-NeculaMRW #analysis #c #named #source code #tool support
- CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (GCN, SM, SPR, WW), pp. 213–228.
- POPL-2001-GordonS #multi #type system
- Typing a multi-language intermediate code (ADG, DS), pp. 248–260.
- DATE-2000-MetraFR #online #testing
- On-Line Testing and Diagnosis of Bus Lines with respect to Intermediate Voltage Values (CM, MF, BR), p. 763.
PLDI-2000-RamseyJ #exception #implementation #multi- A single intermediate language that supports multiple implementations of exceptions (NR, SLPJ), pp. 285–298.
- SAC-2000-ColeZ #coordination #graph #independence #process
- Activity Graphs: A Model-Independent Intermediate Layer for Skeletal Coordination (MC, AZ), pp. 255–261.
ICSE-2000-HayesGM #component #design #program analysis #reuse #tool support- Component design of retargetable program analysis tools that reuse intermediate representations (JH, WGG, SM), pp. 356–365.
FM-v1-1999-BozgaFGGKM #named #representation #validation- IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems (MB, JCF, LG, SG, JPK, LM), pp. 307–327.
ICFP-1999-LeagueST #java #representation- Representing Java Classes in a Typed Intermediate Language (CL, ZS, VT), pp. 183–196.
- HCI-CCAD-1999-LinDF #comprehension #data flow #diagrams #difference
- Strategy differences in data flow diagram comprehension between intermediates and novices (CJL, TCD, YMF), pp. 48–52.
PADL-1999-SiddabathuniDU #deduction #object-oriented- An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language (BS, SWD, SDU), pp. 164–178.
ESEC-FSE-1999-GrimaudLV #named #smarttech- FACADE: A Typed Intermediate Language Dedicated to Smart Cards (GG, JLL, JJV), pp. 476–493.
- WCRE-1998-KoschkeG #analysis #representation #reverse engineering
- An Intermediate Representation for Reverse Engineering Analyses (RK, JFG), pp. 241–250.
- ICFP-1998-ShaoLM #implementation
- Implementing Typed Intermediate Languages (ZS, CL, SM), pp. 313–323.
- POPL-1998-JonesSLT #haskell #ml
- Bridging the Gulf: A Common Intermediate Language for ML and Haskell (SLPJ, MS, JL, APT), pp. 49–61.
- JICSLP-1998-Zhou #algorithm #compilation #constraints
- A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints (NFZ), pp. 70–84.
SAS-1997-JagannathanWW #analysis- Type-Directed Flow Analysis for Typed Intermediate Languages (SJ, SW, AKW), pp. 232–249.
TLCA-1997-BelleM #analysis- Typed Intermediate Languages for Shape Analysis (GB, EM), pp. 11–29.
- PEPM-1995-LiuT
- Caching Intermediate Results for Program Improvement (YAL, TT), pp. 190–201.
- POPL-1995-Reynolds #category theory #using
- Using Functor Categories to Generate Intermediate Code (JCR), pp. 25–36.
- DAC-1994-DahlgrenL #modelling #network
- Modeling of Intermediate Node States in switch-Level Networks (PD, PL), pp. 722–727.
- SEKE-1993-Deng #architecture #execution #specification
- Intermediate Executable Architectural Specifications for KBSA, Part II (YD), p. 586.
- SEKE-1993-Evangelist #architecture #execution #specification
- Intermediate Executable Architectural Specifications for KBSA, Part I (ME), p. 584.
- SEKE-1993-SuhST #information management #named #representation
- INTEK: A Software Tool for an Intermediate Knowledge Representation Formalism (SCS, CFS, MMT), pp. 288–290.
TOOLS-EUROPE-1992-Johnson92a #eiffel- Intermediate Eiffel (PJ), pp. 431–432.
- TOOLS-EUROPE-1992-Reenskaug #design #smalltalk
- Intermediate Smalltalk, Practical Design and Impelementation (TR), p. 437.
- TOOLS-PACIFIC-1992-Watson #programming #smalltalk
- Intermediate Programming in Smalltalk (DW), p. 237.
- WSA-1991-DurandSS #equation #partial evaluation #source code
- Partial Evaluation of an Intermediate Language for Equational Programs (ID, DS, RS), pp. 98–106.
- WSA-1991-HamiltonJ #source code
- Transforming Programs to Eliminate Intermediate Structures (GWH, SBJ), pp. 182–188.
- DAC-1990-DuttHG #behaviour #representation #synthesis
- An Intermediate Representation for Behavioral Synthesis (NDD, TH, DG), pp. 14–19.
FPCA-1989-AriolaA #named #parallel- P-TAC: A Parallel Intermediate Language (ZMA, A), pp. 230–242.
- NACLP-1989-Roy #prolog #unification
- An Intermediate Language to Support Prolog’s Unification (PVR), pp. 1148–1164.
PODS-1988-HullS #database #on the #power of #query- On the Expressive Power of Database Queries with Intermediate Types (RH, JS), pp. 39–51.
- PLDI-1988-Rose #design #type system
- Refined Types: Highly Differentiated Type Systems and Their Use in the Design of Intermediate Langages (JRR), pp. 278–287.
ASPLOS-1987-WallP #experience #using- The Mahler Experience: Using and Intermediate Language as the Machine Description (DWW, MLP), pp. 100–104.
Ada-1983-PerschD- The Intermediate Language Diana (GP, MD), pp. 23–34.
- SCC-1979-Frailey #independence #optimisation
- An intermediate language for source and target independent code optimization (DJF), pp. 188–200.
- SCC-1979-Nelson #comparison #pascal
- A comparison of PASCAL intermediate languages (PAN), pp. 208–213.
