Tag #text-to-text
20 papers:
CIKM-2019-Han #automation #multi- From Unstructured Text to TextCube: Automated Construction and Multidimensional Exploration (JH), pp. 5–6.
SCAM-2016-LossingGI #c #compilation #concept #dependence #graph- Effects Dependence Graph: A Key Data Concept for C Source-to-Source Compilers (NL, PG, FI), pp. 167–176.
TACAS-2015-ChenHTWW #contest #named #program transformation #recursion #source code #verification- CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation — (Competition Contribution) (YFC, CH, MHT, BYW, FW), pp. 426–428.
LOPSTR-2014-ElsawyZA #execution- Exhaustive Execution of CHR Through Source-to-Source Transformation (AE, AZ, SA), pp. 59–73.
- LOPSTR-2013-FakhrySA #implementation #semantics #towards
- Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics (GF, NS, SA), pp. 145–163.
GPCE-2012-AxelsenK #java #performance #semantics- Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code (EWA, SK), pp. 50–59.
ICLP-2012-AbdennadherS #visualisation- Visualization of CHR through Source-to-Source Transformation (SA, NS), pp. 109–118.
CHI-2009-FindlaterBT #interactive- Comparing semiliterate and illiterate users’ ability to transition from audio+text to text-only interaction (LF, RB, KT), pp. 1751–1760.
LCTES-2007-AliasBD #array #implementation- Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose (CA, FB, AD), pp. 73–82.
- LCTES-2007-BennettMFT #automation #embedded #set
- Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems (RVB, ACM, BF, NPT), pp. 83–92.
ICDAR-2005-TangK #comprehension #education #video- Educational Video Understanding: Mapping Handwritten Text to Textbook Chapters (LT, JRK), pp. 919–923.
- SCAM-2005-BussEYW #analysis #pointer
- Pointer Analysis for Source-to-Source Transformations (MB, SAE, BY, DGW), pp. 139–150.
CC-2005-OlmosV #data flow- Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules (KO, EV), pp. 204–220.
- SCAM-2001-RebaudengoRVT #compilation #generative
- A Source-to-Source Compiler for Generating Dependable Software (MR, MSR, MV, MT), pp. 35–44.
ISSTA-1998-MolloyAHCV #automation #generative #testing- Automatic Interoperability Test Generation for Source-to-Source Translators (MM, KA, JH, DC, PDV), pp. 93–101.
- JICSLP-1998-DeviennePTV #prolog
- Source-to-source Prolog Program Compression (PD, AP, PT, SV), pp. 205–219.
- JICSLP-1996-Neumerkel #interprocedural
- Interprocedural Register Allocation for the WAM based on Source to Source Transformations (UN), pp. 127–141.
- LOPSTR-1995-Wunderwald #evaluation
- Memoing Evaluation by Source-to-Source Transformation (JEW), pp. 17–32.
VLDB-1987-HowellsFG #query #relational- A Source-to-Source Meta-Translation System for Relational Query Languages (DIH, NJF, WAG), pp. 227–234.
POPL-1976-Loveman - Program Improvement by Source to Source Transformation (DBL), pp. 140–152.
