4306 papers:
ECSA-2015-AlvaresRS #architecture #component #configuration management- High-Level Language Support for Reconfiguration Control in Component-Based Architectures (FA, ÉR, LS), pp. 3–19.
ECSA-2015-RademacherPS #design #domain-specific language #framework #independence #web #web service- Design of a Domain-Specific Language Based on a Technology-Independent Web Service Framework (FR, MP, SS), pp. 357–371.
CASE-2015-TheorinB #implementation #symmetry- Implementation of an asymmetric relay autotuner in a sequential control language (AT, JB), pp. 874–879.
CASE-2015-WareS #synthesis #using- Synthesis time optimal accepting traces using language projection and pruning (SW, RS), pp. 1363–1368.
DATE-2015-DeAntoniDTCC #concurrent #domain-specific language #metalanguage #towards- Towards a meta-language for the concurrency concern in DSLs (JD, PID, CT, JC, BC), pp. 313–316.
DATE-2015-Ibing #architecture #execution #symbolic computation- Architecture description language based retargetable symbolic execution (AI), pp. 241–246.
DATE-2015-YanCC #consistency #natural language #specification- Formal consistency checking over specifications in natural languages (RY, CHC, YC), pp. 1677–1682.
DATE-2015-YazdanbakhshMTP #approximate #design #hardware #named- Axilog: language support for approximate hardware design (AY, DM, BT, JP, AN, SS, KR, NR, RJ, AR, HE, KB), pp. 812–817.
HT-2015-GavilanesGPTKG #twitter- Language, Twitter and Academic Conferences (ROGG, DG, DPS, CT, AK, EG), pp. 159–163.
HT-2015-KershawRS #network #online #social- Language Innovation and Change in On-line Social Networks (DK, MR, PS), pp. 311–314.
PODS-2015-Green #declarative #enterprise #named- LogiQL: A Declarative Language for Enterprise Applications (TJG), pp. 59–64.
SIGMOD-2015-AlexandrovKKSTK #parallel- Implicit Parallelism through Deep Language Embedding (AA, AK, AK, FS, LT, OK, TH, VM), pp. 47–61.
SIGMOD-2015-AmsterdamerKM #interface #mining #named #natural language- NL2CM: A Natural Language Interface to Crowd Mining (YA, AK, TM), pp. 1433–1438.
VLDB-2015-AmsterdamerKM #interface #natural language #query- A Natural Language Interface for Querying General and Individual Knowledge (YA, AK, TM), pp. 1430–1441.
ITiCSE-2015-DiethelmG #education- Questions on Spoken Language and Terminology for Teaching Computer Science (ID, JG), pp. 21–26.
ITiCSE-2015-PalI #programming- Classroom Versus Screencast for Native Language Learners: Effect of Medium of Instruction on Knowledge of Programming (YP, SI), pp. 290–295.
ESOP-2015-BattyMNPS #concurrent #problem #programming language #semantics- The Problem of Programming Language Concurrency Semantics (MB, KM, KN, JPP, PS), pp. 283–307.
ESOP-2015-CoxCR #abstraction #multi #source code- Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages (AC, BYEC, XR), pp. 483–509.
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.
TACAS-2015-KantLMPBD #independence #model checking #named- LTSmin: High-Performance Language-Independent Model Checking (GK, AL, JM, JvdP, SB, TvD), pp. 692–707.
ICSME-2015-AbidDCM #automation #c++ #generative #natural language #summary #using- Using stereotypes in the automatic generation of natural language summaries for C++ methods (NJA, ND, MLC, JIM), pp. 561–565.
ICSME-2015-PawelkaJ #case study #identifier #natural language- Is this code written in English? A study of the natural language of comments and identifiers in practice (TP, EJ), pp. 401–410.
MSR-2015-HellendoornDB #modelling- Will They Like This? Evaluating Code Contributions with Language Models (VH, PTD, AB), pp. 157–167.
SANER-2015-JiangSPLZ #comprehension #developer #interactive #natural language #query- Understanding developers’ natural language queries with interactive clarification (SJ, LS, XP, ZL, WZ), pp. 13–22.
SANER-2015-PalixFL #algorithm #difference- Improving pattern tracking with a language-aware tree differencing algorithm (NP, JRF, JL), pp. 43–52.
SANER-2015-SharmaTL #automation #identification #named #twitter- NIRMAL: Automatic identification of software relevant tweets leveraging language model (AS, YT, DL), pp. 449–458.
PEPM-2015-KootH #analysis #exception #functional #higher-order #semantics #strict #type system- Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics (RK, JH), pp. 127–138.
PEPM-2015-VerstoepH #analysis #functional #higher-order #strict- Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement (HV, JH), pp. 139–142.
SAS-2015-AldousM #low level #static analysis- Static Analysis of Non-interference in Expressive Low-Level Languages (PA, MM), pp. 1–17.
CIAA-J-2013-JirasekJ15 #bound #on the #regular expression- On the boundary of regular languages (JJ, GJ), pp. 42–57.
CIAA-2015-CaronMM #on the- On the Hierarchy of Block Deterministic Languages (PC, LM, CM), pp. 63–75.
CIAA-2015-Madejski #linear #permutation #problem- The Membership Problem for Linear and Regular Permutation Languages (GM), pp. 211–223.
DLT-2015-BellRS #formal method- Factorization in Formal Languages (PCB, DR, JS), pp. 97–107.
DLT-2015-Bojanczyk #monad- Recognisable Languages over Monads (MB), pp. 1–13.
DLT-2015-EremondiIM #on the- On the Density of Context-Free and Counter Languages (JE, OHI, IM), pp. 228–239.
DLT-2015-HanKS #fault- Generalizations of Code Languages with Marginal Errors (YSH, SKK, KS), pp. 264–275.
DLT-2015-JirasekJ #bound- The Boundary of Prefix-Free Languages (JJ, GJ), pp. 300–312.
ICALP-v1-2015-FullaZ #constraints #infinity- A Galois Connection for Valued Constraint Languages of Infinite Size (PF, SZ), pp. 517–528.
ICALP-v1-2015-GoldreichGR #branch #context-free grammar #proving #proximity #source code- Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs — (Extended Abstract) (OG, TG, RDR), pp. 666–677.
ICALP-v2-2015-BenesBLS #automaton #parametricity- Language Emptiness of Continuous-Time Parametric Timed Automata (NB, PB, KGL, JS), pp. 69–81.
ICALP-v2-2015-CiobanuDE #equation #set- Solution Sets for Equations over Free Groups are EDT0L Languages (LC, VD, ME), pp. 134–145.
ICALP-v2-2015-SwernofskyW #complexity #on the- On the Complexity of Intersecting Regular, Context-Free, and Tree Languages (JS, MW), pp. 414–426.
LATA-2015-NayakK #on the #word- On the Language of Primitive Partial Words (ACN, KK), pp. 436–445.
FM-2015-AhrendtCPS #runtime #specification #verification- A Specification Language for Static and Runtime Verification of Data and Control Properties (WA, JMC, GJP, GS), pp. 108–125.
FM-2015-SafilianMD #feature model #formal method #modelling #semantics- The Semantics of Cardinality-Based Feature Models via Formal Languages (AS, TSEM, ZD), pp. 453–469.
SEFM-2015-CarvalhoBCCMS #csp #natural language #requirements #testing- NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (GC, FAB, AC, AC, AM, AS), pp. 283–290.
SEFM-2015-NicolaMPST #interactive #interpreter #modelling #twitter- Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter (RDN, AM, MP, AS, FT), pp. 327–343.
SFM-2015-BrandauerCCFJPT #parallel- Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore (SB, EC, DC, KFR, EBJ, KIP, SLTT, TW, AMY), pp. 1–56.
ICFP-2015-BaumanBHKPST #functional #jit #named- Pycket: a tracing JIT for a functional language (SB, CFB, RH, VK, TP, JGS, STH), pp. 22–34.
ICFP-2015-Chlipala #compilation #functional #optimisation- An optimizing compiler for a purely functional web-application language (AC), pp. 10–21.
ICFP-2015-DannerLR #functional #induction #semantics- Denotational cost semantics for functional languages with inductive types (ND, DRL, R), pp. 140–151.
ICFP-2015-NeisHKMDV #compilation #higher-order #imperative #named- Pilsner: a compositionally verified compiler for a higher-order imperative language (GN, CKH, JOK, CM, DD, VV), pp. 166–178.
ICFP-2015-RendelTO #automation #pattern matching #problem- Automatic refunctionalization to a language with copattern matching: with applications to the expression problem (TR, JT, KO), pp. 269–279.
GaM-2015-BakFPR #graph #interpreter #programming language- A Reference Interpreter for the Graph Programming Language GP 2 (CB, GF, DP, CR), pp. 48–64.
ICGT-2015-Oliveira #graph transformation #reachability #slicing- Reachability in Graph Transformation Systems and Slice Languages (MdOO), pp. 121–137.
CHI-2015-CaiGGM #education #named- Wait-Learning: Leveraging Wait Time for Second Language Education (CJC, PJG, JRG, RCM), pp. 3701–3710.
CHI-2015-FowlerPCBOZ #modelling #performance #personalisation #type system- Effects of Language Modeling and its Personalization on Touchscreen Typing Performance (AF, KP, CC, XB, TO, SZ), pp. 649–658.
CHI-2015-Hale #editing #wiki- Cross-language Wikipedia Editing of Okinawa, Japan (SAH), pp. 183–192.
CHI-2015-PlimmerHZKYJBD #interactive #tool support- New Interaction Tools for Preserving an Old Language (BP, LH, TZ, KK, AWY, GJ, RB, EYLD), pp. 3493–3502.
CHI-2015-PolitisBP #multimodal- To Beep or Not to Beep?: Comparing Abstract versus Language-Based Multimodal Driver Displays (IP, SAB, FEP), pp. 3971–3980.
CSCW-2015-BraggRL #taxonomy- A User-Powered American Sign Language Dictionary (DB, KR, REL), pp. 1837–1848.
CSCW-2015-MatthewsMCMHB #community #what- They Said What?: Exploring the Relationship Between Language Use and Member Satisfaction in Communities (TM, JUM, JC, MM, EMH, HB), pp. 819–825.
DUXU-UI-2015-MorrisonKM #design #smarttech- Designing a Vibrotactile Language for a Wearable Vest (AM, HK, CMY), pp. 655–666.
HCI-IT-2015-WalkerSJ #interactive #performance- Interactive Sonification Markup Language (ISML) for Efficient Motion-Sound Mappings (JWW, MTS, MJ), pp. 385–394.
HIMI-IKD-2015-EldesoukyMSD #interface #knowledge base #natural language- Seed, a Natural Language Interface to Knowledge Bases (BE, HM, SS, AD), pp. 280–290.
LCT-2015-FlanaganYSH #fault #predict- Prediction of Learner Native Language by Writing Error Pattern (BF, CY, TS, SH), pp. 87–96.
SCSM-2015-KinclNPS #analysis #independence #sentiment- Language-Independent Sentiment Analysis with Surrounding Context Extension (TK, MN, JP, PS), pp. 158–168.
AdaEurope-2015-PavleticVRKK #debugging #framework- Extensible Debugger Framework for Extensible Languages (DP, MV, SAR, BK, TK), pp. 33–49.
CAiSE-2015-Francescomarino #using #workflow- Completing Workflow Traces Using Action Languages (CDF, CG, ST, IVS), pp. 314–330.
ICEIS-v1-2015-BrodskyL #knowledge base #modelling #reuse #towards- Decision Guidance Analytics Language (DGAL) — Toward Reusable Knowledge Base Centric Modeling (AB, JL), pp. 67–78.
ICEIS-v1-2015-MeisenKMRJ #named #online #query- TIDAQL — A Query Language Enabling on-Line Analytical Processing of Time Interval Data (PM, DK, TM, MR, SJ), pp. 54–66.
ICEIS-v1-2015-PfaffK #automation #benchmark #classification #documentation #identification #metric #natural language- Natural Language Processing Techniques for Document Classification in IT Benchmarking — Automated Identification of Domain Specific Terms (MP, HK), pp. 360–366.
ICEIS-v2-2015-BraunE #enterprise #framework #modelling- A Generic Framework for Modifying and Extending Enterprise Modeling Languages (RB, WE), pp. 277–286.
ICEIS-v2-2015-MoraisS #interface #modelling #quality- Assessing the Quality of User-interface Modeling Languages (FM, ARdS), pp. 311–319.
ECIR-2015-EsuliF #categorisation- Distributional Correspondence Indexing for Cross-Language Text Categorization (AE, AMF), pp. 104–109.
ECIR-2015-ValcarcePB #case study #modelling #recommendation- A Study of Smoothing Methods for Relevance-Based Language Modelling of Recommender Systems (DV, JP, AB), pp. 346–351.
ICML-2015-AllamanisTGW #modelling #natural language #source code- Bimodal Modelling of Source Code and Natural Language (MA, DT, ADG, YW), pp. 2123–2132.
ICML-2015-JerniteRS #approach #learning #markov #modelling #performance #random- A Fast Variational Approach for Learning Markov Random Field Language Models (YJ, AMR, DS), pp. 2209–2217.
RecSys-2015-Valcarce #modelling #recommendation #statistics- Exploring Statistical Language Models for Recommender Systems (DV), pp. 375–378.
RecSys-2015-ValcarcePB #case study #modelling #recommendation- A Study of Priors for Relevance-Based Language Modelling of Recommender Systems (DV, JP, AB), pp. 237–240.
SEKE-2015-AdjoyanS #architecture #product line- An Architecture Description Language for Dynamic Service-Oriented Product Lines (SA, AS), pp. 231–236.
SEKE-2015-AdornesGLF #architecture #distributed #domain-specific language #memory management #pipes and filters- A Unified MapReduce Domain-Specific Language for Distributed and Shared Memory Architectures (DA, DG, CL, LGF), pp. 619–624.
SEKE-2015-BonifacioCFPK #domain-specific language #named #rest #specification- NeoIDL: A Domain-Specific Language for Specifying REST Services (RB, TMC, RF, AP, UK), pp. 613–618.
SEKE-2015-WuCZX15a #case study #comparative #object-oriented #programming language- A metrics-based comparative study on object-oriented programming languages (DW, LC, YZ, BX), pp. 272–277.
SIGIR-2015-GangulyRMJ #information retrieval #word- Word Embedding based Generalized Language Model for Information Retrieval (DG, DR, MM, GJFJ), pp. 795–798.
SIGIR-2015-SchamoniR #information retrieval #orthogonal #scalability- Combining Orthogonal Information in Large-Scale Cross-Language Information Retrieval (SS, SR), pp. 943–946.
ECMFA-J-2012-LaraGC15 #metamodelling #modelling- Model-driven engineering with domain-specific meta-modelling languages (JdL, EG, JSC), pp. 429–459.
ECMFA-J-2012-PfeifferW15 #design #development #multi- The design space of multi-language development environments (RHP, AW), pp. 383–411.
ICMT-J-2012-AtkinsonGT15 #model transformation #modelling #multi- Enhancing classic transformation languages to support multi-level modeling (CA, RG, CVT), pp. 645–666.
ICMT-J-2012-KuselSWKRS15 #model transformation #question #reuse- Reuse in model-to-model transformation languages: are we there yet? (AK, JS, MW, GK, WR, WS), pp. 537–572.
MoDELS-2015-FoucheNGE #diagrams #generative #modelling #standard #tool support- Systematic generation of standard compliant tool support of diagrammatic modeling languages (AF, FN, SG, ME), pp. 348–357.
MoDELS-2015-GregoricsGKDD #algorithm #diagrams #layout #visualisation- Textual diagram layout language and visualization algorithm (BG, TG, GFK, AD, GD), pp. 196–205.
MoDELS-2015-GreifenbergLRR #domain-specific language- Engineering tagging languages for DSLs (TG, ML, SR, BR), pp. 34–43.
MoDELS-2015-HolldoblerRW #model transformation- Systematically deriving domain-specific transformation languages (KH, BR, IW), pp. 136–145.
MoDELS-2015-LarsenDCM #behaviour #coordination- A Behavioral Coordination Operator Language (BCOoL) (MEVL, JD, BC, FM), pp. 186–195.
MoDELS-2015-PescadorGGCL #development #domain-specific language #modelling- Pattern-based development of Domain-Specific Modelling Languages (AP, AG, EG, JSC, JdL), pp. 166–175.
ECOOP-2015-ShinnarSH #calculus #compilation- A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (AS, JS, MH), pp. 542–567.
ECOOP-2015-VekrisCJ #trust #type system #verification- Trust, but Verify: Two-Phase Typing for Dynamic Languages (PV, BC, RJ), pp. 52–75.
Onward-2015-LiPPK #semantics- Slimming languages by reducing sugar: a case for semantics-altering transformations (JL, JP, JGP, SK), pp. 90–106.
Onward-2015-PolitoDBF #framework- A bootstrapping infrastructure to build and extend Pharo-like languages (GP, SD, NB, LF), pp. 183–196.
OOPSLA-2015-FelgentreffMBH #constraints #programming language #theorem proving- Checks and balances: constraint solving without surprises in object-constraint programming languages (TF, TDM, AB, RH), pp. 767–782.
OOPSLA-2015-JantzRKD #memory management- Cross-layer memory management for managed language applications (MRJ, FJR, PAK, KAD), pp. 488–504.
OOPSLA-2015-VoelterDKE #c #case study #embedded #using- Using C language extensions for developing embedded software: a case study (MV, AvD, BK, SE), pp. 655–674.
GPCE-2015-AdamS #domain-specific language #tool support #towards- Towards tool support for spreadsheet-based domain-specific languages (SA, UPS), pp. 95–98.
GPCE-2015-FlorenceFFTKWNY #named #programming language- POP-PL: a patient-oriented prescription programming language (SPF, BF, MF, WHT, TK, DPW, CN, PRY, RBF, SMB), pp. 131–140.
GPCE-2015-RingertRW #behaviour #code generation #tool support- Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration) (JOR, BR, AW), pp. 113–116.
GPCE-2015-ScherrC #domain-specific language #embedded #staged- Almost first-class language embedding: taming staged embedded DSLs (MS, SC), pp. 21–30.
PPDP-2015-GiantsiosPS #functional #testing- Concolic testing for functional languages (AG, NSP, KFS), pp. 137–148.
PPDP-2015-MeiklejohnR #coordination #distributed #named #programming- Lasp: a language for distributed, coordination-free programming (CM, PVR), pp. 184–195.
PPDP-2015-Schmidt-Schauss #call-by #functional #semantics- Improvements in a functional core language with call-by-need operational semantics (MSS, DS), pp. 220–231.
POPL-2015-AlurDR #declarative #named #string- DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations (RA, LD, MR), pp. 125–137.
POPL-2015-BastaniAA #context-free grammar #reachability #specification #using- Specification Inference Using Context-Free Language Reachability (OB, SA, AA), pp. 553–566.
POPL-2015-Buneman #database #programming #question- Databases and Programming: Two Subjects Divided by a Common Language? (PB), p. 487.
POPL-2015-Pous #algebra #algorithm #equivalence #testing- Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests (DP), pp. 357–368.
POPL-2015-Staton #algebra #programming language #quantum- Algebraic Effects, Linearity, and Quantum Programming Languages (SS), pp. 395–406.
SAC-2015-CordobaL #design #effectiveness #java #modelling- A modelling language for the effective design of Java annotations (IC, JdL), pp. 2087–2092.
SAC-2015-MarquesRA #named #representation #traceability- TRL: a traceability representation language (AM, FR, WdLA), pp. 1358–1363.
SAC-2015-MarquesRPSM #coordination #named #network- NVL: a coordination language for unmanned vehicle networks (ERBM, MR, JP, JBS, FM), pp. 331–334.
SAC-2015-RuyFBG #ontology #pattern matching #process #standard #towards- Towards an ontology pattern language for harmonizing software process related ISO standards (FBR, RdAF, MPB, GG), pp. 388–395.
SAC-2015-SousaS #domain-specific language #simulation #tool support- A domain specific language for spatial simulation scenarios (DSL3S): introduction and tool support (LdS, ARdS), pp. 1854–1856.
SAC-2015-TakanoI #correctness #functional #lazy evaluation #semantics- Thunk recycling for lazy functional languages: operational semantics and correctness (YT, HI), pp. 2079–2086.
SAC-2015-VorobyovKS #monitoring #specification- A concise specification language for trace monitoring (KV, PK, PS), pp. 1637–1640.
ESEC-FSE-2015-0002SGBZ #automation #impact analysis #named #natural language #requirements- NARCIA: an automated tool for change impact analysis in natural language requirements (CA, MS, AG, LCB, FZ), pp. 962–965.
ESEC-FSE-2015-CasalnuovoVDF #developer #experience #git #social- Developer onboarding in GitHub: the role of prior social links and language experience (CC, BV, PTD, VF), pp. 817–828.
ESEC-FSE-2015-Jain #automation #generative #programming language- Automated generation of programming language quizzes (SJ), pp. 1051–1053.
ESEC-FSE-2015-Konopka #dependence #eye tracking #identification #navigation- Combining eye tracking with navigation paths for identification of cross-language code dependencies (MK), pp. 1057–1059.
ESEC-FSE-2015-NguyenKN #slicing #web- Cross-language program slicing for dynamic web applications (HVN, CK, TNN), pp. 369–380.
ESEC-FSE-2015-Olajubu #domain-specific language #modelling- A textual domain specific language for requirement modelling (OO), pp. 1060–1062.
ESEC-FSE-2015-ParkEZNH #approximate #composition #named #programming- FlexJava: language support for safe and modular approximate programming (JP, HE, XZ, MN, WH), pp. 745–757.
ESEC-FSE-2015-SaraivaBZ #developer #how #n-gram- Products, developers, and milestones: how should I build my N-Gram language model (JS, CB, TZ), pp. 998–1001.
ICSE-v1-2015-NanzF #case study #comparative #programming language- A Comparative Study of Programming Languages in Rosetta Code (SN, CAF), pp. 778–788.
ICSE-v1-2015-NguyenN #graph #statistics- Graph-Based Statistical Language Model for Code (ATN, TNN), pp. 858–868.
ICSE-v2-2015-ArnaoudovaHMA #natural language #re-engineering #retrieval- The Use of Text Retrieval and Natural Language Processing in Software Engineering (VA, SH, AM, GA), pp. 949–950.
ICSE-v2-2015-ChitchyanCR- Engineering Sustainability Through Language (RC, WC, AR), pp. 501–504.
ICSE-v2-2015-FranksTDH #modelling #named- CACHECA: A Cache Language Model Based Code Suggestion Tool (CF, ZT, PTD, VH), pp. 705–708.
SLE-2015-DegueuleCBBJ #composition #development #domain-specific language #metalanguage #named #reuse- Melange: a meta-language for modular and reusable development of DSLs (TD, BC, AB, OB, JMJ), pp. 25–36.
SLE-2015-GammaitoniKG #design #using- Designing languages using lightning (LG, PK, CG), pp. 77–82.
SLE-2015-LatombeCCDP #concurrent #domain-specific language #execution #modelling #weaving- Weaving concurrency in executable domain-specific modeling languages (FL, XC, BC, JD, MP), pp. 125–136.
SLE-2015-Lopez-Fernandez #validation #visual notation- Example-based validation of domain-specific visual languages (JJLF, EG, JdL), pp. 101–112.
SLE-2015-MaroSATG #domain-specific language #editing #experience #industrial #on the #uml #visual notation- On integrating graphical and textual editors for a UML profile based domain specific language: an industrial experience (SM, JPS, AA, MT, LG), pp. 1–12.
SLE-2015-Pearce- The whiley rewrite language (WyRL) (DJP), pp. 161–166.
SLE-2015-UmuhozaBRC #empirical #modelling #process- An empirical study on simplification of business process modeling languages (EU, MB, DR, JC), pp. 13–24.
SPLC-2015-FerrariSGD #diagrams #documentation #feature model #natural language #tool support- CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams (AF, GOS, SG, FD), pp. 402–410.
SPLC-2015-FontBHC #automation #formal method #product line #variability- Automating the variability formalization of a model family by means of common variability language (JF, MB, ØH, CC), pp. 411–418.
SPLC-2015-KuhnCO #product line- Choosy and picky: configuration of language product lines (TK, WC, DMO), pp. 71–80.
SPLC-2015-PatelS #as a service #automation #testing #using #variability- Automated testing of software-as-a-service configurations using a variability language (SP, VS), pp. 253–262.
ASPLOS-2015-ZhangWSM #data flow #design #hardware #information management #security- A Hardware Design Language for Timing-Sensitive Information-Flow Security (DZ, YW, GES, ACM), pp. 503–516.
CC-2015-BourkeCPPP #code generation #hybrid- A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages (TB, JLC, BP, CP, MP), pp. 69–88.
CC-2015-HollingumS #context-free grammar #framework #reachability #scalability #towards- Towards a Scalable Framework for Context-Free Language Reachability (NH, BS), pp. 193–211.
PPoPP-2015-ChenCM #named #parallel- Tiles: a new language mechanism for heterogeneous parallelism (YC, XC, HM), pp. 287–288.
CADE-2015-DinBH #concurrent #deduction #modelling #named #verification- KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS (CCD, RB, RH), pp. 517–526.
CSL-2015-DuparcFH #ambiguity #on the- On Unambiguous Regular Tree Languages of Index (0, 2) (JD, KF, SH), pp. 534–548.
ICLP-2015-Hallen #data mining #higher-order #logic #mining #specification- Higher Order Support in Logic Specification Languages for Data Mining Applications (MvdH).
ISSTA-2015-YueAZ #automation #framework #generative #named #natural language #testing- RTCM: a natural language based, automated, and practical test case generation framework (TY, SA, MZ), pp. 397–408.
LICS-2015-AdamekMUM- Varieties of Languages in a Category (JA, RSRM, HU, SM), pp. 414–425.
LICS-2015-Place #quantifier #regular expression- Separating Regular Languages with Two Quantifiers Alternations (TP), pp. 202–213.
CBSE-2014-HorcasPF #architecture #injection #quality #variability- Injecting quality attributes into software architectures with the common variability language (JMH, MP, LF), pp. 35–44.
CBSE-2014-SpacekDT #architecture #component #implementation #modelling #programming #prototype- A component-based meta-level architecture and prototypical implementation of a reflective component-based programming and modeling language (PS, CD, CT), pp. 13–22.
ECSA-2014-CavalcanteOB #architecture #code generation #implementation- Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language (EC, FO, TVB), pp. 130–145.
WICSA-2014-BabazadehP #design #distributed #framework- The Stream Software Connector Design Space: Frameworks and Languages for Distributed Stream Processing (MB, CP), pp. 1–10.
ASE-2014-Angerer #impact analysis #multi #product line #variability- Variability-aware change impact analysis of multi-language product lines (FA), pp. 903–906.
ASE-2014-DeweyRH #constraints #fuzzing #logic programming #using- Language fuzzing using constraint logic programming (KD, JR, BH), pp. 725–730.
DATE-2014-DhruvaKGT #cyber-physical- Computing a language-based guarantee for timing properties of cyber-physical systems (ND, PK, GG, LT), pp. 1–6.
DocEng-2014-CabralLMFASR #framework #independence #summary- A platform for language independent summarization (LdSC, RDL, RFM, FF, BTÁ, SJS, MR), pp. 203–206.
PODS-2014-ArenasGP #query #semantics #web- Expressive languages for querying the semantic web (MA, GG, AP), pp. 14–26.
PODS-2014-GottlobRS- Expressiveness of guarded existential rule languages (GG, SR, MS), pp. 27–38.
SIGMOD-2014-GulwaniM #data analysis #interactive #named #natural language #programming #spreadsheet- NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation (SG, MM), pp. 803–814.
SIGMOD-2014-LiJ #database #interactive #interface #named #natural language #query #relational- NaLIR: an interactive natural language interface for querying relational databases (FL, HVJ), pp. 709–712.
SIGMOD-2014-ZouHWYHZ #approach #data-driven #graph #natural language #rdf- Natural language question answering over RDF: a graph data driven approach (LZ, RH, HW, JXY, WH, DZ), pp. 313–324.
VLDB-2014-KlonatosKRC #performance #query- Building Efficient Query Engines in a High-Level Language (YK, CK, TR, HC), pp. 853–864.
VLDB-2014-KlonatosKRC14a #performance #query- Errata for “Building Efficient Query Engines in a High-Level Language” (PVLDB 7(10): 853-864) (YK, CK, TR, HC), p. 1784.
VLDB-2014-ShirakawaHN #independence #named #realtime #twitter- MLJ: Language-Independent Real-Time Search of Tweets Reported by Media Outlets and Journalists (MS, TH, SN), pp. 1605–1608.
VLDB-2015-LiJ14 #database #interactive #interface #natural language #relational- Constructing an Interactive Natural Language Interface for Relational Databases (FL, HVJ), pp. 73–84.
TFPIE-2014-MorazanA #automaton #formal method #functional #student- Functional Automata — Formal Languages for Computer Science Students (MTM, RA), pp. 19–32.
TFPIE-2014-Winter #authentication #functional #named #programming language- Bricklayer: An Authentic Introduction to the Functional Programming Language SML (VLW), pp. 33–49.
ESOP-2014-Garnock-JonesTF #network- The Network as a Language Construct (TGJ, STH, MF), pp. 473–492.
ESOP-2014-PercontiA #compilation #multi #semantics #using #verification- Verifying an Open Compiler Using Multi-language Semantics (JTP, AA), pp. 128–148.
ESOP-2014-SlepakSM #morphism #polymorphism #rank- An Array-Oriented Language with Static Rank Polymorphism (JS, OS, PM), pp. 27–46.
FoSSaCS-2014-AdamekMMU #theorem- Generalized Eilenberg Theorem I: Local Varieties of Languages (JA, SM, RSRM, HU), pp. 366–380.
FoSSaCS-2014-KobayashiIT #higher-order- Unsafe Order-2 Tree Languages Are Context-Sensitive (NK, KI, TT), pp. 149–163.
TACAS-2014-MalerM #learning #regular expression #scalability- Learning Regular Languages over Large Alphabets (OM, IEM), pp. 485–499.
TACAS-2014-Wang0LWL #automaton #specification- Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata (TW, JS, YL, XW, SL), pp. 310–325.
WRLA-2014-ArusoaieLRSSR- Language Definitions as Rewrite Theories (AA, DL, VR, TFS, AS, GR), pp. 97–112.
CSMR-WCRE-2014-BaggeZ #problem- International workshop on open and original problems in software language engineering (AHB, VZ), p. 478.
CSMR-WCRE-2014-LammelLSV #comparison #implementation- Comparison of feature implementations across languages, technologies, and styles (RL, ML, TS, AV), pp. 333–337.
CSMR-WCRE-2014-TomassettiRT #automation- Spotting automatically cross-language relations (FT, GR, MT), pp. 338–342.
ICPC-2014-StefikHMAYS #design #empirical #programming language #what- What is the Foundation of Evidence of Human Factors Decisions in Language Design? An Empirical Study on Programming Language Workshops (AS, SH, MM, AAA, SKY, SS), pp. 223–231.
ICPC-2014-XiaLWZW #debugging #locality- Cross-language bug localization (XX, DL, XW, CZ, XW), pp. 275–278.
MSR-2014-CampbellHA #fault #modelling #syntax- Syntax errors just aren’t natural: improving error reporting with language models (JCC, AH, JNA), pp. 252–261.
MSR-2014-MertenMBP #natural language #semistructured data- Classifying unstructured data into natural language text and technical information (TM, BM, SB, BP), pp. 300–303.
SCAM-2014-CaraccioloCSL #corpus #multi #named- Pangea: A Workbench for Statically Analyzing Multi-language Software Corpora (AC, AC, BS, ML), pp. 71–76.
SCAM-2014-YooBE #slicing- Seeing Is Slicing: Observation Based Slicing of Picture Description Languages (SY, DB, RDE), pp. 175–184.
PEPM-J-2013-ServettoZ14 #library- A meta-circular language for active libraries (MS, EZ), pp. 219–253.
PEPM-J-2013-WeijersHH14 #fault #higher-order #polymorphism #security- Security type error diagnosis for higher-order, polymorphic languages (JW, JH, SH), pp. 200–218.
PEPM-2014-CheneyLRW #effectiveness #query- Effective quotation: relating approaches to language-integrated query (JC, SL, GR, PW), pp. 15–26.
PLDI-2014-CaiGRO #difference #formal method #higher-order #λ-calculus- A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation (YC, PGG, TR, KO), p. 17.
PLDI-2014-DAntoniVLM #named #performance #transducer- Fast: a transducer-based language for tree manipulation (LD, MV, BL, DM), p. 40.
PLDI-2014-LuJS #parallel #scripting language- Dynamic enforcement of determinism in a parallel scripting language (LL, WJ, MLS), p. 53.
PLDI-2014-RaychevVY #code completion #modelling #statistics- Code completion with statistical language models (VR, MTV, EY), p. 44.
PLDI-2014-StorkNSMFMA #approach #named #programming language- Æminium: a permission based concurrent-by-default programming language approach (SS, KN, JS, MM, AF, PM, JA), p. 4.
PLDI-2014-TorlakB #lightweight #virtual machine- A lightweight symbolic virtual machine for solver-aided host languages (ET, RB), p. 54.
PLDI-2014-VilkB #named- Doppio: breaking the browser language barrier (JV, EDB), p. 52.
SAS-2014-CoxCR #analysis #automation #source code- Automatic Analysis of Open Objects in Dynamic Language Programs (AC, BYEC, XR), pp. 134–150.
DLT-J-2013-BertoniCD14 #automaton #context-free grammar #decidability #on the #problem #quantum- On the Decidability of the Intersection Problem for Quantum Automata and Context-Free Languages (AB, CC, FD), pp. 1065–1082.
DLT-J-2013-CarninoL14 #automaton- Factorizations and Universal Automaton of ω-Languages (VC, SL), pp. 1111–1126.
DLT-J-2013-DrosteV14 #context-free grammar #theorem- The Chomsky-SCHüTzenberger Theorem for Quantitative Context-Free Languages (MD, HV), pp. 955–970.
DLT-J-2013-IbarraR14 #complexity- Some Decision Questions Concerning the Time Complexity of Language Acceptors (OHI, BR), pp. 1127–1140.
DLT-J-2013-Shur14 #anti #finite- Languages with a Finite antidictionary: some growth Questions (AMS), pp. 937–954.
AFL-2014-Brinda- Languages of lossless seeds (KB), pp. 139–150.
AFL-2014-BrzozowskiD13- Maximally Atomic Languages (JAB, GD), pp. 151–161.
AFL-2014-Crespi-ReghizziP #commutative #composition- Commutative Languages and their Composition by Consensual Methods (SCR, PSP), pp. 216–230.
AFL-2014-HolzerJ #automaton #product line #regular expression- More Structural Characterizations of Some Subregular Language Families by Biautomata (MH, SJ), pp. 271–285.
AFL-2014-Valdats #complexity #regular expression- Boolean Circuit Complexity of Regular Languages (MV), pp. 342–354.
CIAA-2014-BiasiY #automaton- Unary Languages Recognized by Two-Way One-Counter Automata (MDB, AY), pp. 148–161.
CIAA-2014-Blanchet-SadriGS #automaton- Minimal Partial Languages and Automata (FBS, KG, AS), pp. 110–123.
CIAA-2014-CevorovaJK #on the #regular expression- On the Square of Regular Languages (KC, GJ, IK), pp. 136–147.
CIAA-2014-JiraskovaPS- Kleene Closure on Regular and Prefix-Free Languages (GJ, MP, JS), pp. 226–237.
CIAA-2014-Otto #automaton #bibliography- Restarting Automata for Picture Languages: A Survey on Recent Developments (FO), pp. 16–41.
CIAA-2014-Pighizzini #automaton- Investigations on Automata and Languages over a Unary Alphabet (GP), pp. 42–57.
DLT-2014-DayRS #pattern matching- Closure Properties of Pattern Languages (JDD, DR, MLS), pp. 279–290.
DLT-2014-MarsaultS- Breadth-First Serialisation of Trees and Rational Languages — (Short Paper) (VM, JS), pp. 252–259.
DLT-2014-Schmid #regular expression- Characterising REGEX Languages by Regular Languages Equipped with Factor-Referencing (MLS), pp. 142–153.
DLT-2014-TorreNP #automaton #bound- Scope-Bounded Pushdown Languages (SLT, MN, GP), pp. 116–128.
ICALP-v2-2014-Chaturvedi #towards- Toward a Structure Theory of Regular Infinitary Trace Languages (NC), pp. 134–145.
LATA-2014-FormentiHKP #complexity- ω-rational Languages: High Complexity Classes vs. Borel Hierarchy (EF, MH, MK, JP), pp. 372–383.
LATA-2014-KoHS #top-down- Top-Down Tree Edit-Distance of Regular Tree Languages (SKK, YSH, KS), pp. 466–477.
LATA-2014-MazadiGZ #pattern matching- Distinguishing Pattern Languages with Membership Examples (ZM, ZG, SZ), pp. 528–540.
LATA-2014-OttoM #automaton #order- Extended Two-Way Ordered Restarting Automata for Picture Languages (FO, FM), pp. 541–552.
FM-2014-ChristakisLS #formal method #verification- Formalizing and Verifying a Modern Build Language (MC, KRML, WS), pp. 643–657.
ICFP-2014-GibbonsW #domain-specific language #functional- Folding domain-specific languages: deep and shallow embeddings (functional Pearl) (JG, NW), pp. 339–347.
IFL-2014-AronssonAS #domain-specific language #embedded- Stream Processing for Embedded Domain Specific Languages (MA, EA, MS), p. 8.
IFL-2014-LeF #functional #parallel- Combining Shared State with Speculative Parallelism in a Functional Language (ML, MF), p. 2.
ICGT-2014-RidderR #morphism #problem- The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages (HNdR, NdR), pp. 192–206.
CHI-2014-HaimsonBH #online- DDFSeeks same: sexual health-related language in online personal ads for men who have sex with men (OLH, JRB, GRH), pp. 1615–1624.
CHI-2014-LiR14a #named- SmartVoice: a presentation support system for overcoming the language barrier (XL, JR), pp. 1563–1570.
CSCW-2014-HwangYHYLMKS #mobile #named- TalkBetter: family-driven mobile intervention care for children with language delay (IH, CY, CH, DY, YL, CM, JK, JS), pp. 1283–1296.
CSCW-2014-MitraG #people #predict- The language that gets people to give: phrases that predict success on kickstarter (TM, EG), pp. 49–61.
DUXU-TMT-2014-DanylakK #game studies- The Language Game (RD, KK), pp. 55–63.
HCI-AIMT-2014-AlkhashramiAA #design #interface #learning- Human Factors in the Design of Arabic-Language Interfaces in Assistive Technologies for Learning Difficulties (SA, HA, AAW), pp. 362–369.
HCI-AIMT-2014-EndrassHHTA #communication #interactive- A Pictorial Interaction Language for Children to Communicate with Cultural Virtual Characters (BE, LEH, CH, ST, EA), pp. 532–543.
HCI-AIMT-2014-ErikssonLSSK #interface #question- Can User-Paced, Menu-free Spoken Language Interfaces Improve Dual Task Handling While Driving? (AE, AL, AS, AS, KK), pp. 394–405.
HCI-AIMT-2014-KrennEKA- Effects of Language Variety on Personality Perception in Embodied Conversational Agents (BK, BE, FK, EA), pp. 429–439.
HIMI-DE-2014-LiH- Improving Academic Listening Skills of Second Language by Building up Strategy Object Mashups (HL, SH), pp. 384–395.
LCT-NLE-2014-WangLC #learning #online #student- Low-Achieving Students’ Perceptions of Online Language Learning: A Case of English Proficiency Threshold (ALW, YCL, SFC), pp. 250–258.
LCT-TRE-2014-Jebali #question- Does CMC Reduce Foreign Language Classroom Anxiety? (AJ), pp. 277–287.
LCT-TRE-2014-ShimizuO #effectiveness #learning #question- Which Is More Effective for Learning German and Japanese Language, Paper or Digital? (RS, KO), pp. 309–318.
VISSOFT-2014-BergelMDG #dependence #domain-specific language #graph #visualisation- A Domain-Specific Language for Visualizing Software Dependencies as a Graph (AB, SM, SD, TG), pp. 45–49.
VISSOFT-2014-Noble #programming language- Livecoding the SynthKit: Little Bits as an Embodied Programming Language (JN), pp. 40–44.
AdaEurope-2014-PedroPPP #ada #framework #programming language #runtime #towards #verification- Towards a Runtime Verification Framework for the Ada Programming Language (AdMP, DP, LMP, JSP), pp. 58–73.
HILT-2014-BarnesT #ada #design #lessons learnt- Ada 83 to Ada 2012: lessons learned over 30 years of language design (JB, STT), pp. 3–4.
HILT-2014-BocchinoGGS #named #programming language- Spot: a programming language for verified flight software (RLB, EG, KPG, RRS), pp. 97–102.
HILT-2014-GacekBCSW #architecture #assurance #modelling #named- Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.
HILT-2014-MatsakisK #rust- The rust language (NDM, FSKI), pp. 103–104.
HILT-2014-Seidewitz #execution #modelling #uml- UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.
HILT-2014-SzaboVKRS #development #embedded #named- mbeddr: extensible languages for embedded software development (TS, MV, BK, DR, BS), pp. 13–16.
HILT-2014-TaftMPM #ada #parallel #programming- Safe parallel programming in ada with language extensions (STT, BM, LMP, SM), pp. 87–96.
CAiSE-2014-CarvalhoAG #domain-specific language #ontology #semantics #using- Using Reference Domain Ontologies to Define the Real-World Semantics of Domain-Specific Languages (VAdC, JPAA, GG), pp. 488–502.
ICEIS-v1-2014-BrodskyHL #named #query- DG-Query: An XQuery-based Decision Guidance Query Language (AB, SGH, JL), pp. 152–163.
ICEIS-v1-2014-KleinSRF #formal method #integration #on the #using- On the Formalisation of an Application Integration Language Using Z Notation (MJK, SS, FRF, RZF), pp. 314–319.
ICEIS-v2-2014-GippMBPN #detection #semantics #similarity #using #visualisation- Web-based Demonstration of Semantic Similarity Detection Using Citation Pattern Visualization for a Cross Language Plagiarism Case (BG, NM, CB, JP, AN), pp. 677–683.
ICEIS-v2-2014-PfisterHN #agile #concurrent #design #diagrams #framework #metamodelling #modelling #synthesis #towards #visual notation- A Framework for Concurrent Design of Metamodels and Diagrams — Towards an Agile Method for the Synthesis of Domain Specific Graphical Modeling Languages (FP, MH, CN), pp. 298–306.
ICEIS-v3-2014-SilvaOAL #declarative #empirical #imperative #process- Declarative Versus Imperative Business Process Languages — A Controlled Experiment (NCS, CALdO, FALAA, RMFL), pp. 394–401.
CIKM-2014-RahimiSK #analysis #axiom #information retrieval- Axiomatic Analysis of Cross-Language Information Retrieval (RR, AS, IK), pp. 1875–1878.
CIKM-2014-SondhiZ #community #knowledge base #mining #natural language #online- Mining Semi-Structured Online Knowledge Bases to Answer Natural Language Questions on Community QA Websites (PS, CZ), pp. 341–350.
CIKM-2014-TuLLH #ad hoc #documentation #information retrieval- Log-Bilinear Document Language Model for Ad-hoc Information Retrieval (XT, JL, BL, TH), pp. 1895–1898.
CIKM-2014-VineZKSB #semantics #similarity- Medical Semantic Similarity with a Neural Language Model (LDV, GZ, BK, LS, PB), pp. 1819–1822.
ECIR-2014-FiliceCCB #effectiveness #kernel #learning #online- Effective Kernelized Online Learning in Language Processing Tasks (SF, GC, DC, RB), pp. 347–358.
ECIR-2014-LeeC #feedback #pseudo- Cross-Language Pseudo-Relevance Feedback Techniques for Informal Text (CJL, WBC), pp. 260–272.
ECIR-2014-NarducciPS #named #retrieval #semantics- CroSeR: Cross-language Semantic Retrieval of Open Government Data (FN, MP, GS), pp. 793–797.
ECIR-2014-YounusOP #approach #behaviour #microblog #modelling #personalisation- A Language Modeling Approach to Personalized Search Based on Users’ Microblog Behavior (AY, CO, GP), pp. 727–732.
ICML-c2-2014-BalleHP #comparison #empirical #learning #probability- Methods of Moments for Learning Stochastic Languages: Unified Presentation and Empirical Comparison (BB, WLH, JP), pp. 1386–1394.
ICML-c2-2014-BothaB #composition #modelling #word- Compositional Morphology for Word Representations and Language Modelling (JAB, PB), pp. 1899–1907.
ICML-c2-2014-KirosSZ #modelling #multimodal- Multimodal Neural Language Models (RK, RS, RSZ), pp. 595–603.
ICML-c2-2014-PaigeW #compilation #probability #programming language- A Compilation Target for Probabilistic Programming Languages (BP, FW), pp. 1935–1943.
ICPR-2014-ChenWCN #detection #fault #modelling #network- Confusion Network Based Recurrent Neural Network Language Modeling for Chinese OCR Error Detection (JC, YW, HC, PN), pp. 1266–1271.
ICPR-2014-DiezVPRB #optimisation #recognition- Optimizing PLLR Features for Spoken Language Recognition (MD, AV, MP, LJRF, GB), pp. 779–784.
ICPR-2014-DuCZ #aspect-oriented #identification #using- A Product Aspects Identification Method by Using Translation-Based Language Model (JD, WC, XZ), pp. 2790–2795.
ICPR-2014-ViitaniemiKL- Experiments on Recognising the Handshape in Blobs Extracted from Sign Language Videos (VV, MK, JL), pp. 2584–2589.
KDD-2014-Munro- Bringing data science to the speakers of every language (RM), p. 1523.
KDIR-2014-AbdallahI #classification #modelling #n-gram #using #web- URL-based Web Page Classification — A New Method for URL-based Web Page Classification Using n-Gram Language Models (TAA, BdlI), pp. 14–21.
KDIR-2014-DeglInnocentiNT #approach #knowledge base #multi- A New Multi-lingual Knowledge-base Approach to Keyphrase Extraction for the Italian Language (DD, DDN, CT), pp. 78–85.
KEOD-2014-DogmusPE #natural language #ontology #query- Answering Natural Language Queries about Rehabilitation Robotics Ontology on the Cloud (ZD, VP, EE), pp. 75–83.
MLDM-2014-KhasnabishSDS #detection #learning #programming language #source code #using- Detecting Programming Language from Source Code Using Bayesian Learning Techniques (JNK, MS, JD, GS), pp. 513–522.
SEKE-2014-FreireKAJNAG #domain-specific language #empirical #formal method #re-engineering- An Empirical Study to Evaluate a Domain Specific Language for Formalizing Software Engineering Experiments (MAF, UK, EA, AJ, ECN, STA, MG), pp. 250–255.
SEKE-2014-ShankarN #automation #metric #tool support- Automated Metrics Collection for IEC61131-3 Languages from Engineering Tools (MS, AN), pp. 7–12.
SIGIR-2014-TangWZ #recommendation- Cross-language context-aware citation recommendation in scientific articles (XT, XW, XZ), pp. 817–826.
SIGIR-2014-VoseckyLN #collaboration #modelling #personalisation #topic #twitter- Collaborative personalized Twitter search with topic-language models (JV, KWTL, WN), pp. 53–62.
SIGIR-2014-VulicZM #e-commerce #formal method #learning- Learning to bridge colloquial and formal language applied to linking and search of E-Commerce data (IV, SZ, MFM), pp. 1195–1198.
BX-2014-Wider #bidirectional #domain-specific language #implementation #model transformation #scala- Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala (AW), pp. 63–70.
ECMFA-2014-CuadradoGL #model transformation #towards- Towards the Systematic Construction of Domain-Specific Transformation Languages (JSC, EG, JdL), pp. 196–212.
ECMFA-2014-Goldschmidt #domain-specific language #framework #multi #towards- Towards an Infrastructure for Domain-Specific Languages in a Multi-domain Cloud Platform (TG), pp. 242–253.
ECMFA-2014-PfeifferRW #independence #traceability- Language-Independent Traceability with Lässig (RHP, JR, AW), pp. 148–163.
ICMT-2014-BlouinPDSD #case study #experience #graph grammar #modelling- Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report (DB, AP, PD, FS, JPD), pp. 106–121.
ICMT-2014-ErginS #design pattern #graph #model transformation #towards- Towards a Language for Graph-Based Model Transformation Design Patterns (HE, ES), pp. 91–105.
MoDELS-2014-KrikavaCF #domain-specific language #named #scala- SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
MoDELS-2014-KrikavaCF #domain-specific language #named #scala- SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
ECOOP-2014-AnconaC #induction #object-oriented #type system- Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages (DA, AC), pp. 282–307.
ECOOP-2014-FelgentreffBHLOFK #constraints #implementation #named #ocl- Babelsberg/JS — A Browser-Based Implementation of an Object Constraint Language (TF, AB, RH, JL, YO, BF, RK), pp. 411–436.
ECOOP-2014-MayerS #automation #domain-specific language #framework #java #multi #refactoring- Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks (PM, AS), pp. 437–462.
ECOOP-2014-OmarKNCPA #composition- Safely Composable Type-Specific Languages (CO, DK, LN, BC, AP, JA), pp. 105–130.
Onward-2014-AcherCC #domain-specific language- Metamorphic Domain-Specific Languages: A Journey into the Shapes of a Language (MA, BC, PC), pp. 243–253.
Onward-2014-Conversy #programming language #visual notation- Unifying Textual and Visual: A Theoretical Account of the Visual Perception of Programming Languages (SC), pp. 201–212.
Onward-2014-KaraivanovRV #programming language #statistics- Phrase-Based Statistical Translation of Programming Languages (SK, VR, MTV), pp. 173–184.
Onward-2014-PhilipsRCM #development #towards #web- Towards Tierless Web Development without Tierless Languages (LP, CDR, TVC, WDM), pp. 69–81.
Onward-2014-Skene #logic #programming language- Description Logic as Programming Language (JS), pp. 143–162.
Onward-2014-SpasojevicLN #ecosystem #mining #type inference- Mining the Ecosystem to Improve Type Inference for Dynamically Typed Languages (BS, ML, ON), pp. 133–142.
Onward-2014-StefikH #community #programming language- The Programming Language Wars: Questions and Responsibilities for the Programming Language Community (AS, SH), pp. 283–299.
Onward-2014-VisserWTNVPK #design #implementation #verification- A Language Designer’s Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs (EV, GW, APT, PN, VAV, AP, GK), pp. 95–111.
OOPSLA-2014-HolkNSL #data type #gpu #memory management #programming language- Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host (EH, RN, JGS, AL), pp. 141–155.
OOPSLA-2014-MitschkeEKMS #named- i3QL: language-integrated live data views (RM, SE, MK, MM, GS), pp. 417–432.
OOPSLA-2014-WangCC #abstraction #compilation #verification- Compiler verification meets cross-language linking via data abstraction (PW, SC, AC), pp. 675–690.
PLATEAU-2014-KoitzS #comparison #education #empirical #hybrid #programming language #visual notation- Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers (RK, WS), pp. 21–30.
PLATEAU-2014-KubelkaBR #programming #smalltalk- Asking and Answering Questions during a Programming Change Task in Pharo Language (JK, AB, RR), pp. 1–11.
PLATEAU-2014-KurilovaPA #design #named #programming language #security- Wyvern: Impacting Software Security via Programming Language Design (DK, AP, JA), pp. 57–58.
GPCE-2014-Asai #compilation #using- Compiling a reflective language using MetaOCaml (KA), pp. 113–122.
GPCE-2014-GousetiPS #algebra #implementation- Extensible language implementation with object algebras (short paper) (MG, CP, TvdS), pp. 25–28.
GPCE-2014-HumerWWWW #abstract syntax tree #domain-specific language #self- A domain-specific language for building self-optimizing AST interpreters (CH, CW, CW, AW, TW), pp. 123–132.
GPCE-2014-ShiodaIS #domain-specific language #embedded #library #metaprogramming #named- LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming (MS, HI, SS), pp. 63–72.
PPDP-2014-MehnerSSV #functional #parametricity #proving #theorem- Parametricity and Proving Free Theorems for Functional-Logic Languages (SM, DS, LS, JV), pp. 19–30.
PPDP-2014-PachecoZH #bidirectional #functional #named #xml- BiFluX: A Bidirectional Functional Update Language for XML (HP, TZ, ZH), pp. 147–158.
PADL-2014-LakinP #compilation #functional #programming language #using- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language (MRL, AP), pp. 81–86.
POPL-2014-CasinghinoSW #proving #source code- Combining proofs and programs in a dependently typed language (CC, VS, SW), pp. 33–46.
POPL-2014-GordonGRRBG #named #probability #programming language- Tabular: a schema-driven probabilistic programming language (ADG, TG, NR, CVR, JB, JG), pp. 321–334.
RE-2014-AntonelliRLO #using- Language Extended Lexicon points: Estimating the size of an application using its language (LA, GR, JCSdPL, AO), pp. 263–272.
RE-2014-PruskiLAOARC #named #natural language #query #towards- TiQi: Towards natural language trace queries (PP, SL, RA, GO, SA, AR, JCH), pp. 123–132.
RE-2014-RiazKSW #automation #identification #natural language #requirements #security- Hidden in plain sight: Automatically identifying security requirements from natural language artifacts (MR, JTK, JS, LAW), pp. 183–192.
REFSQ-2014-FerraridSG #natural language #requirements- Measuring and Improving the Completeness of Natural Language Requirements (AF, FD, GOS, SG), pp. 23–38.
REFSQ-2014-KnaussO #automation #categorisation #natural language #requirements- (Semi-) automatic Categorization of Natural Language Requirements (EK, DO), pp. 39–54.
SAC-2014-FalboRGBA #enterprise #ontology #pattern matching #towards- Towards an enterprise ontology pattern language (RdAF, FBR, GG, MPB, JPAA), pp. 323–330.
SAC-2014-HalderZC #analysis #database #information management #query- Information leakage analysis of database query languages (RH, MZ, AC), pp. 813–820.
SAC-2014-KrikavaCF14a #domain-specific language #modelling #using- Manipulating models using internal domain-specific languages (FK, PC, RBF), pp. 1612–1614.
SAC-2014-ReisIB #syntax- Defining the syntax of extensible languages (LVdSR, VODI, RdSB), pp. 1570–1576.
SAC-2014-Rohrig #domain-specific language #process #scheduling- A domain specific language for process scheduling (DR), pp. 1550–1551.
SAC-2014-Umatani #calculus #implementation- Practical implementation techniques of ambient calculus in conventional dynamic languages (SU), pp. 1345–1351.
SAC-2014-ZiadiHPZT #approach #independence #product line #towards- Towards a language-independent approach for reverse-engineering of software product lines (TZ, CH, MP, MZ, YLT), pp. 1064–1071.
FSE-2014-BinkleyGHIKY #independence #named #slicing- ORBS: language-independent program slicing (DB, NG, MH, SSI, JK, SY), pp. 109–120.
FSE-2014-RayPFD #case study #git #programming language #quality #scalability- A large scale study of programming languages and code quality in github (BR, DP, VF, PTD), pp. 155–165.
ICSE-2014-NikzadCG #development #energy #middleware #mobile #named- APE: an annotation language and middleware for energy-efficient mobile application development (NN, OC, WGG), pp. 515–526.
LDTA-J-2011-SauthoffG #analysis #domain-specific language #optimisation #programming- Yield grammar analysis and product optimization in a domain-specific language for dynamic programming (GS, RG), pp. 2–22.
SLE-2014-DiekmannT #composition #editing #named- Eco: A Language Composition Editor (LD, LT), pp. 82–101.
SLE-2014-KuhnLGSA #metamodelling #modelling #product line #programming language- A Metamodel Family for Role-Based Modeling and Programming Languages (TK, ML, SG, CS, UA), pp. 141–160.
SLE-2014-MeyersDLSVW #framework #generative #named- ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
SLE-2014-TisiJDSC #assembly #model transformation- fUML as an Assembly Language for Model Transformation (MT, FJ, JD, ZS, HC), pp. 171–190.
SPLC-2014-DieumegardTP #approach #data flow #library #product line #semantics #specification- A software product line approach for semantic specification of block libraries in dataflow languages (AD, AT, MP), pp. 217–226.
SPLC-2014-Reinhartz-BergerF #modelling #orthogonal #variability- Comprehensibility of orthogonal variability modeling languages: the cases of CVL and OVM (IRB, KF), pp. 42–51.
SPLC-2014-VacchiCCA #automation #component #implementation #model inference #variability- Automating variability model inference for component-based language implementations (EV, WC, BC, MA), pp. 167–176.
SPLC-2014-YuZZJ #automation #case study #feature model #named- TDL: a transformation description language from feature model to use case for automated use case derivation (WY, WZ, HZ, ZJ), pp. 187–196.
ASPLOS-2014-0001KOTRKSHC #named #policy #security- Sapper: a language for hardware-level security policy enforcement (XL, VK, JKO, MT, VRR, RK, TS, BH, FTC), pp. 97–112.
ASPLOS-2014-BucurKC #execution #prototype #symbolic computation- Prototyping symbolic execution engines for interpreted languages (SB, JK, GC), pp. 239–254.
ASPLOS-2014-RibicY #energy- Energy-efficient work-stealing language runtimes (HR, YDL), pp. 513–528.
ASPLOS-2014-SantosRSW #mobile #runtime #using- Using ARM trustzone to build a trusted language runtime for mobile applications (NS, HR, SS, AW), pp. 67–80.
ASPLOS-2014-Wood #architecture #named- Resolved: specialized architectures, languages, and system software should supplant general-purpose alternatives within a decade (DAW), pp. 653–654.
ASPLOS-2014-WoodCG #detection #low level- Low-level detection of language-level data races with LARD (BPW, LC, DG), pp. 671–686.
CGO-2014-HongSWO #domain-specific language #graph #scalability- Simplifying Scalable Graph Processing with a Domain-Specific Language (SH, SS, JW, KO), p. 208.
CGO-2014-YanXYR #detection #memory management #named- LeakChecker: Practical Static Memory Leak Detection for Managed Languages (DY, G(X, SY, AR), p. 87.
HPDC-2014-FaltBKYZ #named #parallel #streaming- Bobolang: a language for parallel streaming applications (ZF, DB, MK, JY, FZ), pp. 311–314.
OSDI-2014-MooreDKC #named #scripting language- SHILL: A Secure Shell Scripting Language (SM, CD, DK, SC), pp. 183–199.
PPoPP-2014-Olukotun #domain-specific language #parallel #programming- Beyond parallel programming with domain specific languages (KO), pp. 179–180.
CAV-2014-RakamaricE #implementation #named #verification- SMACK: Decoupling Source Language Details from Verifier Implementations (ZR, ME), pp. 106–113.
ICLP-J-2014-CruzRGP #concurrent #graph #linear #logic programming #programming language- A Linear Logic Programming Language for Concurrent Programming over Graph Structures (FC, RR, SCG, FP), pp. 493–507.
ICLP-J-2014-Jackson #domain-specific language- A Module System for Domain-Specific Languages (EKJ), pp. 771–785.
LICS-CSL-2014-PlaceZ #first-order #logic #regular expression- Separating regular languages with first-order logic (TP, MZ), p. 10.
RTA-TLCA-2014-Schmidt-Schauss #analysis #concurrent #programming language #semantics- Concurrent Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) (MSS), pp. 21–30.
CBSE-2013-JafroodiG #implementation- Implementing generalized alternative construct for erasmus language (NJ, PG), pp. 101–110.
ECSA-2013-SilvaMCB #architecture #lightweight #product line- A Lightweight Language for Software Product Lines Architecture Description (ES, ALM, EC, TVB), pp. 114–121.
ECSA-2013-ThatSOB #design pattern- Composition-Centered Architectural Pattern Description Language (MTTT, SS, FO, IB), pp. 1–16.
QoSA-2013-TekinerdoganD #architecture #evaluation #framework- Evaluation framework for software architecture viewpoint languages (BT, ED), pp. 89–98.
ASE-2013-AnnervazKSS #analysis #domain model #modelling #natural language #quality #requirements- Natural language requirements quality analysis based on business domain models (KMA, VSK, SS, MS), pp. 676–681.
ASE-2013-Hellerstein #case study #design #distributed #experience #named- BOOM: Experiences in language and tool design for distributed systems (keynote) (JMH), p. 1.
DAC-2013-LeGHD #simulation #using #verification- Verifying SystemC using an intermediate verification language and symbolic simulation (HML, DG, VH, RD), p. 6.
DocEng-2013-YuanM #repository #retrieval- Cross language indexing and retrieval of the cypriot digital antiquities repository (DY, PM), pp. 235–236.
HT-2013-BastosPT #topic #twitter- Tweeting across hashtags: overlapping users and the importance of language, topics, and politics (MTB, CP, RT), pp. 164–168.
ICDAR-2013-BuiVM #documentation #invariant #navigation- Invariants Extraction Method Applied in an Omni-language Old Document Navigating System (QAB, MV, RM), pp. 1325–1329.
ICDAR-2013-FischerFBS #keyword #modelling- Improving HMM-Based Keyword Spotting with Character Language Models (AF, VF, HB, CYS), pp. 506–510.
ICDAR-2013-GerdjikovMN- Extraction of Spelling Variations from Language Structure for Noisy Text Correction (SG, SM, VN), pp. 324–328.
ICDAR-2013-RomeroS #modelling #recognition- Category-Based Language Models for Handwriting Recognition of Marriage License Books (VR, JAS), pp. 788–792.
ICDAR-2013-SankaranJ #detection #fault- Error Detection in Highly Inflectional Languages (NS, CVJ), pp. 1135–1139.
ICDAR-2013-SuDPL #comprehension #documentation #novel #word- Cross-Language Sensitive Words Distribution Map: A Novel Recognition-Based Document Understanding Method for Uighur and Tibetan (BS, XD, LP, CL), pp. 255–259.
PODS-2013-LibkinRV #adaptation #graph #query #rdf- Trial for RDF: adapting graph query languages for RDF data (LL, JLR, DV), pp. 201–212.
SIGMOD-2013-HuangZ #natural language #rdf- Natural language question answering over RDF data (RH, LZ), pp. 1289–1290.
SIGMOD-2013-ZhangGBFRP #named #statistics #using- GeoDeepDive: statistical inference using familiar data-processing languages (CZ, VG, JB, TF, CR, SP), pp. 993–996.
VLDB-2013-CaoB #implementation #performance #quantifier #query #relational- Efficient Implementation of Generalized Quantification in Relational Query Languages (BC, AB), pp. 241–252.
VLDB-2013-Madaan #documentation #multi #query #repository- Domain Specific Multi-stage Query Language for Medical Document Repositories (AM), pp. 1410–1415.
VLDB-2013-SeoPSL #analysis #distributed #graph #scalability- Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis (JS, JP, JS, MSL), pp. 1906–1917.
CSEET-2013-NobleHBB #design #education #programming language #question #re-engineering- Designing Grace: Can an introductory programming language support the teaching of software engineering? (JN, MH, KBB, APB), pp. 219–228.
ITiCSE-2013-Alshaigy #development #education #interactive #learning #programming language #python- Development of an interactive learning tool to teach python programming language (BA), p. 344.
ESOP-2013-JeanninKS- Language Constructs for Non-Well-Founded Computation (JBJ, DK, AS), pp. 61–80.
FASE-2013-ZhongTX #api #behaviour #difference- Exposing Behavioral Differences in Cross-Language API Mapping Relations (HZ, ST, TX), pp. 130–145.
FoSSaCS-2013-GianantonioE- A Language for Differentiable Functions (PDG, AE), pp. 337–352.
TACAS-2013-GangeNSSS #bound #constraints #model checking #regular expression- Unbounded Model-Checking with Interpolation for Regular Language Constraints (GG, JAN, PJS, HS, PS), pp. 277–291.
CSMR-2013-PolychniatisHJBV #dependence #detection- Detecting Cross-Language Dependencies Generically (TP, JH, SJ, EB, JV), pp. 349–352.
ICPC-2013-MayerS #framework #java- Patterns of cross-language linking in java frameworks (PM, AS), pp. 113–122.
ICPC-2013-MorenoASMPV #automation #generative #java #natural language #summary- Automatic generation of natural language summaries for Java classes (LM, JA, GS, AM, LLP, KVS), pp. 23–32.
ICPC-2013-MorenoMPV #automation #generative #java #named #natural language #summary- JSummarizer: An automatic generator of natural language summaries for Java classes (LM, AM, LLP, KVS), pp. 230–232.
ICSM-2013-AsaduzzamanRSP #approach #hybrid #independence #named #source code- LHDiff: A Language-Independent Hybrid Approach for Tracking Source Code Lines (MA, CKR, KAS, MDP), pp. 230–239.
MSR-2013-AllamanisS13a #mining #modelling #repository #source code #using- Mining source code repositories at massive scale using language modeling (MA, CAS), pp. 207–216.
PASTE-2013-SarimbekovSKZBBA #virtual machine- A comprehensive toolchain for workload characterization across JVM languages (AS, AS, SK, YZ, WB, LB, DA), pp. 9–16.
SCAM-2013-Schink #database #multi #named #refactoring #relational- sql-schema-comparer: Support of multi-language refactoring with relational databases (HS), pp. 173–178.
WCRE-2013-BaggeZ #problem- Workshop on open and original problems in software language engineering (AHB, VZ), pp. 493–494.
WCRE-2013-SaeidiHKJ #analysis #legacy #modelling #named #tool support- Gelato: GEneric language tools for model-driven analysis of legacy software systems (AS, JH, RK, SJ), pp. 481–482.
PEPM-2013-OliveiraL #domain-specific language #graph #syntax- Abstract syntax graphs for domain specific languages (BCdSO, AL), pp. 87–96.
PEPM-2013-ServettoZ #library- A meta-circular language for active libraries (MS, EZ), pp. 117–126.
PEPM-2013-WeijersHH #fault #higher-order #polymorphism #security- Security type error diagnosis for higher-order, polymorphic languages (JW, JH, SH), pp. 3–12.
PLDI-2013-DeVitoHAHV #multi #named- Terra: a multi-stage language for high-performance computing (ZD, JH, AA, PH, JV), pp. 105–116.
PLDI-2013-ElmasBNS #concurrent #debugging #domain-specific language #named- CONCURRIT: a domain specific language for reproducing concurrency bugs (TE, JB, GCN, KS), pp. 153–164.
PLDI-2013-GreenLRSV #named #programming language #quantum #scalability- Quipper: a scalable quantum programming language (ASG, PLL, NJR, PS, BV), pp. 333–342.
PLDI-2013-Ragan-KelleyBAPDA #compilation #image #locality #named #optimisation #parallel #pipes and filters- Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines (JRK, CB, AA, SP, FD, SPA), pp. 519–530.
PLDI-2013-Schneider #programming language #security- Programming languages in security: keynote (FBS), pp. 139–140.
CIAA-J-2012-Brzozowski13 #regular expression- In Search of Most Complex Regular Languages (JAB), pp. 691–708.
DLT-J-2012-BrzozowskiT13 #complexity #regular expression- Complexity of atoms of Regular Languages (JAB, HT), pp. 1009–1028.
DLT-J-2012-EsikO13 #context-free grammar #on the #word- On Context-Free Languages of Scattered Words (ZÉ, SO), pp. 1029–1048.
DLT-J-2012-GeffertP13- Unary Coded NP-Complete Languages in Aspace(log log n) (VG, DP), p. 1167–?.
DLT-J-2012-HanKS13 #context-free grammar #regular expression- The Edit-Distance between a Regular Language and a Context-Free Language (YSH, SKK, KS), pp. 1067–1082.
DLT-J-2012-LehtinenO13 #context-free grammar #morphism- Homomorphisms Preserving Deterministic Context-Free Languages (TL, AO), pp. 1049–1066.
DLT-J-2012-Schmid13 #regular expression- Inside the Class of regex Languages (MLS), pp. 1117–1134.
CIAA-2013-Campeanu #implementation- Cover Languages and Implementations (CC), p. 1.
CIAA-2013-IbarraR #problem- Some Decision Problems Concerning NPDAs, Palindromes, and Dyck Languages (OHI, BR), pp. 193–207.
CIAA-2013-JirasekJ #bound #on the #regular expression- On the Boundary of Regular Languages (JJ, GJ), pp. 208–219.
CIAA-2013-MaiaMR #complexity #finite- Incomplete Transition Complexity of Basic Operations on Finite Languages (EM, NM, RR), pp. 349–356.
DLT-2013-BertoniCD #automaton #context-free grammar #decidability #finite #linear #problem #quantum- Quantum Finite Automata and Linear Context-Free Languages: A Decidable Problem (AB, CC, FD), pp. 82–93.
DLT-2013-CarninoL #automaton- Factorizations and Universal Automaton of ω Languages (VC, SL), pp. 338–349.
DLT-2013-DrosteV #context-free grammar #theorem- The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages (MD, HV), pp. 203–214.
DLT-2013-IbarraR #complexity- Some Decision Questions Concerning the Time Complexity of Language Acceptors (OHI, BR), pp. 264–276.
DLT-2013-KlimaP #automaton- Alternative Automata Characterization of Piecewise Testable Languages (OK, LP), pp. 289–300.
DLT-2013-LuPC- Deciding Determinism of Unary Languages Is coNP-Complete (PL, FP, HC), pp. 350–361.
DLT-2013-PanellaPLM #precedence- Operator Precedence ω-Languages (FP, MP, VL, DM), pp. 396–408.
DLT-2013-Pin #regular expression- An Explicit Formula for the Intersection of Two Polynomials of Regular Languages (JÉP), pp. 31–45.
DLT-2013-Shur #anti #finite #order- Languages with a Finite Antidictionary: Growth-Preserving Transformations and Available Orders of Growth (AMS), pp. 445–457.
ICALP-v2-2013-CzerwinskiMM #performance #regular expression #sequence- Efficient Separability of Regular Languages by Subsequences and Suffixes (WC, WM, TM), pp. 150–161.
ICALP-v2-2013-EtessamiSY #context-free grammar #probability #regular expression- Stochastic Context-Free Grammars, Regular Languages, and Newton’s Method (KE, AS, MY), pp. 199–211.
ICALP-v2-2013-Janin #algebra #automaton #logic- Algebras, Automata and Logic for Languages of Labeled Birooted Trees (DJ), pp. 312–323.
LATA-2013-AtminasLM- Deciding WQO for Factorial Languages (AA, VVL, MM), pp. 68–79.
LATA-2013-ChatterjeeCR #how- How to Travel between Languages (KC, SC, SR), pp. 214–225.
LATA-2013-DengZDZ #concurrent #π-calculus- The Buffered π-Calculus: A Model for Concurrent Languages (XD, YZ, YD, FZ), pp. 250–261.
LATA-2013-IbarraR #automaton #bound #on the- On Bounded Languages and Reversal-Bounded Automata (OHI, BR), pp. 359–370.
LATA-2013-MontanariS #logic #regular expression- Interval Logics and ωB-Regular Languages (AM, PS), pp. 431–443.
LATA-2013-RotBR #equivalence #induction #proving- Coinductive Proof Techniques for Language Equivalence (JR, MMB, JJMMR), pp. 480–492.
LATA-2013-SelivanovK #algebra- Boolean Algebras of Regular ω-Languages (VLS, AK), pp. 504–515.
CEFP-2013-Brady #dependent type #domain-specific language #embedded #implementation #programming language- The Idris Programming Language — Implementing Embedded Domain Specific Languages with Dependent Types (EB), pp. 115–186.
CEFP-2013-Gibbons #domain-specific language #functional #programming- Functional Programming for Domain-Specific Languages (JG), pp. 1–28.
ICFP-2013-BernardyC #context-free grammar #divide and conquer #parsing #performance- Efficient divide-and-conquer parsing of practical context-free languages (JPB, KC), pp. 111–122.
ICFP-2013-CheneyLW #query- A practical theory of language-integrated query (JC, SL, PW), pp. 403–416.
ICFP-2013-LorenzenE #automation #composition #verification- Modular and automated type-soundness verification for language extensions (FL, SE), pp. 331–342.
ICFP-2013-SvenningssonS #composition #embedded #monad- Simple and compositional reification of monadic embedded languages (JS, BJS), pp. 299–304.
GCM-J-2012-Flick #graph grammar- Derivation Languages of Graph Grammars (NEF).
GCM-J-2012-KniemeyerK #graph transformation #model transformation #named- XL4C4D — Adding the Graph Transformation Language XL to CINEMA 4D (OK, WK).
GT-VMT-2013-KupperKB #category theory- Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories (SK, BK, HJSB).
CHI-2013-EdgeCW #learning #named- SpatialEase: learning language through body motion (DE, KYC, MW), pp. 469–472.
CHI-2013-GreenHM- The efficacy of human post-editing for language translation (SG, JH, CDM), pp. 439–448.
CHI-2013-KuksenokBWL #challenge- Challenges and opportunities for technology in foreign language classrooms (KK, MB, QW, CPL), pp. 1011–1020.
CHI-2013-MonroeLOSPM #approach #challenge #query #specification #visual notation- The challenges of specifying intervals and absences in temporal queries: a graphical language approach (MM, RL, JMdO, BS, CP, JM), pp. 2349–2358.
CHI-2013-TausczikP #feedback #realtime #using- Improving teamwork using real-time language feedback (YRT, JWP), pp. 459–468.
CSCW-2013-HailpernDHSLK #communication #framework #named #research- ACES: a cross-discipline platform and method for communication and language research (JMH, MD, AH, SS, RL, KK), pp. 515–526.
CSCW-2013-WangFC #idea- Machine translation vs. common language: effects on idea exchange in cross-lingual groups (HCW, SRF, DC), pp. 935–944.
DUXU-CXC-2013-Al-ArifiAAAA #communication #towards- Towards an Arabic Language Augmentative and Alternative Communication Application for Autism (BAA, AAR, GAO, NAR, AAW), pp. 333–341.
DUXU-CXC-2013-MouraVCBSTLK #exclamation #game studies #how #learning #mobile- Luz, Câmera, Libras!: How a Mobile Game Can Improve the Learning of Sign Languages (GdSM, LAV, AC, FB, DdS, JMXNT, CWML, JK), pp. 266–275.
DUXU-CXC-2013-SturmSG #locality #performance- Localization beyond National Characteristics: The Impact of Language on Users’ Performance with Different Menu Structures (CS, GS, SG), pp. 105–114.
HCI-AMTE-2013-MeixnerOK #development #evaluation #industrial #modelling #user interface- Evaluation of User Interface Description Languages for Model-Based User Interface Development in the German Automotive Industry (GM, MO, MK), pp. 411–420.
HCI-AS-2013-EskildsenR #challenge #integration #learning- Challenges for Contextualizing Language Learning — Supporting Cultural Integration (SE, MR), pp. 361–369.
HCI-AS-2013-LimaRSBSO #learning- Innovation in Learning — The Use of Avatar for Sign Language (TL, MSR, TAS, AB, ES, HSdO), pp. 428–433.
HCI-AS-2013-OnoIY #comparative #education #evaluation- A Comparative Evaluation of Podcasting-Based and Mobile-Based Material Distribution Systems in Foreign Language Teaching (YO, MI, MY), pp. 474–483.
HCI-IMT-2013-FroehlichLS #interface #taxonomy- The Language of Motion: A Taxonomy for Interface (EF, BL, HS), pp. 668–677.
HCI-IMT-2013-GalatasPM #artificial reality #distance #multi #recognition #robust #speech #video- Robust Multi-Modal Speech Recognition in Two Languages Utilizing Video and Distance Information from the Kinect (GG, GP, FM), pp. 43–48.
HCI-IMT-2013-WuOMS #design #information management #query #visual notation- Design of a Visual Query Language for Geographic Information System on a Touch Screen (SW, SO, GM, MS), pp. 530–539.
HIMI-D-2013-EricksonS #modelling- Unified Modeling Language: The Teen Years and Growing Pains (JE, KS), pp. 295–304.
HIMI-D-2013-LiaoLH #concept #modelling #ontology #perspective #security #towards- Towards an Ontological Interpretation on the i* Modeling Language Extended with Security Concepts: A Bunge-Wand-Weber Model Perspective (GYL, PJL, LTH), pp. 322–328.
HIMI-D-2013-ZeshanMA #bibliography #ontology #quality #web #web service- Quality of Service Ontology Languages for Web Services Discovery: An Overview and Limitations (FZ, RM, MNA), pp. 400–407.
HIMI-HSM-2013-ChunJHJSLCJ #natural language #using- Pathway Construction and Extension Using Natural Language Processing (HWC, SJJ, MNH, CHJ, SKS, SL, SPC, HJ), pp. 32–38.
HIMI-HSM-2013-HosonoMINSMT #communication #people- The Urgent Communication System for Deaf and Language Dysfunction People (NH, FM, TI, MN, MS, HM, YT), pp. 269–274.
VISSOFT-2013-HomerN #editing #programming language- A tile-based editor for a textual programming language (MH, JN), pp. 1–4.
HILT-2013-Jackson #domain-specific language- Engineering domain-specific languages with formula 2.0 (EKJ), pp. 3–4.
CAiSE-2013-BaryannisP #calculus #named #specification #web #web service- WSSL: A Fluent Calculus-Based Language for Web Service Specifications (GB, DP), pp. 256–271.
CAiSE-2013-Henderson-SellersCG #modelling #on the- On the Search for a Level-Agnostic Modelling Language (BHS, TC, CGP), pp. 240–255.
EDOC-2013-AtkinsonGF #enterprise #modelling- Modeling Language Extension in the Enterprise Systems Domain (CA, RG, MF), pp. 49–58.
EDOC-2013-SelwayGMS #approach #formal method #natural language #specification #using- Formalising Natural Language Specifications Using a Cognitive Linguistics/Configuration Based Approach (MS, GG, WM, MS), pp. 59–68.
ICEIS-v2-2013-BouassidaBA #design #named #semantics- P-UML — A Pattern Design Language with a Formal Semantics (NB, HBA, MA), pp. 197–205.
ICEIS-v2-2013-SierraCVCV #education #re-engineering #recommendation- Microworld-type Ethnoeducational Computer Materials to Support the Teaching of Nasa-Yuwe — Recommendations from a Software Engineering Disciplines Viewpoint for Constructing Microworld-type Ethnoeducational Materials Aimed at Supporting Nasa Yuwe Language Teaching (LMS, EASC, JAV, TRC, EMV), pp. 526–531.
ICEIS-v3-2013-MalekanA #collaboration #modelling #network #process- Business Process Modeling Languages Supporting Collaborative Networks (HSM, HA), pp. 258–266.
CIKM-2013-LuBL #enterprise #retrieval- Structured positional entity language model for enterprise entity retrieval (CL, LB, WL), pp. 129–138.
ECIR-2013-Franco-SalvadorGR #detection #multi #network #semantics #using- Cross-Language Plagiarism Detection Using a Multilingual Semantic Network (MFS, PG, PR), pp. 710–713.
ECIR-2013-RahimiS #approach #corpus #modelling- A Language Modeling Approach for Extracting Translation Knowledge from Comparable Corpora (RR, AS), pp. 606–617.
ICML-c1-2013-XiaoG #adaptation #probability #sequence- Domain Adaptation for Sequence Labeling Tasks with a Probabilistic Language Adaptation Model (MX, YG), pp. 293–301.
MLDM-2013-SouzaP #random #recognition #word- Sign Language Recognition with Support Vector Machines and Hidden Conditional Random Fields: Going from Fingerspelling to Natural Articulated Words (CRdS, EBP), pp. 84–98.
SEKE-2013-SakamotoWF #design pattern #object-oriented #programming language- Extended Design Patterns in New Object-Oriented Programming Languages (S) (KS, HW, YF), pp. 600–605.
SIGIR-2013-FreitasFOC #approach #graph #linked data #natural language #open data #query #semantics- Answering natural language queries over linked data graphs: a distributional semantics approach (AF, FFdF, SO, EC), pp. 1107–1108.
SIGIR-2013-SordoniNB #dependence #information retrieval #modelling #quantum- Modeling term dependencies with quantum language models for IR (AS, JYN, YB), pp. 653–662.
SIGIR-2013-TureL #information retrieval #modelling- Flat vs. hierarchical phrase-based translation models for cross-language information retrieval (FT, JJL), pp. 813–816.
SKY-2013-SuarezMFM #automation #generative #natural language #semantics #using- Automatic Generation of Semantic Patterns using Techniques of Natural Language Processing (PS, VM, AF, JLM), pp. 34–44.
AMT-2013-NalchigarSC #model transformation #non-functional #requirements #towards- Towards a Catalog of Non-Functional Requirements in Model Transformation Languages (SN, RS, MC), pp. 72–81.
BX-2013-HofmannPW- Edit languages for information trees (MH, BCP, DW), pp. 76–89.
ECMFA-2013-Gogolla #constraints #modelling #ocl- Employing the Object Constraint Language in Model-Based Engineering (MG), pp. 1–2.
ECMFA-2013-Storrle #ad hoc #declarative #named #query- MOCQL: A Declarative Language for Ad-Hoc Model Querying (HS), pp. 3–19.
ICMT-2013-WillinkHK #qvt- Yet Another Three QVT Languages (EDW, HH, DSK), pp. 58–59.
MoDELS-2013-NoyritGT #analysis #domain-specific language #integration #modelling #using- Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques (FN, SG, FT), pp. 505–521.
MoDELS-2013-StorrleF #analysis #physics #towards #visual notation- Towards an Operationalization of the “Physics of Notations” for the Analysis of Visual Languages (HS, AF), pp. 104–120.
MoDELS-2013-NoyritGT #analysis #domain-specific language #integration #modelling #using- Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques (FN, SG, FT), pp. 505–521.
MoDELS-2013-StorrleF #analysis #physics #towards #visual notation- Towards an Operationalization of the “Physics of Notations” for the Analysis of Visual Languages (HS, AF), pp. 104–120.
ECOOP-2013-SujeethRBLCPWPJOO #composition #domain-specific language #reuse- Composition and Reuse with Compiled Domain-Specific Languages (AKS, TR, KJB, HL, HC, VP, MW, AP, VJ, MO, KO), pp. 52–78.
Onward-2013-OhshimaLFK #declarative #framework #interactive #user interface- KScript and KSWorld: a time-aware and mostly declarative language and interactive GUI framework (YO, AL, BF, TK), pp. 117–134.
Onward-2013-TorlakB- Growing solver-aided languages with rosette (ET, RB), pp. 135–152.
OOPSLA-2013-BolzDT- Storage strategies for collections in dynamically typed languages (CFB, LD, LT), pp. 167–182.
OOPSLA-2013-MeyerovichR #analysis #empirical #programming language- Empirical analysis of programming language adoption (LAM, ASR), pp. 1–18.
OOPSLA-2013-TreichlerBA #clustering- Language support for dynamic, hierarchical data partitioning (ST, MB, AA), pp. 495–514.
GPCE-2013-Bodik #biology #modelling #programming language- Modeling biology with solver-aided programming languages (RB), pp. 1–2.
GPCE-2013-ErdwegR #framework- A framework for extensible languages (SE, FR), pp. 3–12.
LOPSTR-2013-AntoyJ #compilation #functional #logic- Compiling a Functional Logic Language: The Fair Scheme (SA, AJ), pp. 202–219.
PPDP-2013-JedynakBB #coq- An operational foundation for the tactic language of Coq (WJ, MB, DB), pp. 25–36.
PPDP-2013-MandelPP #functional #refinement- Time refinement in a functional synchronous language (LM, CP, MP), pp. 169–180.
PPDP-2013-MontenegroPS #analysis #functional #regular expression #using- Shape analysis in a functional language by using regular languages (MM, RP, CS), pp. 251–262.
PADL-2013-BrasselHPR #constraints #equation #functional #implementation- Implementing Equational Constraints in a Functional Language (BB, MH, BP, FR), pp. 125–140.
PADL-2013-DreyMHC #debugging- Reversible Language Extensions and Their Application in Debugging (ZD, JFM, MVH, MC), pp. 206–221.
PADL-2013-FourtounisPR #functional #implementation #lazy evaluation- The Generalized Intensional Transformation for Implementing Lazy Functional Languages (GF, NP, PR), pp. 157–172.
POPL-2013-Adams #parsing- Principled parsing for indentation-sensitive languages: revisiting landin’s offside rule (MDA), pp. 511–522.
POPL-2013-BenzakenCNS #semantics- Static and dynamic semantics of NoSQL languages (VB, GC, KN, JS), pp. 101–114.
POPL-2013-Krishnamurthi #programming language- From principles to programming languages (and back) (SK), pp. 233–234.
POPL-2013-Myers #distributed #how- How languages can save distributed computing (ACM), pp. 315–316.
POPL-2013-StatonL #programming language- Universal properties of impure programming languages (SS, PBL), pp. 179–192.
RE-2013-DwarakanathRS #automation #natural language #requirements #taxonomy- Automatic extraction of glossary terms from natural language requirements (AD, RRR, SS), pp. 314–319.
RE-2013-SchneiderBB #architecture #enterprise #implementation #modelling #requirements- A tool implementation of the unified requirements modeling language as enterprise architect add-in (FS, BB, BB), pp. 334–335.
REFSQ-2013-FerrariGT #clustering #documentation #natural language #requirements #using- Using Clustering to Improve the Structure of Natural Language Requirements Documents (AF, SG, GT), pp. 34–49.
REFSQ-2013-Ott #automation #bibliography #categorisation #natural language #scalability #specification- Automatic Requirement Categorization of Large Natural Language Specifications at Mercedes-Benz for Review Improvements (DO), pp. 50–64.
SAC-OOPS-J-2009-BettiniCD13 #flexibility #java #on the- On flexible dynamic trait replacement for Java-like languages (LB, SC, FD), pp. 907–932.
SAC-PL-J-2011-AcherCLF13 #domain-specific language #feature model #modelling #named #scalability- FAMILIAR: A domain-specific language for large scale management of feature models (MA, PC, PL, RBF), pp. 657–681.
SAC-PL-J-2011-DinkelakerEM13 #compilation #embedded #incremental #syntax- Incremental concrete syntax for embedded languages with support for separate compilation (TD, ME, MM), pp. 615–632.
SAC-2013-Bettini #implementation #java #semantics #xtext- Implementing Java-like languages in Xtext with Xsemantics (LB), pp. 1559–1564.
SAC-2013-CarvalhoFBSMMB #generative #natural language #requirements #specification #testing- Test case generation from natural language requirements based on SCR specifications (GC, DF, FAB, AS, AM, LM, MRB), pp. 1217–1222.
SAC-2013-CelestiniNT #coordination #specification- Specifying and analysing reputation systems with a coordination language (AC, RDN, FT), pp. 1363–1368.
SAC-2013-DelahayeKS #c #dynamic analysis #source code #specification- Common specification language for static and dynamic analysis of C programs (MD, NK, JS), pp. 1230–1235.
SAC-2013-GroppeSW #embedded #xml- Eliminating the XML overhead in embedded XML languages (SG, BS, SW), pp. 542–547.
SAC-2013-GrueauA #modelling #towards- Towards a domain specific modeling language for agent-based models in land use science (CG, JA), pp. 83–85.
SAC-2013-HahnMPM #composition #semantics #web #web service- Formal semantics and expressiveness of a web service composition language (MGH, RM, AP, MAM), pp. 1667–1673.
SAC-2013-HalderC #database #query #slicing- Abstract program slicing of database query languages (RH, AC), pp. 838–845.
SAC-2013-HongJ #named #network #object-oriented #programming language- Meso: an object-oriented programming language for building strongly-typed internet-based network applications (SH, YJJ), pp. 1579–1586.
SAC-2013-LaboreiroBSRO #microblog- Determining language variant in microblog messages (GL, MB, LS, EMR, ECO), pp. 902–907.
SAC-2013-LourencoSM #concurrent- Concurrent typed intermediate language (LML, JCS, FM), pp. 1587–1588.
SAC-2013-MarianiO #probability- Probabilistic embedding: experiments with tuple-based probabilistic languages (SM, AO), pp. 1380–1382.
SAC-2013-SilvaC #exception #interface #java- New exception interfaces for Java-like languages (TBLS, FC), pp. 1661–1666.
SAC-2013-WestermannHF #automation #empirical #performance #specification- An experiment specification language for goal-driven, automated performance evaluations (DW, JH, RF), pp. 1043–1048.
SAC-2013-WoutersG #development #domain-specific language #empirical #metamodelling #modelling- Notation-driven vs metamodel-driven development of domain-specific modeling languages: an empirical study (LW, MPG), pp. 1145–1146.
ESEC-FSE-2013-NguyenNN #migration #statistics- Lexical statistical machine translation for language migration (ATN, TTN, TNN), pp. 651–654.
ESEC-FSE-2013-NguyenNNN #semantics #source code #statistics- A statistical semantic language model for source code (TTN, ATN, HAN, TNN), pp. 532–542.
ICSE-2013-DyerNRN #framework #named #repository #scalability- Boa: a language and infrastructure for analyzing ultra-large-scale software repositories (RD, HAN, HR, TNN), pp. 422–431.
ICSE-2013-HauptmannJEHVB #natural language #smell #testing- Hunting for smells in natural language tests (BH, MJ, SE, LH, RV, PB), pp. 1217–1220.
ICSE-2013-Slankas #data access #database #implementation #natural language #policy- Implementing database access control policy from unconstrained natural language text (JS), pp. 1357–1360.
LDTA-J-2009-AndersenBC #algebra #composition- Banana Algebra: Compositional syntactic language extension (JA, CB, DRC), pp. 1845–1870.
SLE-2013-ErdwegSVBBCGHKLKMPPSSSVVVWW #challenge #state of the art- The State of the Art in Language Workbenches — Conclusions from the Language Workbench Challenge (SE, TvdS, MV, MB, RB, WRC, AG, AH, SK, AL, GDPK, PJM, MP, RP, ES, KS, RS, VAV, EV, KvdV, GW, JvdW), pp. 197–217.
SLE-2013-FehrenbachEO #domain-specific language #evolution- Software Evolution to Domain-Specific Languages (SF, SE, KO), pp. 96–116.
SLE-2013-LammelMV #tool support #wiki- Method and Tool Support for Classifying Software Languages with Wikipedia (RL, DM, AV), pp. 249–259.
SLE-2013-SobernigSB #domain-specific language #energy #scheduling- Developing a Domain-Specific Language for Scheduling in the European Energy Sector (SS, MS, AB), pp. 19–35.
SLE-2013-VacchiCPC #development #domain-specific language #variability- Variability Support in Domain-Specific Language Development (EV, WC, SP, BC), pp. 76–95.
SLE-2013-VasudevanT #ambiguity #detection #programming language- Detecting Ambiguity in Programming Language Grammars (NV, LT), pp. 157–176.
SLE-2013-WachsmuthKVGV #analysis #incremental #independence- A Language Independent Task Engine for Incremental Name and Type Analysis (GW, GDPK, VAV, DMG, EV), pp. 260–280.
SPLC-2013-EichelbergerS #analysis #modelling #variability- A systematic analysis of textual variability modeling languages (HE, KS), pp. 12–21.
SPLC-2013-FerrariSd #documentation #mining #natural language- Mining commonalities and variabilities from natural language documents (AF, GOS, FD), pp. 116–120.
SPLC-2013-HaberHKLRMS #modelling- Engineering delta modeling languages (AH, KH, CK, ML, BR, KM, IS), pp. 22–31.
SPLC-2013-HaugenWC #named #variability- CVL: common variability language (ØH, AW, KC), p. 277.
CC-2013-BhaskaracharyaB #data flow #framework #named #visual notation- PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language (SGB, UB), pp. 123–143.
CGO-2013-ZhangM #named #parallel- Hidp: A hierarchical data parallel language (YZ, FM), p. 11.
LCTES-2013-Wu- HW/SW co-designed acceleration of dynamic languages (YW), pp. 1–2.
PLOS-2013-BurtsevMER #analysis #named #performance #streaming- Weir: a streaming language for performance analysis (AB, NM, EE, RR), p. 6.
CSL-2013-ColcombetKLB #automaton- Deciding the weak definability of Büchi definable tree languages (TC, DK, CL, MVB), pp. 215–230.
CSL-2013-SchmidtW #abduction #complexity #constraints #similarity- The Complexity of Abduction for Equality Constraint Languages (JS, MW), pp. 615–633.
ICLP-J-2013-Balduccini- ASP with non-herbrand partial functions: a language and system for practical use (MB), pp. 547–561.
ICLP-J-2013-BanbaraSTIS #modelling #programming #set- Answer set programming as a modeling language for course timetabling (MB, TS, NT, KI, TS), pp. 783–798.
ICLP-J-2013-Schwitter #challenge #natural language- The jobs puzzle: Taking on the challenge via controlled natural language processing (RS), pp. 487–501.
ICST-2013-AfshanMS #evolution #natural language #string #testing #using- Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost (SA, PM, MS), pp. 352–361.
ICST-2013-SakamotoSTWF #framework #metric #multi #named #programming language #test coverage #tool support- OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages (KS, KS, RT, HW, YF), pp. 422–430.
ICST-2013-Torsel #domain-specific language #model checking #modelling #testing #using #web- A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker (AMT), pp. 383–390.
RTA-2013-BoichutCR #approximate- Over-approximating Descendants by Synchronized Tree Languages (YB, JC, PR), pp. 128–142.
CBSE-2012-RouvoyM #agile #architecture #prototype- Rapid prototyping of domain-specific architecture languages (RR, PM), pp. 13–22.
WICSA-ECSA-2012-TauschPA #analysis #domain-specific language #named #traceability- TracQL: A Domain-Specific Language for Traceability Analysis (NT, MP, JA), pp. 320–324.
WICSA-ECSA-2012-WoodsB #architecture #case study #experience #industrial #information management #scalability #using- Using an Architecture Description Language to Model a Large-Scale Information System — An Industrial Experience Report (EW, RB), pp. 239–243.
CASE-2012-DotoliFIR #agile #modelling #simulation #using- A lean manufacturing strategy using Value Stream Mapping, the Unified Modeling Language, and discrete event simulation (MD, MPF, GI, GR), pp. 668–673.
CASE-2012-LeeB #execution #framework #lifecycle #simulation #using- Executable simulation lifecycle management framework using extensible and interoperable simulation language (HL, AB), pp. 237–242.
DAC-2012-BachrachVRLWAWA #embedded #hardware #named #scala- Chisel: constructing hardware in a Scala embedded language (JB, HV, BR, YL, AW, RA, JW, KA), pp. 1216–1225.
DAC-2012-Harris #design #natural language #specification- Extracting design information from natural language specifications (IGH), pp. 1256–1257.
DRR-2012-MorillotLG #modelling- Construction of language models for an handwritten mail reading system (OM, LLS, EG).
ITiCSE-2012-GinatA #composition #pseudo- Pseudo abstract composition: the case of language concatenation (DG, RA), pp. 28–33.
TFPIE-2012-ODonnell #education #functional #hardware #using- Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (JTO), pp. 20–39.
FASE-2012-LiT #domain-specific language #erlang #refactoring- A Domain-Specific Language for Scripting Refactorings in Erlang (HL, SJT), pp. 501–515.
FASE-2012-LongCMM #abstraction #refinement- Language-Theoretic Abstraction Refinement (ZL, GC, RM, RM), pp. 362–376.
FASE-2012-RuscioMMPP #architecture #modelling- Model-Driven Techniques to Enhance Architectural Languages Interoperability (DDR, IM, HM, PP, AP), pp. 26–42.
FASE-2012-SalayFC #independence #modelling #refinement #using- Language Independent Refinement Using Partial Modeling (RS, MF, MC), pp. 224–239.
FoSSaCS-2012-BolligCGK #model checking #word- Model Checking Languages of Data Words (BB, AC, PG, KNK), pp. 391–405.
FoSSaCS-2012-KurzST #on the #regular expression- On Nominal Regular Languages with Binders (AK, TS, ET), pp. 255–269.
TACAS-2012-HardinSWP #verification- The Guardol Language and Verification System (DSH, KS, MWW, THP), pp. 18–32.
ICPC-2012-KeivanlooRR #clone detection #detection #named #semantics- SeByte: A semantic clone detection tool for intermediate languages (IK, CKR, JR), pp. 247–249.
ICSM-2012-Pollock #analysis #challenge #natural language- Leveraging natural language analysis of software: Achievements, challenges, and opportunities (LLP), p. 4.
SCAM-2012-MayerS #analysis #refactoring- Cross-Language Code Analysis and Refactoring (PM, AS), pp. 94–103.
WCRE-2012-Al-OmariKRR #detection #dot-net #programming language- Detecting Clones Across Microsoft .NET Programming Languages (FAO, IK, CKR, JR), pp. 405–414.
PEPM-2012-GotoS #approach #functional- An approach to completing variable names for implicitly typed functional languages (TG, IS), pp. 131–140.
PEPM-2012-JainZS #nondeterminism- Translating flowcharts to non-deterministic languages (SKJ, CZ, BS), pp. 155–162.
PLDI-2012-DubachCRBF #architecture #compilation- Compiling a high-level language for GPUs: (via language support for architectures and compilers) (CD, PC, RMR, DFB, SJF), pp. 1–12.
PLDI-2012-OhHLLY #analysis #design #implementation- Design and implementation of sparse global analyses for C-like languages (HO, KH, WL, WL, KY), pp. 229–238.
PLDI-2012-ZhangAM- Language-based control and mitigation of timing channels (DZ, AA, ACM), pp. 99–110.
FLOPS-2012-AntoyP #compilation #functional #logic- Compiling a Functional Logic Language: The Basic Scheme (SA, AP), pp. 17–31.
FLOPS-2012-RoseVS #data flow #hybrid #programming language #query- A Data Flow Language for Hybrid Query and Programming Languages (KHR, LV, NS), pp. 228–242.
AFL-J-2011-BrzozowskiL12 #complexity- Quotient Complexity of Star-Free Languages (JAB, BL), pp. 1261–1276.
AFL-J-2011-FazekasLS12 #context-free grammar #on the- On Non-Primitive Palindromic Context-Free Languages (SZF, PL, KST), pp. 1277–1290.
AFL-J-2011-IbarraS12 #bound #linear- Characterizations of Bounded semilinear Languages by One-Way and Two-Way Deterministic Machines (OHI, SS), pp. 1291–1306.
AFL-J-2011-Pin12 #equation- Equational Descriptions of Languages (JÉP), pp. 1227–1240.
DLT-J-2011-ChaturvediOT12 #game studies #infinity- Languages versus ω-Languages in Regular Infinite Games (NC, JO, WT), pp. 985–1000.
DLT-J-2011-ZhengQL12 #automaton #finite #quantum- Some Languages Recognized by Two-Way Finite Automata with Quantum and Classical States (SZ, DQ, LL), pp. 1117–1130.
CIAA-2012-AmarniL #kernel #sequence- Factor and Subsequence Kernels and Signatures of Rational Languages (AA, SL), pp. 313–320.
CIAA-2012-Brzozowski #regular expression- In Search of Most Complex Regular Languages (JAB), pp. 5–24.
CIAA-2012-JahnKL- Regular Ideal Languages and Their Boolean Combinations (FJ, MK, AL), pp. 205–216.
DLT-2012-BealCDJL #decidability #geometry #regular expression- Decidability of Geometricity of Regular Languages (MPB, JMC, JPD, HJ, SL), pp. 62–72.
DLT-2012-BrzozowskiT #regular expression- Quotient Complexities of Atoms of Regular Languages (JAB, HT), pp. 50–61.
DLT-2012-DennunzioFP- Acceptance Conditions for ω-Languages (AD, EF, JP), pp. 320–331.
DLT-2012-EsikO #context-free grammar #on the #word- On Context-Free Languages of Scattered Words (ZÉ, SO), pp. 142–153.
DLT-2012-FlickK #on the- On a Hierarchy of Languages with Catenation and Shuffle (NEF, MK), pp. 452–458.
DLT-2012-GandhiKL #complexity #finite #on the #word- On State Complexity of Finite Word and Tree Languages (AG, BK, JL), pp. 392–403.
DLT-2012-GeffertP- Unary Coded NP-Complete Languages in ASPACE (log log n) (VG, DP), pp. 166–177.
DLT-2012-HanKS #context-free grammar #regular expression- Computing the Edit-Distance between a Regular Language and a Context-Free Language (YSH, SKK, KS), pp. 85–96.
DLT-2012-KetemaS #normalisation #string #termination- Characterizing Languages by Normalization and Termination in String Rewriting — (Extended Abstract) (JK, JGS), pp. 459–464.
DLT-2012-KlimaP #automaton- Biautomata for k-Piecewise Testable Languages (OK, LP), pp. 344–355.
DLT-2012-LehtinenO #context-free grammar #morphism- Homomorphisms Preserving Deterministic Context-Free Languages (TL, AO), pp. 154–165.
DLT-2012-ReidenbachS #pattern matching- Regular and Context-Free Pattern Languages over Small Alphabets (DR, MLS), pp. 130–141.
DLT-2012-Schmid #regular expression- Inside the Class of REGEX Languages (MLS), pp. 73–84.
ICALP-v2-2012-BojanczykL #independence- A Machine-Independent Characterization of Timed Languages (MB, SL), pp. 92–103.
ICALP-v2-2012-BojanczykP #infinity #regular expression #set- Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets (MB, TP), pp. 104–115.
ICALP-v2-2012-DiekertKRW #regular expression- Regular Languages Are Church-Rosser Congruential (VD, MK, KR, TW), pp. 177–188.
ICALP-v2-2012-Torunczyk #problem #word- Languages of Profinite Words and the Limitedness Problem (ST), pp. 377–389.
LATA-2012-Asarin #information management- Measuring Information in Timed Languages (EA), pp. 1–2.
LATA-2012-Dowek #automaton #formal method #physics #quantum- Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory (GD), pp. 21–37.
LATA-2012-DubeLT #regular expression- Conservative Groupoids Recognize Only Regular Languages (DD, ML, PT), pp. 216–227.
LATA-2012-GeilkeZ #algorithm #learning #pattern matching #polynomial- Polynomial-Time Algorithms for Learning Typed Pattern Languages (MG, SZ), pp. 277–288.
LATA-2012-Genova #normalisation #set- Forbidding Sets and Normal Forms for Language Forbidding-Enforcing Systems (DG), pp. 289–300.
LATA-2012-Hetzl #proving- Applying Tree Languages in Proof Theory (SH), pp. 301–312.
LATA-2012-Rabkin- Ogden’s Lemma for ET0L Languages (MR), pp. 458–467.
IFM-2012-RochaCMS #execution #interactive #verification- A Formal Interactive Verification Environment for the Plan Execution Interchange Language (CR, HC, CAM, RS), pp. 343–357.
SEFM-2012-NikolicPZ #imperative #modelling #rule-based #simulation- A Rule-Based and Imperative Language for Biochemical Modeling and Simulation (DN, CP, RZ), pp. 16–32.
SFM-2012-CabotG #constraints #ocl- Object Constraint Language (OCL): A Definitive Guide (JC, MG), pp. 58–90.
ICFP-2012-Axelsson #embedded #syntax- A generic abstract syntax model for embedded languages (EA), pp. 323–334.
ICFP-2012-Olukotun #domain-specific language #embedded #performance- High performance embedded domain specific languages (KO), pp. 139–140.
ICFP-2012-Sheard #design #programming #reduction- Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages (TES), pp. 89–102.
IFL-2012-SculthorpeFG #haskell #program transformation- The HERMIT in the Tree — Mechanizing Program Transformations in the GHC Core Language (NS, AF, AG), pp. 86–103.
GT-VMT-2012-BrugginkHK #automaton #graph #towards- Towards Alternating Automata for Graph Languages (HJSB, MH, BK).
ICGT-2012-Ong #graph transformation #multi #programming language #rule-based #using- Multi-scale Rule-Based Graph Transformation Using the Programming Language XL (YO), pp. 417–419.
CHI-2012-BaoHCQHG #named #wiki- Omnipedia: bridging the wikipedia language gap (PB, BH, SC, MQ, MSH, DG), pp. 1075–1084.
CHI-2012-BogartBDAW #case study #debugging #design #interactive #programming- Designing a debugging interaction language for cognitive modelers: an initial case study in natural programming plus (CB, MMB, SD, HA, RW), pp. 2469–2478.
CHI-2012-DearmanT #using- Evaluating the implicit acquisition of second language vocabulary using a live wallpaper (DD, KNT), pp. 1391–1400.
CHI-2012-DenefK #design #pattern matching- Talking about implications for design in pattern language (SD, DVK), pp. 2509–2518.
CHI-2012-LeivaA #automation #exclamation- Monsieur, azonnal kövessen engem bitte!: an automatically generated interlanguage tailored to speakers of minority but culturally influenced languages (LAL, VA), pp. 31–34.
CHI-2012-MetoyerLRC #comprehension #visualisation- Understanding the verbal language and structure of end-user descriptions of data visualizations (RAM, BL, NHR, MC), pp. 1659–1662.
CHI-2012-PiperWH #authoring #game studies #interactive #process #tool support- TAP & PLAY: an end-user toolkit for authoring interactive pen and paper language activities (AMP, NW, JDH), pp. 149–158.
AdaEurope-2012-Tempelmeier #ada #concept #education #programming language- Teaching “Concepts of Programming Languages” with Ada (TT), pp. 60–74.
HILT-2012-Leino12a #proving #using #verification #why- Program proving using intermediate verification languages (IVLs) like boogie and why3 (KRML), pp. 25–26.
HILT-2012-Steele #lifecycle #programming language- Programming language life cycles (GLSJ), pp. 95–96.
CAiSE-2012-LaraGC #approach #modelling- Abstracting Modelling Languages: A Reutilization Approach (JdL, EG, JSC), pp. 127–143.
CAiSE-2012-LeopoldMP #generative #modelling #natural language #process- Generating Natural Language Texts from Business Process Models (HL, JM, AP), pp. 64–79.
ICEIS-J-2012-VianaPP12a #domain-specific language #framework #modelling- Building Domain-Specific Modeling Languages for Frameworks (MCV, RADP, AFdP), pp. 191–206.
ICEIS-v1-2012-TeguiakAJS #database #modelling #named- MQL: A Mapping Management Language for Model-based Databases (HVT, YAA, SJ, ÉS), pp. 145–150.
ICEIS-v2-2012-FreireCGL #modelling #multi #named- NorMAS-ML — A Modeling Language to Model Normative Multi-agent Systems (ESSF, MIC, EJTG, YSL), pp. 113–119.
ICEIS-v2-2012-VianaPP #domain-specific language #framework #generative #modelling #reuse- Generating Applications — Framework Reuse Supported by Domain-Specific Modeling Languages (MCV, RDP, AFdP), pp. 5–14.
CIKM-2012-BaeK #classification #effectiveness #recommendation- An effective category classification method based on a language model for question category recommendation on a cQA service (KB, YK), pp. 2255–2258.
CIKM-2012-DarwishMM #microblog #retrieval- Language processing for arabic microblog retrieval (KD, WM, AM), pp. 2427–2430.
CIKM-2012-ReyesD #natural language #preprocessor- Preprocessing of informal mathematical discourse in context ofcontrolled natural language (REGdPR, JFDF), pp. 1632–1636.
ECIR-2012-ChhedaFM #word- Handling OOV Words in Indian-language — English CLIR (PC, MF, PM), pp. 476–479.
ECIR-2012-Garcia-MoyaAL #modelling #probability #retrieval #sentiment- Combining Probabilistic Language Models for Aspect-Based Sentiment Retrieval (LGM, HAS, RBL), pp. 561–564.
ECIR-2012-KarimzadehganZ #analysis #axiom #information retrieval- Axiomatic Analysis of Translation Language Model for Information Retrieval (MK, CZ), pp. 268–280.
ECIR-2012-LiG #information retrieval- An Information-Based Cross-Language Information Retrieval Model (BL, ÉG), pp. 281–292.
ECIR-2012-ParaparB #clustering #constraints #modelling- Language Modelling of Constraints for Text Clustering (JP, AB), pp. 352–363.
ICML-2012-GuoX #classification #learning #multi- Cross Language Text Classification via Subspace Co-regularized Multi-view Learning (YG, MX), p. 120.
ICML-2012-MatuszekFZBF #learning- A Joint Model of Language and Perception for Grounded Attribute Learning (CM, NF, LSZ, LB, DF), p. 186.
ICML-2012-MnihT #algorithm #modelling #performance #probability- A fast and simple algorithm for training neural probabilistic language models (AM, YWT), p. 58.
ICPR-2012-FrinkenZBBFB #memory management #modelling #network #recognition- Long-short term memory neural networks language modeling for handwriting recognition (VF, FZM, SEB, MJCB, AF, HB), pp. 701–704.
KDD-2012-Mayer #identification #internet #multi- Bootstrapped language identification for multi-site internet domains (UFM), pp. 579–585.
KEOD-2012-AygulCC #multi #natural language #ontology #query- Natural Language Query Processing in Multimedia Ontologies (FAA, NKC, IC), pp. 66–75.
KR-2012-BaralL #declarative #reasoning #representation- From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP (CB, SL).
KR-2012-HalpernK #ambiguity #difference- Ambiguous Language and Differences in Beliefs (JYH, WK).
SEKE-2012-AlbuquerquePL #approach #case study #experience #natural language #requirements #reuse- Reuse of Experiences Applied to Requirements Engineering: An Approach Based on Natural Language Processing (AA, VP, TL), pp. 574–577.
SEKE-2012-ConradoC #domain-specific language #embedded #visual notation- Engineering Graphical Domain Specific Languages to Develop Embedded Robot Applications (DBFC, VVdC), pp. 495–498.
SEKE-2012-HumairaSOWF #framework #metric #multi #programming language #source code #towards- Towards a Unified Source Code Measurement Framework Supporting Multiple Programming Languages (RH, KS, AO, HW, YF), pp. 480–485.
SEKE-2012-NarkngamL #diagrams #domain-specific language #process #uml- Rendering UML Activity Diagrams as a Domain Specific Language — ADL (CN, YL), pp. 724–729.
SIGIR-2012-TsagkiasB #behaviour #modelling- Language intent models for inferring user browsing behavior (MT, RB), pp. 335–344.
SIGIR-2012-TureLO #information retrieval- Looking inside the box: context-sensitive translation for cross-language information retrieval (FT, JJL, DWO), pp. 1105–1106.
ICMT-J-2011-WimmerKKRSSKPLSW12 #inheritance #model transformation- Surveying Rule Inheritance in Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS, DSK, RFP, ML, AS, DW), pp. 1–46.
BX-2012-Zaytsev #evolution- Language Evolution, Metasyntactically (VZ), pp. 38–54.
ECMFA-2012-GoldschmidtM #domain-specific language #query- An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters (TG, WM), pp. 62–73.
ECMFA-2012-KolovosRWMP #approach #documentation #lightweight #xml- A Lightweight Approach for Managing XML Documents with MDE Languages (DSK, LMR, JRW, NDM, RFP), pp. 118–132.
ECMFA-2012-LaraG #metamodelling #modelling- Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering (JdL, EG), pp. 259–274.
ECMFA-2012-PfeifferW #development #multi #named- TexMo: A Multi-language Development Environment (RHP, AW), pp. 178–193.
ICMT-2012-Cuadrado #model transformation #product line #towards- Towards a Family of Model Transformation Languages (JSC), pp. 176–191.
ICMT-2012-GeorgeWS #domain-specific language #model transformation #scala #type safety- Type-Safe Model Transformation Languages as Internal DSLs in Scala (LG, AW, MS), pp. 160–175.
ICMT-2012-PachecoC #bidirectional #model transformation #multi #named #xml- Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas (HP, AC), pp. 89–104.
ICMT-2012-WagelaarIRP #co-evolution #emf #semantics #virtual machine- Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine (DW, LI, DDR, AP), pp. 192–207.
ICMT-2012-WimmerKKRSS #model transformation #reuse #rule-based- Fact or Fiction — Reuse in Rule-Based Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS), pp. 280–295.
MoDELS-2012-JacksonSB #constraints #declarative #detection #fault #specification- Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.
MoDELS-2012-PfeifferW #development- Cross-Language Support Mechanisms Significantly Aid Software Development (RHP, AW), pp. 168–184.
MoDELS-2012-RabbiM #agile #development #domain-specific language #workflow- T□: A Domain Specific Language for Rapid Workflow Development (FR, WM), pp. 36–52.
MoDELS-2012-JacksonSB #constraints #declarative #detection #fault #specification- Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.
MoDELS-2012-PfeifferW #development- Cross-Language Support Mechanisms Significantly Aid Software Development (RHP, AW), pp. 168–184.
MoDELS-2012-RabbiM #agile #development #domain-specific language #workflow- T□: A Domain Specific Language for Rapid Workflow Development (FR, WM), pp. 36–52.
ECOOP-2012-Ancona #induction #object-oriented #semantics- Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics (DA), pp. 459–483.
ECOOP-2012-BonoKM #composition #named- Magda: A New Language for Modularity (VB, JK, MM), pp. 560–588.
ECOOP-2012-LeeGHM #metaprogramming #named- Marco: Safe, Expressive Macros for Any Language (BL, RG, MH, KSM), pp. 589–613.
ECOOP-2012-MorandatHOV #data analysis #design- Evaluating the Design of the R Language — Objects and Functions for Data Analysis (FM, BH, LO, JV), pp. 104–131.
Onward-2012-Gabriel #programming language- The structure of a programming language revolution (RPG), pp. 195–214.
Onward-2012-HafizAJ #pattern matching #security- Growing a pattern language (for security) (MH, PA, REJ), pp. 139–158.
Onward-2012-Heinlein #composition #named #programming language #static typing- MOST-flexiPL: modular, statically typed, flexibly extensible programming language (CH), pp. 159–178.
Onward-2012-MeyerovichR #named #programming language- Socio-PLT: principles for programming language adoption (LAM, ASR), pp. 39–54.
OOPSLA-2012-Anderson #fine-grained #parallel #policy #resource management #using- Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies (ZRA), pp. 717–736.
OOPSLA-2012-CastanosEINNOW #compilation #jit #on the #scripting language #static typing- On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages (JGC, DE, KI, PN, TN, TO, PW), pp. 195–212.
OOPSLA-2012-MullerC #concurrent #towards- Towards a practical secure concurrent language (SM, SC), pp. 57–74.
PLATEAU-2012-MeyerovichR12a #bibliography #case study #developer #experience #how #repository- How not to survey developers and repositories: experiences analyzing language adoption (LAM, ASR), pp. 7–16.
PLATEAU-2012-SpinellisKL #comparative #programming language #testing- Comparative language fuzz testing: programming languages vs. fat fingers (DS, VK, PL), pp. 25–34.
PLATEAU-2012-UrmaM #evolution #programming language #query #source code- Programming language evolution via source code query languages (RGU, AM), pp. 35–38.
TOOLS-EUROPE-2012-FavreLSV #community #named- 101companies: A Community Project on Software Technologies and Software Languages (JMF, RL, TS, AV), pp. 58–74.
TOOLS-EUROPE-2012-MarrD #abstraction #concurrent #identification #implementation #multi #virtual machine- Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual Machines (SM, TD), pp. 171–186.
TOOLS-EUROPE-2012-SoekenWD #behaviour #development #natural language #using- Assisted Behavior Driven Development Using Natural Language Processing (MS, RW, RD), pp. 269–287.
GPCE-2012-EfftingeEKZMHH #domain-specific language #implementation #java #named- Xbase: implementing domain-specific languages for Java (SE, ME, JK, SZ, RvM, WH, MH), pp. 112–121.
LOPSTR-2012-ChristiansenHLP #data analysis #declarative #pipes and filters- A Declarative Pipeline Language for Complex Data Analysis (HC, CTH, OTL, MP), pp. 17–34.
PPDP-2012-PlasmeijerLMAK #functional #programming- Task-oriented programming in a pure functional language (RP, BL, SM, PA, PWMK), pp. 195–206.
PADL-2012-BradyH #domain-specific language #embedded #programming- Resource-Safe Systems Programming with Embedded Domain Specific Languages (EB, KH), pp. 242–257.
PADL-2012-BromanN #equation #modelling #object-oriented #semantics- Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages (DB, HN), pp. 258–272.
POPL-2012-HeideggerBT #contract #scripting language- Access permission contracts for scripting languages (PH, AB, PT), pp. 111–122.
POPL-2012-MonsantoFHW #compilation #network #programming language #runtime- A compiler and run-time system for network programming languages (CM, NF, RH, DW), pp. 217–230.
POPL-2012-Rexford #network #programmable #programming language- Programming languages for programmable networks (JR), pp. 215–216.
POPL-2012-YangYS #automation #policy #privacy- A language for automatically enforcing privacy policies (JY, KY, ASL), pp. 85–96.
RE-2012-BerenbachSN #industrial #modelling #requirements- The use of a requirements modeling language for industrial applications (BB, FS, HN), pp. 285–290.
RE-2012-Ott #fault #legacy #natural language #specification #using- Defects in natural language requirement specifications at Mercedes-Benz: An investigation using a combination of legacy data and expert opinion (DO), pp. 291–296.
RE-2012-ShakerAW #feature model #modelling #requirements- A feature-oriented requirements modelling language (PS, JMA, SW), pp. 151–160.
RE-2012-YangRGWN #automation #detection #natural language #nondeterminism #requirements- Speculative requirements: Automatic detection of uncertainty in natural language requirements (HY, ANDR, VG, AW, BN), pp. 11–20.
REFSQ-2012-QureshiJP #adaptation #modelling #requirements #self #towards- Towards a Requirements Modeling Language for Self-Adaptive Systems (NAQ, IJ, AP), pp. 263–279.
SAC-PL-J-2009-J-BiggarVG12 #compilation #scripting language- A practical solution for achieving language compatibility in scripting language compilers (PB, EdV, DG), pp. 971–989.
SAC-2012-BromanFHA #comparison #domain-specific language #implementation- A comparison of two metacompilation approaches to implementing a complex domain-specific language (DB, PF, GH, JÅ), pp. 1919–1921.
SAC-2012-ChiprianovKR #architecture #enterprise #modelling- Extending Enterprise Architecture Modeling Languages: application to telecommunications service creation (VC, YK, SR), pp. 1661–1666.
SAC-2012-GjondrekajLPT #adaptation #coordination #modelling- Modeling adaptation with a tuple-based coordination language (EG, ML, RP, FT), pp. 1522–1527.
SAC-2012-MetivierBCKL #constraints #declarative- A constraint language for declarative pattern discovery (JPM, PB, BC, MK, SL), pp. 119–125.
SAC-2012-PozzaniC #named #query #sql- ST4SQL: a spatio-temporal query language dealing with granularities (GP, CC), pp. 23–25.
SAC-2012-PriamiQZ #biology #graph #imperative #self- An imperative language of self-modifying graphs for biological systems (CP, PQ, RZ), pp. 1903–1909.
SAC-2012-ScholteRBK #analysis #empirical #validation #web- An empirical analysis of input validation mechanisms in web applications and languages (TS, WKR, DB, EK), pp. 1419–1426.
FSE-2012-CugolaGPT #adaptation #declarative #mobile #named- SelfMotion: a declarative language for adaptive service-oriented mobile apps (GC, CG, LSP, GT), p. 7.
FSE-2012-DiGiuseppeJ #automation #fault #semantics- Semantic fault diagnosis: automatic natural-language fault descriptions (ND, JAJ), p. 23.
FSE-2012-XiaoPTX #automation #documentation #policy #security- Automated extraction of security policies from natural-language software documents (XX, AMP, ST, TX), p. 12.
ICSE-2012-AtkinsonGK #domain-specific language- Symbiotic general-purpose and domain-specific languages (CA, RG, BK), pp. 1269–1272.
ICSE-2012-Faghih #modelling- Model translations among big-step modeling languages (FF), pp. 1555–1558.
ICSE-2012-IwamaNT #industrial #natural language #parsing #specification- Constructing parser for industrial software specifications containing formal and natural language description (FI, TN, HT), pp. 1012–1021.
ICSE-2012-NguyenNNN #detection #named #web- BabelRef: Detection and renaming tool for cross-language program entities in dynamic web applications (HVN, HAN, TTN, TNN), pp. 1391–1394.
ICSE-2012-PanditaXZXOP #api #natural language #specification- Inferring method specifications from natural language API descriptions (RP, XX, HZ, TX, SO, AMP), pp. 815–825.
ICSE-2012-VoelterP #composition- Language modularity with the MPS language workbench (MV, VP), pp. 1449–1450.
LDTA-2012-ErdwegGR #composition- Language composition untangled (SE, PGG, TR), p. 7.
LDTA-2012-JongeV #refactoring- A language generic solution for name binding preservation in refactorings (MdJ, EV), p. 2.
LDTA-2012-LinckeS #concept #higher-order #object-oriented- From HOT to COOL: transforming higher-order typed languages to concept-constrained object-oriented languages (DL, SS), p. 3.
LDTA-2012-Voigtlander #bidirectional #programming language- Programming language approaches to bidirectional transformation (JV), p. 1.
SLE-2012-HillsKV #metalanguage #type safety- Meta-language Support for Type-Safe Access to External Resources (MH, PK, JJV), pp. 372–391.
PLEASE-2012-AcherMHCL #feature model #modelling #tool support- Languages and tools for managing feature models (MA, RM, PH, PC, PL), pp. 25–28.
LCTES-2012-GerardGPP #array #compilation #composition #data flow #memory management #optimisation- A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler (LG, AG, CP, MP), pp. 51–60.
PPoPP-2012-BonettaPPB #named #rest #scripting language #web #web service- S: a scripting language for high-performance RESTful web services (DB, AP, CP, WB), pp. 97–106.
PPoPP-2012-KamilCBCGHMF #domain-specific language #effectiveness #embedded #parallel #performance- Portable parallel performance from sequential, productive, embedded domain-specific languages (SK, DC, SB, HC, EG, JH, JM, AF), pp. 303–304.
PPoPP-2012-LeissaHW #programming- Extending a C-like language for portable SIMD programming (RL, SH, IW), pp. 65–74.
CAV-2012-LahiriHKR #imperative #named #semantics #source code- SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs (SKL, CH, MK, HR), pp. 712–717.
CSL-2012-GrandjeanO #complexity- Descriptive complexity for pictures languages (EG, FO), pp. 274–288.
ICLP-2012-BacciCFV #automation #functional #logic #specification #synthesis- The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (GB, MC, MAF, AV), pp. 144–153.
ICLP-2012-ZomboriCS #constraints #logic programming #static typing #type inference #using- Static Type Inference for the Q language using Constraint Logic Programming (ZZ, JC, PS), pp. 119–129.
ICST-2012-DurelliOD #mutation testing #testing #towards #virtual machine- Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing (VHSD, JO, MED), pp. 681–690.
ICST-2012-GligoricMM #model checking #named #programming language- X10X: Model Checking a New Programming Language with an “Old” Model Checker (MG, PCM, DM), pp. 11–20.
ICST-2012-Li #automation #testing- A Smart Structured Test Automation Language (SSTAL) (NL), pp. 471–474.
LICS-2012-Hoshino #call-by #combinator #semantics- Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects (NH), pp. 385–394.
LICS-2012-JainMS #complexity- The Complexity of Verbal Languages over Groups (SJ, AM, FS), pp. 405–414.
LICS-2012-Jancar #decidability #equivalence #first-order- Decidability of DPDA Language Equivalence via First-Order Grammars (PJ), pp. 415–424.
LICS-2012-KrebsS #first-order- Non-definability of Languages by Generalized First-order Formulas over (N, +) (AK, AVS), pp. 451–460.
ECSA-2011-BarbosaBGS #architecture #aspect-oriented #named #product line- PL-AspectualACME: An Aspect-Oriented Architectural Description Language for Software Product Lines (EAB, TVB, AFG, ES), pp. 139–146.
ECSA-2011-DemirliT #architecture- Software Language Engineering of Architectural Viewpoints (ED, BT), pp. 336–343.
ECSA-2011-SilvaB #architecture #specification #using- A Model for Specifying Rationale Using an Architecture Description Language (LdS, DB), pp. 319–327.
ASE-2011-AcherCLF11a #feature model #modelling- Decomposing feature models: language, environment, and applications (MA, PC, PL, RBF), pp. 600–603.
ASE-2011-BacchelliCLM #documentation #natural language #semiparsing- Extracting structured data from natural language documents with island parsing (AB, AC, ML, AM), pp. 476–479.
ASE-2011-HillPV #code search #natural language #source code- Improving source code search with natural language phrasal representations of method signatures (EH, LLP, KVS), pp. 524–527.
ASE-2011-KimmigMM #natural language #query #source code- Querying source code with natural language (MK, MM, MM), pp. 376–379.
ASE-2011-Li #consistency #natural language #requirements #towards- Toward consistency checking of natural language temporal requirements (WL), pp. 651–655.
DAC-2011-AuerbachBCRS #hardware #object-oriented- Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language (JSA, DFB, PC, RMR, SS), pp. 890–894.
DocEng-2011-CardosoJLRC #independence #performance- An efficient language-independent method to extract content from news webpages (ETC, IVJ, ESL, RR, PC), pp. 121–128.
ICDAR-2011-ChowdhuryGC #finite #online #recognition #transducer- A Weighted Finite-State Transducer (WFST)-Based Language Model for Online Indic Script Handwriting Recognition (SC, UG, TC), pp. 599–602.
ICDAR-2011-LiMV #visual notation- Symbol Knowledge Extraction from a Simple Graphical Language (JL, HM, CVG), pp. 608–612.
ICDAR-2011-SaabniE #independence #using- Language-Independent Text Lines Extraction Using Seam Carving (RS, JES), pp. 563–568.
ICDAR-2011-Smith #modelling- Limits on the Application of Frequency-Based Language Models to OCR (RS), pp. 538–542.
ICDAR-2011-SongXZYZ #algorithm #documentation #image #multi- A Handwritten Character Extraction Algorithm for Multi-language Document Image (YS, GX, YZ, LY, LZ), pp. 93–98.
PODS-2011-AbiteboulBGA #data transformation #rule-based #web- A rule-based language for web data management (SA, MB, AG, ÉA), pp. 293–304.
VLDB-2011-BeyerEGBEKOS #data analysis #named #scalability #scripting language #semistructured data- Jaql: A Scripting Language for Large Scale Semistructured Data Analysis (KSB, VE, RG, AB, MYE, CCK, FÖ, EJS), pp. 1272–1283.
VLDB-2011-FurcheGGSS #named #scalability #web- OXPath: A Language for Scalable, Memory-efficient Data Extraction from Web Applications (TF, GG, GG, CS, AJS), pp. 1016–1027.
CSEET-2011-NanzTPM #assessment #concurrent #education #empirical- Empirical assessment of languages for teaching concurrency: Methodology and application (SN, FT, MP, BM), pp. 477–481.
ITiCSE-2011-BowerM #comparison #learning- Continual and explicit comparison to promote proactive facilitation during second computer language learning (MB, AM), pp. 218–222.
ITiCSE-2011-MselleM #concept #education #memory management #programming- The impact of memory transfer language (MTL) in reducing misconceptions in teaching programming to novices (LJM, RM), p. 388.
ITiCSE-2011-OliveiraMR11a #case study #natural language #programming- Natural language in introductory programming: an experimental study (OLO, AMM, NTR), p. 363.
ITiCSE-2011-TremblayL- A marking language for the oto assignment marking tool (GT, PL), pp. 148–152.
ESOP-2011-KoutavasH #encryption #higher-order #testing- A Testing Theory for a Higher-Order Cryptographic Language — (Extended Abstract) (VK, MH), pp. 358–377.
FASE-2011-EsmaeilsabzaliD #modelling #quality #semantics- Semantic Quality Attributes for Big-Step Modelling Languages (SE, NAD), pp. 65–80.
FoSSaCS-2011-Hoshino #functional #linear #programming language- A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy (NH), pp. 320–334.
FoSSaCS-2011-MollerS #context-free grammar #html #validation- HTML Validation of Context-Free Languages (AM, MS), pp. 426–440.
ICPC-J-2009-StefikG11 #empirical #programming language- Empirical studies on programming language stimuli (AS, EG), pp. 65–99.
SCAM-J-2009-LammelZ11 #grammar recovery #java #specification- Recovering grammar relationships for the Java Language Specification (RL, VZ), pp. 333–378.
ICPC-2011-StefikSSS #programming language #towards- Toward Intuitive Programming Languages (AS, SS, KS, MS), pp. 213–214.
ICSM-2011-RastkarMB #generative #natural language #source code #summary- Generating natural language summaries for crosscutting source code concerns (SR, GCM, AWJB), pp. 103–112.
MSR-2011-CallauRTR #developer #how #programming language #smalltalk- How developers use the dynamic features of programming languages: the case of smalltalk (OC, RR, ÉT, DR), pp. 23–32.
MSR-2011-KarusG #case study #evolution #open source- A study of language usage evolution in open source software (SK, HCG), pp. 13–22.
PEPM-2011-Mogensen #partial evaluation- Partial evaluation of the reversible language janus (TÆM), pp. 23–32.
PEPM-2011-WangG #embedded #programming #protocol- An embedded language for programming protocol stacks in embedded systems (YW, VG), pp. 63–72.
PLDI-2011-AnselMETCSSBY #compilation #independence #self- Language-independent sandboxing of just-in-time compilation and self-modifying code (JA, PM, ÚE, ET, BC, DLS, DS, CB, BY), pp. 355–366.
PLDI-2011-LiTOKCSH #data flow #hardware #named- Caisson: a hardware description language for secure information flow (XL, MT, JO, VK, FTC, TS, BH), pp. 109–120.
PLDI-2011-PrabhuGZJA #commutative #parallel #programming #set- Commutative set: a language extension for implicit parallel programming (PP, SG, YZ, NPJ, DIA), pp. 1–11.
PLDI-2011-Tobin-HochstadtSCFF #library- Languages as libraries (STH, VSA, RC, MF, MF), pp. 132–141.
DLT-J-2009-BertoniCR11 #context-free grammar #problem- The Inclusion Problem of Context-Free Languages: Some Tractable Cases (AB, CC, RR), pp. 289–299.
DLT-J-2009-BrzozowskiGS11 #formal method #theorem- Closures in Formal Languages and Kuratowski’s Theorem (JAB, EG, JS), pp. 301–321.
DLT-J-2009-Fazekas11 #regular expression- Powers of Regular Languages (SZF), pp. 323–330.
DLT-J-2009-GazdagN11 #theorem- A Kleene Theorem for Bisemigroup and binoid Languages (ZG, ZLN), pp. 427–446.
CIAA-J-2010-DiekertK11 #regular expression- It is NL-Complete to Decide Whether a Hairpin Completion of Regular Languages is Regular (VD, SK), pp. 1813–1828.
DLT-J-2010-Giammarresi11 #subclass- Exploring inside Tiling Recognizable Picture Languages to Find Deterministic subclasses (DG), pp. 1519–1532.
DLT-J-2010-JiraskovaM11 #complexity #regular expression- Complexity in Union-Free Regular Languages (GJ, TM), pp. 1639–1653.
AFL-2011-BrzozowskiJLS #complexity #regular expression- Quotient Complexity of Bifix-, Factor-, and Subword-Free Regular Languages (JAB, GJ, BL, JS), pp. 123–137.
AFL-2011-BrzozowskiL #complexity- Quotient Complexity of Star-Free Languages (JAB, BL), pp. 138–152.
AFL-2011-CanoJ- Varieties of Languages and Frontier Check (AC, EJ), pp. 153–167.
AFL-2011-HolzerJK- The Chop of Languages (MH, SJ, MK), pp. 197–210.
AFL-2011-IbarraS #bound #linear- Characterizations of Bounded Semilinear Languages by One-Way and Two-way Deterministic Machines (OHI, SS), pp. 211–224.
AFL-2011-Ito #strict- K-Restricted Duplication Closure of Languages (MI), pp. 28–33.
AFL-2011-Pin #equation- Equational descriptions of languages (JÉP), pp. 50–63.
CIAA-2011-BechetDF #strict- Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages (DB, AJD, AF), pp. 42–52.
CIAA-2011-HolzerKM #complexity #nondeterminism- Nondeterministic State Complexity of Star-Free Languages (MH, MK, KM), pp. 178–189.
DLT-2011-BattaglinoFFR #encoding #regular expression- Encoding Centered Polyominoes by Means of a Regular Language (DB, JMF, AF, SR), pp. 464–465.
DLT-2011-BonizzoniJ #constant- Regular Splicing Languages Must Have a Constant (PB, NJ), pp. 82–92.
DLT-2011-BrzozowskiY #complexity- Syntactic Complexity of Ideal and Closed Languages (JAB, YY), pp. 117–128.
DLT-2011-ChaturvediOT #game studies #infinity- Languages vs. ω-Languages in Regular Infinite Games (NC, JO, WT), pp. 180–191.
DLT-2011-HolzerKL- Nodes Connected by Path Languages (MH, MK, UL), pp. 276–287.
DLT-2011-HundeshagenO #automaton #regular expression- Characterizing the Regular Languages by Nonforgetting Restarting Automata (NH, FO), pp. 288–299.
DLT-2011-KortelainenS #bound #context-free grammar- There Does Not Exist a Minimal Full Trio with Respect to Bounded Context-Free Languages (JK, TS), pp. 312–323.
DLT-2011-SelivanovK #algebra #regular expression- Boolean Algebras of Regular Languages (VLS, AK), pp. 386–396.
DLT-2011-Shur- Growth Properties of Power-Free Languages (AMS), pp. 28–43.
ICALP-v2-2011-BenediktPR #cost analysis- The Cost of Traveling between Languages (MB, GP, CR), pp. 234–245.
ICALP-v2-2011-CartonCP #linear #order #regular expression #word- Regular Languages of Words over Countable Linear Orderings (OC, TC, GP), pp. 125–136.
ICALP-v2-2011-SuenagaH #hybrid #modelling #programming- Programming with Infinitesimals: A While-Language for Hybrid System Modeling (KS, IH), pp. 392–403.
LATA-2011-AnselmoGM #classification #string- Classification of String Languages via Tiling Recognizable Picture Languages (MA, DG, MM), pp. 105–116.
LATA-2011-BerglundBH- Recognizing Shuffled Languages (MB, HB, JH), pp. 142–154.
LATA-2011-CaseJLOSS #automation #learning #pattern matching #subclass- Automatic Learning of Subclasses of Pattern Languages (JC, SJ, TDL, YSO, PS, FS), pp. 192–203.
LATA-2011-CharlierDHS #finite- Finite Orbits of Language Operations (EC, MD, TH, JS), pp. 204–215.
LATA-2011-ChatterjeeF- Finitary Languages (KC, NF), pp. 216–226.
LATA-2011-Gelderie #automaton #regular expression- Classifying Regular Languages via Cascade Products of Automata (MG), pp. 286–297.
SFM-2011-ClarkeDHJSSSW #behaviour #modelling #variability- Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language (DC, ND, RH, EBJ, IS, JS, RS, PYHW), pp. 417–457.
CEFP-2011-Pali- Extending Little Languages into Big Systems (GP), pp. 499–516.
ICFP-2011-AhmedB #continuation #multi #semantics- An equivalence-preserving CPS translation via multi-language semantics (AA, MB), pp. 431–444.
ICFP-2011-ChyzakD #generative #ml #runtime #using #web- Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web (FC, AD), pp. 259–265.
ICFP-2011-FisherFWZ #named #programming #tool support- Forest: a language and toolkit for programming with filestores (KF, NF, DW, KQZ), pp. 292–306.
ICFP-2011-FosterHFMRSW #named #network #programming language- Frenetic: a network programming language (NF, RH, MJF, CM, JR, AS, DW), pp. 279–291.
ICFP-2011-OhoriU #database #ml #programming language #standard- Making standard ML a practical database programming language (AO, KU), pp. 307–319.
ICFP-2011-UenoOO #functional #garbage collection #performance- An efficient non-moving garbage collector for functional languages (KU, AO, TO), pp. 196–208.
IFL-2011-PerssonAS #embedded #monad- Generic Monadic Constructs for Embedded Languages (AP, EA, JS), pp. 85–99.
IFL-2011-Thomsen #functional #logic #optimisation #using- Describing and Optimising Reversible Logic Using a Functional Language (MKT), pp. 148–163.
GT-VMT-2011-BottoniF #diagrams #specification #visual notation- A visual language for temporal specifications based on Spider diagrams (PB, AF).
GT-VMT-2011-BrugginkH #decidability #graph- Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages (HJSB, MH).
CHI-2011-EdgeSCZL #learning #mobile #named- MicroMandarin: mobile language learning in context (DE, ES, KC, JZ, JAL), pp. 3169–3178.
CHI-2011-HailpernDHKDH #named #towards- ACES: promoting empathy towards aphasia through language distortion emulation software (JMH, MD, AH, KK, GD, JH), pp. 609–618.
CHI-2011-TrustyT #learning #web- Augmenting the web for second language vocabulary learning (AT, KNT), pp. 3179–3188.
CSCW-2011-HautasaariBII #collaboration #grid- Intercultural collaboration with the language grid toolbox (AMJH, NBA, RI, TI), pp. 579–580.
CSCW-2011-TangCDRSH #facebook #self- A tale of two languages: strategic self-disclosure via language selection on facebook (DT, TC, ND, AR, WCS, JTH), pp. 387–390.
DUXU-v1-2011-Hasan #multi #online #visual notation #word- Multi-language Online Word Processor for Learners and the Visually Impaired (SIH), pp. 256–260.
HCD-2011-KimKK #people- The Impact of Robots Language Form on People’s Perception of Robots (YK, SSK, MK), pp. 253–261.
HIMI-v2-2011-HosonoIMSNTY- Service Science Method to Create Pictograms Referring to Sign Languages (NH, HI, HM, MS, YN, YT, SY), pp. 123–130.
IDGD-2011-RinconBCPC #community #human-computer #interactive- Human-Computer Interaction as an Instrument for Strengthening Culture and Language of a Colombian Native Community (SRR, AB, GC, FP, TRC), pp. 556–565.
AdaEurope-2011-Burns #hardware #parallel #programming language #realtime- Programming Languages for Real-Time Applications Executing on Parallel Hardware (AB), pp. 193–195.
AdaEurope-2011-Hatton #evolution #natural language #on the- On the Evolution of Unnatural Language (LH), pp. 219–225.
AdaEurope-2011-Ploedereder #manycore #programming language- Programming Languages Meet Multicore (EP), pp. 189–192.
AdaEurope-2011-Taft #implementation #manycore #parallel #programming #specification- Multicore Programming in ParaSail — Parallel Specification and Implementation Language (STT), pp. 196–200.
SIGAda-2011-Rogers #safety- Language choice for safety critical applications (JSR), pp. 81–90.
SIGAda-2011-Taft #implementation #parallel #specification- Experimenting with parasail: parallel specification and implementation language (STT), pp. 11–12.
CAiSE-2011-FriedrichMP #generative #natural language #process- Process Model Generation from Natural Language Text (FF, JM, FP), pp. 482–496.
CAiSE-2011-SonnenbergHHMB #modelling- The REA-DSL: A Domain Specific Modeling Language for Business Models (CS, CH, BH, DM, AMB), pp. 252–266.
EDOC-2011-WoutersG #execution #modelling #named- xOWL: An Executable Modeling Language for Domain Experts (LW, MPG), pp. 215–224.
ICEIS-J-2011-AliPTD11a #query- Incorporating Data Concerns into Query Languages for Data Services (MIA, RP, HLT, SD), pp. 132–145.
ICEIS-J-2011-BajwaC #modelling #natural language #specification #uml- From Natural Language Software Specifications to UML Class Models (ISB, MAC), pp. 224–237.
ICEIS-v2-2011-BajwaNCA #interface #modelling #natural language- A Controlled Natural Language Interface to Class Models (ISB, MAN, AAC, SA), pp. 102–110.
CIKM-2011-BarbosaB #crawling #modelling- Focusing on novelty: a crawling strategy to build diverse language models (LB, SB), pp. 755–764.
CIKM-2011-KarimzadehganZ #documentation #modelling #query #retrieval- Improving retrieval accuracy of difficult queries through generalizing negative document language models (MK, CZ), pp. 27–36.
CIKM-2011-KumarLB #modelling- Supervised language modeling for temporal resolution of texts (AK, ML, JB), pp. 2069–2072.
CIKM-2011-LinTC #classification #independence #sentiment #using #word- Language-independent sentiment classification using three common words (ZL, ST, XC), pp. 1041–1046.
CIKM-2011-MagdyJ #performance #using- An efficient method for using machine translation technologies in cross-language patent search (WM, GJFJ), pp. 1925–1928.
CIKM-2011-MomtaziK #retrieval- Trained trigger language model for sentence retrieval in QA: bridging the vocabulary gap (SM, DK), pp. 2005–2008.
CIKM-2011-WangYZ #approach- A language model approach to capture commercial intent and information relevance for sponsored search (LW, MY, YZ), pp. 599–604.
CIKM-2011-YiA #query #web- Discovering missing click-through query language information for web search (XY, JA), pp. 153–162.
ECIR-2011-DuanZ #concurrent #modelling #retrieval #thread- Exploiting Thread Structures to Improve Smoothing of Language Models for Forum Post Retrieval (HD, CZ), pp. 350–361.
ECIR-2011-HerbertSG #information retrieval #query- Combining Query Translation Techniques to Improve Cross-Language Information Retrieval (BH, GS, IG), pp. 712–715.
ECIR-2011-ZhouH #comprehension #learning #natural language #random- Learning Conditional Random Fields from Unaligned Data for Natural Language Understanding (DZ, YH), pp. 283–288.
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.
ICML-2011-SujeethLBRCWAOO #domain-specific language #machine learning #named #parallel- OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning (AKS, HL, KJB, TR, HC, MW, ARA, MO, KO), pp. 609–616.
KDD-2011-LinSM #adaptation #modelling #online #topic #twitter- Smoothing techniques for adaptive online language models: topic tracking in tweet streams (JL, RS, WM), pp. 422–429.
KDIR-2011-CamelinDHQL #comprehension #concept- Concept Discovery for Language Understanding in an Information-query Dialogue System (NC, BD, SH, DQ, FL), pp. 24–29.
KDIR-2011-CostantiniFP #analysis #framework #natural language #representation- A Framework for Structured Knowledge Extraction and Representation from Natural Language through Deep Sentence Analysis (SC, NF, AP), pp. 282–287.
KEOD-2011-BelouaerBM- Spatial Knowledge in Planning Language (LB, MB, AIM), pp. 71–80.
KEOD-2011-Kral #recognition- Features for Named Entity Recognition in Czech Language (PK), pp. 437–441.
KEOD-2011-SchmidtKL #automation #documentation #domain-specific language- Domain Specific Language in Technical Solution Documents — Discussion of Two Approaches to Improve the Semi-automated Annotation (HXS, AK, UL), pp. 159–166.
SEKE-2011-BarrosNHT #case study #natural language #specification- The ucsCNL: A Controlled Natural Language for Use Case Specifications (FAB, LN, EH, DT), pp. 250–253.
SEKE-2011-ZengHLCHLE #embedded #named- SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems (RZ, YH, SL, PJC, XH, GWvdL, JLE), pp. 308–314.
SIGIR-2011-GengLWWS #assessment #feature model #quality #statistics #web- Statistical feature extraction for cross-language web content quality assessment (GG, XL, LMW, WW, SS), pp. 1129–1130.
SIGIR-2011-LevelingMJ- An investigation of decompounding for cross-language patent search (JL, WM, GJFJ), pp. 1169–1170.
SIGIR-2011-TsagkiasRW #geometry #modelling- Hypergeometric language models for republished article finding (MT, MdR, WW), pp. 485–494.
SIGIR-2011-WangHND #classification #information management #matrix #using #web- Cross-language web page classification via dual knowledge transfer using nonnegative matrix tri-factorization (HW, HH, FN, CHQD), pp. 933–942.
BX-2011-Foster #bidirectional- Languages for Bidirectional Transformations (NF), p. 49.
BX-2011-Glueck #programming language- Principles of Reversible Programming Languages (RG), p. 50.
BX-2011-Gogolla #metamodelling- Direction Neutral Language Transformation with Metamodels (MG), p. 57.
BX-2011-Greenyer #bidirectional #model transformation- Unified (Bidirectional) Transformation Language (JG), p. 58.
BX-2011-Yokoyama #programming language- A reversible programming language (TY), p. 65.
ECMFA-2011-PfeifferW- Taming the Confusion of Languages (RHP, AW), pp. 312–328.
ECMFA-2011-RumpeSVW #agile #development #domain-specific language- Agile Development with Domain Specific Languages (BR, MS, SV, IW), pp. 387–388.
ECMFA-2011-Tolvanen #domain-specific language #modelling- Creating Domain-Specific Modelling Languages That Work: Hands-On (JPT), pp. 393–394.
ICMT-2011-BergmannURV #emf #graph #modelling #query- A Graph Query Language for EMF Models (GB, ZU, IR, DV), pp. 167–182.
ICMT-2011-HornE #model transformation- The GReTL Transformation Language (TH, JE), pp. 183–197.
ICMT-2011-WimmerKKRSSKPLSW #comparison #inheritance #model transformation- A Comparison of Rule Inheritance in Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS, DSK, RFP, ML, AS, DW), pp. 31–46.
ECOOP-2011-SteimannKP #constraints #eiffel #refactoring- A Refactoring Constraint Language and Its Application to Eiffel (FS, CK, JvP), pp. 255–280.
Onward-2011-Adamczyk #on the- On the language metaphor (PA), pp. 121–128.
Onward-2011-AnslowMM #evaluation #programming language #tool support #usability- Evaluation and usability of programming languages and tools: (PLATEAU) (CA, SM, ERMH), pp. 119–120.
Onward-2011-Derk #perspective #programming language #what- What makes a programming language popular?: an essay from a historical perspective (MD), pp. 163–166.
Onward-2011-MarceauFK #error message #fault #interactive- Mind your language: on novices’ interactions with error messages (GM, KF, SK), pp. 3–18.
Onward-2011-NevesGF #stack- Language support for asynchronous event handling in the invocation call stack (CRGdN, EMG, CTF), pp. 177–180.
Onward-2011-Orchard #design #programming language- The four Rs of programming language design (DAO), pp. 157–162.
OOPSLA-2011-AcarCR #parallel #scheduling- Oracle scheduling: controlling granularity in implicitly parallel languages (UAA, AC, MR), pp. 499–518.
OOPSLA-2011-AustinDF- Virtual values for language extension (THA, TD, CF), pp. 921–938.
OOPSLA-2011-ErdwegRKO #named- SugarJ: library-based syntactic language extensibility (SE, TR, CK, KO), pp. 391–406.
OOPSLA-2011-HarrisAIM #composition #named- AC: composable asynchronous IO for native languages (TH, MA, RI, RM), pp. 903–920.
OOPSLA-2011-KatsVV #development #testing- Integrated language definition testing: enabling test-driven language development (LCLK, RV, EV), pp. 139–154.
OOPSLA-2011-LorenzR #named #programming- Cedalion: a language for language oriented programming (DHL, BR), pp. 733–752.
OOPSLA-2011-VerwaestBLN #flexibility #lightweight- Flexible object layouts: enabling lightweight language extensions by intercepting slot access (TV, CB, ML, ON), pp. 959–972.
PLATEAU-2011-BarisicAGB #case study #domain-specific language #quality- Quality in use of domain-specific languages: a case study (AB, VA, MG, BB), pp. 65–72.
PLATEAU-2011-SadowskiK #case study #evaluation #heuristic #parallel #programming language- Heuristic evaluation of programming language features: two parallel programming case studies (CS, SK), pp. 9–14.
PLATEAU-2011-StefikSSS #comparison #empirical #perl #programming language #using- An empirical comparison of the accuracy rates of novices using the quorum, perl, and randomo programming languages (AS, SS, MS, KS), pp. 3–8.
TOOLS-EUROPE-2011-BockischSMA #bibliography #execution- An Overview of ALIA4J — An Execution Model for Advanced-Dispatching Languages (CB, AS, MM, MA), pp. 131–146.
TOOLS-EUROPE-2011-SchwarzLN #dependence #injection #named- Seuss: Better Class Responsibilities through Language-Based Dependency Injection (NS, ML, ON), pp. 276–289.
GPCE-J-2005-SiekL11 #in the large #programming- A language for generic programming in the large (JGS, AL), pp. 423–465.
GPCE-2011-ErdwegKRKOV #editing #library- Growing a language environment with editor libraries (SE, LCLK, TR, CK, KO, EV), pp. 167–176.
GPCE-2011-LindemanKV #domain-specific language- Declaratively defining domain-specific language debuggers (RTL, LCLK, EV), pp. 127–136.
LOPSTR-2011-Almendros-JimenezCGS #declarative #functional #xquery- A Declarative Embedding of XQuery in a Functional-Logic Language (JMAJ, RC, YGR, FSP), pp. 42–56.
LOPSTR-2011-FernandezKN #graph grammar- A Strategy Language for Graph Rewriting (MF, HK, ON), pp. 173–188.
LOPSTR-2011-Gallagher #analysis #logic programming #source code #using- Analysis of Logic Programs Using Regular Tree Languages — (Extended Abstract) (JPG), pp. 1–3.
LOPSTR-2011-Henglein #domain-specific language #implementation #symbolic computation- Dynamic Symbolic Computation for Domain-Specific Language Implementation (FH), pp. 4–24.
LOPSTR-2011-MoralesHH #composition #logic- Modular Extensions for Modular (Logic) Languages (JFM, MVH, RH), pp. 139–154.
PPDP-2011-SauthoffJG #declarative #programming- Bellman’s GAP: a declarative language for dynamic programming (GS, SJ, RG), pp. 29–40.
PADL-2011-CaballeroGS #functional #xpath- Integrating XPath with the Functional-Logic Language Toy (RC, YGR, FSP), pp. 145–159.
PADL-2011-HolkBWHCL #communication #declarative #named- Kanor — A Declarative Language for Explicit Communication (EH, WEB, JW, TH, AC, AL), pp. 190–204.
PADL-2011-Kaivola #execution #framework #functional #validation- Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework (RK), p. 1.
PADL-2011-Mooney #learning- Learning Language from Its Perceptual Context (RJM), pp. 2–4.
POPL-2011-BocchinoHHAAWS #nondeterminism #parallel- Safe nondeterminism in a deterministic-by-default parallel language (RLBJ, SH, NH, SVA, VSA, AW, TS), pp. 535–548.
POPL-2011-GordonHHJS #concurrent #verification- Robin Milner 1934--2010: verification, languages, and concurrency (ADG, RH, JH, AJ, PS), pp. 473–474.
POPL-2011-MacLaurin #design #programming language #visual notation- The design of kodu: a tiny visual programming language for children on the Xbox 360 (MM), pp. 241–246.
RE-2011-DietschAWP #ambiguity #formal method #industrial #standard #visual notation- Disambiguation of industrial standards through formalization and graphical languages (DD, SFA, BW, AP), pp. 265–270.
SAC-2011-AcherCLF #domain-specific language #feature model #modelling- A domain-specific language for managing feature models (MA, PC, PL, RBF), pp. 1333–1340.
SAC-2011-CoupeyF #adaptation #component #framework #functional- A formal framework for a functional language with adaptable components (PC, CF), pp. 1297–1298.
SAC-2011-DinkelakerEM #embedded #incremental #syntax- Incremental concrete syntax for embedded languages (TD, ME, MM), pp. 1309–1316.
SAC-2011-HauptPH #approach #programming language #type system- Type harvesting: a practical approach to obtaining typing information in dynamic programming languages (MH, MP, RH), pp. 1282–1289.
SAC-2011-Norta #collaboration- A choreography language for eBusiness collaboration (AN), pp. 468–469.
SAC-2011-ShiC #authoring #data access #interface #natural language #policy- A controlled natural language interface for authoring access control policies (LLS, DWC), pp. 1524–1530.
ESEC-FSE-2011-GligoricBJ #mutation testing #named #testing- SMutant: a tool for type-sensitive mutation testing in a dynamic language (MG, SB, RJ), pp. 424–427.
GTTSE-2011-Blasband #compilation #legacy- Compilation of Legacy Languages in the 21st Century (DB), pp. 1–54.
GTTSE-2011-HeidenreichJKSW #modelling- Model-Based Language Engineering with EMFText (FH, JJ, SK, MS, CW), pp. 322–345.
GTTSE-2011-Voelter #composition #ide- Language and IDE Modularization and Composition with MPS (MV), pp. 383–430.
ICSE-2011-AldrichGHMNSSSTW #programming language- Permission-based programming languages (JA, RG, MH, MM, KN, DS, SS, JS, ÉT, RW), pp. 828–831.
ICSE-2011-AraujoBL #concurrent #contract #java #modelling #runtime- Enabling the runtime assertion checking of concurrent contracts for the Java modeling language (WA, LCB, YL), pp. 786–795.
ICSE-2011-BhattacharyaN #c #c++ #case study #development #maintenance #programming language- Assessing programming language impact on development and maintenance: a study on c and c++ (PB, IN), pp. 171–180.
ICSE-2011-BosS #domain-specific language #forensics- Bringing domain-specific languages to digital forensics (JvdB, TvdS), pp. 671–680.
LDTA-2011-JohnstoneSB #named- LDT: a language definition technique (AJ, ES, MvdB), p. 9.
SLE-2011-Czarnecki #design #modelling #variability- Designing Variability Modeling Languages (KC), p. 222.
SLE-2011-ErwigW #design #exclamation #process #semantics- Semantics First! — Rethinking the Language Design Process (ME, EW), pp. 243–262.
SLE-2011-KaminskiW #attribute grammar #functional #programming language- Integrating Attribute Grammar and Functional Programming Language Features (TK, EVW), pp. 263–282.
SLE-2011-SeibelHNG #black box #composition #execution #model transformation- A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations (AS, RH, SN, HG), pp. 19–39.
SLE-2011-StappersWRAN #case study #domain-specific language #formal method #industrial #using- Formalizing a Domain Specific Language Using SOS: An Industrial Case Study (FPMS, SW, MAR, SA, IN), pp. 223–242.
SLE-2011-TombelleVR #approach #modelling #reuse- Reusing Pattern Solutions in Modeling: A Generic Approach Based on a Role Language (CT, GV, ER), pp. 139–159.
SLE-2011-Wojciechowski #communication #concurrent #scripting language- Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages (PTW), pp. 378–387.
SPLC-2011-TolvanenK #domain-specific language #modelling #product line- Creating Domain-Specific Modeling Languages for Product Lines (JPT, SK), p. 358.
SPLC-2011-VolterV #domain-specific language #product line #using- Product Line Engineering Using Domain-Specific Languages (MV, EV), pp. 70–79.
ASPLOS-2011-EsmaeilzadehCXBM #hardware #performance #roadmap #scalability- Looking back on the language and hardware revolutions: measured power, performance, and scaling (HE, TC, XY, SMB, KSM), pp. 319–332.
ASPLOS-2011-HoangFJ #compilation- Exploring circuit timing-aware language and compilation (GH, RBF, RJ), pp. 345–356.
ASPLOS-2011-SchupbachBRP #approach #declarative- A declarative language approach to device configuration (AS, AB, TR, SP), pp. 119–132.
CC-2011-Axelsen #imperative #programming language- Clean Translation of an Imperative Reversible Programming Language (HBA), pp. 144–163.
CGO-2011-Altman #tool support- The language, optimizer, and tools mess (ERA).
CGO-2011-AnselWCOEA #algorithm #compilation- Language and compiler support for auto-tuning variable-accuracy algorithms (JA, YLW, CPC, MO, AE, SPA), pp. 85–96.
CGO-2011-NewburnSLMGTWDCWGLZ #array #compilation #embedded- Intel’s Array Building Blocks: A retargetable, dynamic compiler and embedded language (CJN, BS, ZL, MDM, AMG, SDT, ZGW, ZD, YC, GW, PG, ZL, DZ), pp. 224–235.
LCTES-2011-AlbertAGZ #analysis #parallel- Task-level analysis for a language with async/finish parallelism (EA, PA, SG, DZ), pp. 21–30.
LCTES-2011-BenvenisteBCP #compilation #hybrid- Divide and recycle: types and compilation for a hybrid synchronous language (AB, TB, BC, MP), pp. 61–70.
PPoPP-2011-CatanzaroGK #compilation #embedded #named #parallel- Copperhead: compiling an embedded data parallel language (BCC, MG, KK), pp. 47–56.
CADE-2011-Ranta #logic #what- Translating between Language and Logic: What Is Easy and What Is Difficult (AR), pp. 5–25.
CADE-2011-SchneiderS #automation #first-order #ontology #owl #proving #reasoning #theorem proving #using- Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving (MS, GS), pp. 461–475.
CAV-2011-KieferMOWW #automaton #equivalence #probability- Language Equivalence for Probabilistic Automata (SK, ASM, JO, BW, JW), pp. 526–540.
ICLP-2011-CasolaryL #programming #representation #set- Representing the Language of the Causal Calculator in Answer Set Programming (MC, JL), pp. 51–61.
ICLP-2011-Wilson #axiom #implementation- Implementation of Axiomatic Language (WWW), pp. 290–295.
ICLP-2011-ZomboriCS #functional #prolog #static typing #type checking- Static Type Checking for the Q Functional Language in Prolog (ZZ, JC, PS), pp. 62–72.
ICLP-J-2011-Haemmerle #concurrent #constraints #linear #logic- Observational equivalences for linear logic concurrent constraint languages (RH), pp. 469–485.
ICST-2011-AtkinsonBHS #framework #testing #towards- Towards a Language and Framework for Penurious Testing (CA, FB, OH, MS), pp. 31–39.
ICTSS-2011-EnderlinDGO #contract #named #php #specification #testing- Praspel: A Specification Language for Contract-Based Testing in PHP (IE, FD, AG, ABO), pp. 64–79.
LICS-2011-CarayolHS- Qualitative Tree Languages (AC, AH, OS), pp. 13–22.
LICS-2011-KufleitnerL #infinity #word- Languages of Dot-Depth One over Infinite Words (MK, AL), pp. 23–32.
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.
ECSA-2010-RuscioMMPP #architecture #framework #named- ByADL: An MDE Framework for Building Extensible Architecture Description Languages (DDR, IM, HM, PP, AP), pp. 527–531.
ASE-2010-AliHGH #specification #tool support #visual notation- End-user oriented critic specification for domain-specific visual language tools (NMA, JGH, JCG, JH), pp. 297–300.
ASE-2010-YangWRN #automation #coordination #detection #natural language #requirements- Automatic detection of nocuous coordination ambiguities in natural language requirements (HY, AW, ANDR, BN), pp. 53–62.
CASE-2010-LeeFBSSFS #behaviour #evaluation #framework #modelling- Product modeling framework and language for behavior evaluation (JHL, SJF, CB, HWS, RS, XF, RDS), pp. 136–143.
DAC-2010-GajskiAS #question #synthesis #what- What input-language is the best choice for high level synthesis (HLS)? (DG, TMA, SS), pp. 857–858.
DRR-2010-ChenMT #automation #performance #using #validation #word- Efficient automatic OCR word validation using word partial format derivation and language model (SC, DM, GRT), pp. 1–10.
DRR-2010-HuangDC #modelling #recognition #word- A word language model based contextual language processing on Chinese character recognition (CH, XD, YC), pp. 1–10.
HT-2010-GippB #approach #detection #identification #independence- Citation based plagiarism detection: a new approach to identify plagiarized work language independently (BG, JB), pp. 273–274.
HT-2010-LiuFZ #recommendation #social- Speak the same language with your friends: augmenting tag recommenders with social relations (KL, BF, WZ), pp. 45–50.
PODS-2010-BarceloHLW #query- Expressive languages for path queries over graph-structured data (PB, CAH, LL, PTW), pp. 3–14.
PODS-2010-DeutchKM #fixpoint #markov #on the #probability #query- On probabilistic fixpoint and Markov chain query languages (DD, CK, TM), pp. 215–226.
PODS-2010-GeladeIMN #approximate #xml- Simplifying XML schema: single-type approximations of regular tree languages (WG, TI, WM, FN), pp. 251–260.
SIGMOD-2010-ArmbrustTFFPLTT #named #performance #query- PIQL: a performance insightful query language (MA, ST, AF, MJF, DAP, NL, BT, JT), pp. 1207–1210.
SIGMOD-2010-CampbellKE #sql- Extreme scale with full SQL language support in microsoft SQL Azure (DGC, GK, NE), pp. 1021–1024.
SIGMOD-2010-PoundIW #flexibility #keyword #query- Expressive and flexible access to web-extracted data: a keyword-based structured query language (JP, IFI, GEW), pp. 423–434.
VLDB-2010-MozafariZZ #execution #query #regular expression #relational #sequence #word #xml- From Regular Expressions to Nested Words: Unifying Languages and Query Execution for Relational and XML Sequences (BM, KZ, CZ), pp. 150–161.
ITiCSE-2010-MarcosFM #modelling- Modeling with Plato: the unified modeling language in a cultural context (LdM, FF, JJM), pp. 249–253.
ESOP-2010-BaillotGM #functional #linear #logic- A PolyTime Functional Language from Light Linear Logic (PB, MG, VM), pp. 104–124.
ESOP-2010-SouleHGGAKW #calculus- A Universal Calculus for Stream Processing Languages (RS, MH, RG, BG, HA, VK, KLW), pp. 507–528.
FASE-2010-EsmaeilsabzaliD #modelling #semantics- Prescriptive Semantics for Big-Step Modelling Languages (SE, NAD), pp. 158–172.
TACAS-2010-LeinoR #design #encoding #logic #polymorphism #verification- A Polymorphic Intermediate Verification Language: Design and Logical Encoding (KRML, PR), pp. 312–327.
WRLA-2010-RiveraDV #behaviour #domain-specific language #on the #realtime #semantics #visual notation- On the Behavioral Semantics of Real-Time Domain Specific Visual Languages (JER, FD, AV), pp. 174–190.
WRLA-2010-SerbanutaR #named #programming language #semantics- K-Maude: A Rewriting Based Tool for Semantics of Programming Languages (TFS, GR), pp. 104–122.
ICPC-2010-AbebeT #concept #natural language #parsing- Natural Language Parsing of Program Element Names for Concept Extraction (SLA, PT), pp. 156–159.
ICPC-2010-LammelP #comprehension #domain-specific language- Vivisection of a Non-Executable, Domain-Specific Language — Understanding (the Usage of) the P3P Language (RL, EP), pp. 104–113.
ICSM-2010-HasanSBA #process- Analyzing natural-language artifacts of the software process (MH, ES, DB, MHA), pp. 1–5.
SCAM-2010-BrixtelFLBR #clone detection #detection #independence- Language-Independent Clone Detection Applied to Plagiarism Detection (RB, MF, BL, CB, RR), pp. 77–86.
SCAM-2010-KatsV #aspect-oriented #case study #encapsulation #framework #logic #programming #using- Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability (LCLK, EV), pp. 147–156.
WCRE-2010-Boughanmi #analysis #multi- Multi-Language and Heterogeneously-licensed Software Analysis (FB), pp. 293–296.
PEPM-2010-Siek #metalanguage- General purpose languages should be metalanguages (JGS), pp. 3–4.
PLDI-2010-LeeWHGM #debugging #detection #interface #named- Jinn: synthesizing dynamic bug detectors for foreign language interfaces (BL, BW, MH, RG, KSM), pp. 36–49.
PLDI-2010-MarinoSMMN #concurrent #memory management #named #performance #programming language- DRFX: a simple and efficient memory model for concurrent programming languages (DM, AS, TDM, MM, SN), pp. 351–362.
PLDI-2010-TateCH #assembly #object-oriented- Inferable object-oriented typed assembly language (RT, JC, CH), pp. 424–435.
PLDI-2010-XiW- A context-free markup language for semi-structured text (QX, DW), pp. 221–232.
FLOPS-2010-RemyY- A Church-Style Intermediate Language for MLF (DR, BY), pp. 24–39.
AFL-J-2008-AfoninK10 #on the #regular expression- On the Structure of Finitely Generated Semigroups of Unary Regular Languages (SA, EK), pp. 689–704.
AFL-J-2008-KlimaP10a- Literally Idempotent Languages and their Varieties — Two Letter Case (OK, LP), pp. 761–780.
DLT-J-2008-Ada10 #communication #complexity #nondeterminism #on the #regular expression- On the Non-Deterministic Communication Complexity of Regular Languages (AA), pp. 479–493.
DLT-J-2008-BassinoGN10 #complexity #finite- The Average State Complexity of Rational Operations on Finite Languages (FB, LG, CN), pp. 495–516.
DLT-J-2008-GawrychowskiKRS10 #context-free grammar #polynomial- Finding the Growth Rate of a Regular or Context-Free Language in Polynomial Time (PG, DK, NR, JS), pp. 597–618.
DLT-J-2008-KlimaP10- Hierarchies of Piecewise Testable Languages (OK, LP), pp. 517–533.
CIAA-2010-ChamparnaudDJ #geometry- Regular Geometrical Languages and Tiling the Plane (JMC, JPD, HJ), pp. 69–78.
CIAA-2010-DiekertK #complexity #regular expression- Complexity Results and the Growths of Hairpin Completions of Regular Languages (Extended Abstract) (VD, SK), pp. 105–114.
CIAA-2010-Johnson #natural language #using- Uniformizing Rational Relations for Natural Language Applications Using Weighted Determinization (JHJ), pp. 173–180.
DLT-2010-Giammarresi #2d- A Brief Excursion Inside the Class of Tiling Recognizable Two-Dimensional Languages (DG), pp. 4–15.
DLT-2010-JiraskovaM #complexity #regular expression- Complexity in Union-Free Regular Languages (GJ, TM), pp. 255–266.
DLT-2010-LehtinenO #equation #on the- On Language Equations XXK = XXL and XM = N over a Unary Alphabet (TL, AO), pp. 291–302.
DLT-2010-MarinK #revisited- Regular Hedge Language Factorization Revisited (MM, TK), pp. 328–339.
DLT-2010-PribavkinaR #complexity #regular expression- State Complexity of Prefix, Suffix, Bifix and Infix Operators on Regular Languages (EVP, ER), pp. 376–386.
DLT-2010-Rigo #formal method- Numeration Systems: A Link between Number Theory and Formal Language Theory (MR), pp. 33–53.
ICALP-v2-2010-HabermehlMW #petri net- The Downward-Closure of Petri Net Languages (PH, RM, HW), pp. 466–477.
LATA-2010-Brzozowski #complexity- Complexity in Convex Languages (JAB), pp. 1–15.
LATA-2010-ChamparnaudDJ #geometry #regular expression- Geometricity of Binary Regular Languages (JMC, JPD, HJ), pp. 178–189.
LATA-2010-Clark #modelling- Three Learnable Models for the Description of Language (AC), pp. 16–31.
LATA-2010-HemmerlingSK #difference #equation #network #process #programming language #specification- A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks (RH, KS, WK), pp. 297–308.
LATA-2010-Leupold #context-free grammar #word- Primitive Words Are Unavoidable for Context-Free Languages (PL), pp. 403–413.
LATA-2010-NagyO- CD-Systems of Stateless Deterministic R(1)-Automata Accept All Rational Trace Languages (BN, FO), pp. 463–474.
LATA-2010-VelardoD #comparison #order #petri net- Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data (FRV, GD), pp. 524–535.
LATA-2010-YoshinakaKS #context-free grammar #multi- Chomsky-Schützenberger-Type Characterization of Multiple Context-Free Languages (RY, YK, HS), pp. 596–607.
IFM-2010-DiosMP #pointer- Certified Absence of Dangling Pointers in a Language with Explicit Deallocation (JdD, MM, RP), pp. 305–319.
ICFP-2010-BradyH #domain-specific language #implementation #partial evaluation #using- Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation (EB, KH), pp. 297–308.
ICFP-2010-CrestaniS #case study #experience #programming language #student- Experience report: growing programming languages for beginning students (MC, MS), pp. 229–234.
ICFP-2010-Gordon #metalanguage #ml #named #question- ML: metalanguage or object language? (MJCG), pp. 1–2.
ICFP-2010-McCreightCT #compilation #framework #garbage collection- A certified framework for compiling and executing garbage-collected languages (AM, TC, APT), pp. 273–284.
ICFP-2010-StampoulisS #logic #named- VeriML: typed computation of logical terms inside a language with effects (AS, ZS), pp. 333–344.
ICFP-2010-Tobin-HochstadtF #logic- Logical types for untyped languages (STH, MF), pp. 117–128.
IFL-2010-AxelssonCSSEP #design #embedded #implementation- The Design and Implementation of Feldspar — An Embedded Language for Digital Signal Processing (EA, KC, MS, JS, DE, AP), pp. 121–136.
IFL-2010-BoeijinkHK #functional #lazy evaluation- Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages (AB, PKFH, JK), pp. 54–71.
GT-VMT-2010-BlumeBK #graph #invariant- Recognizable Graph Languages for Checking Invariants (CB, HJSB, BK).
GT-VMT-2010-SyrianiV #model transformation- De-/Re-constructing Model Transformation Languages (ES, HV).
ICGT-2010-Blume #graph #verification- Recognizable Graph Languages for the Verification of Dynamic Systems (CB), pp. 384–387.
CHI-2010-CavenderOBL #collaboration #online- Asl-stem forum: enabling sign language to grow through online collaboration (AC, DSO, JPB, REL), pp. 2075–2078.
CHI-2010-MaFC #named- SoundNet: investigating a language composed of environmental sounds (XM, CF, PRC), pp. 1945–1954.
CHI-2010-Rantanen- Indexicality of language and the art of creating treasures (MR), pp. 301–304.
CHI-2010-TarkanSDGBWA #design #named #programming language- Toque: designing a cooking-based programming language for and with children (ST, VS, AD, EG, EMB, GW, ZA), pp. 2417–2426.
CSCW-2010-ScholandTP #analysis #network #social- Social language network analysis (AJS, YRT, JWP), pp. 23–26.
SOFTVIS-2010-RobertsonCL #memory management #named #visualisation- AllocRay: memory allocation visualization for unmanaged languages (GGR, TMC, BL), pp. 43–52.
EDOC-2010-BajwaBL #constraints #generative #natural language #ocl #specification- OCL Constraints Generation from Natural Language Specification (ISB, BB, MGL), pp. 204–213.
EDOC-2010-Gronmo #aspect-oriented #graph transformation #question- Can Graph Transformation Make Aspect Languages for BPEL Redundant? (RG), pp. 153–162.
ICEIS-AIDSS-2010-FariaGSMM #automation #natural language #ontology #using- Using Natural Language Processing for Automatic Extraction of Ontology Instances (CGdF, RG, IS, MM, DM), pp. 278–283.
ICEIS-AIDSS-2010-MajdoubiTG #modelling #representation #semantics- Thesaurus based Semantic Representation in Language Modeling for Medical Article Indexing (JM, MT, FG), pp. 65–74.
ICEIS-DISI-2010-BarczynskiFBS #adaptation #concept #information management #modelling #named #using- AdaptIE — Using Domain Language Concept to Enable Domain Experts in Modeling of Information Extraction Plans (WMB, FF, FB, DS), pp. 249–256.
ICEIS-ISAS-2010-BaraoS #bibliography #perspective- The SNARE Language Overview (AB, ARdS), pp. 344–349.
ICEIS-J-2010-BorovskiyKZ10a #api #data access #enterprise #query- Business Object Query Language as Data Access API in ERP Systems (VB, WK, AZ), pp. 135–148.
CIKM-2010-ChubakR #natural language- Index structures for efficiently searching natural language text (PC, DR), pp. 689–698.
CIKM-2010-KerneQWDLM #metadata #named #representation #semantics- Meta-metadata: a metadata semantics language for collection representation applications (AK, YQ, AMW, SD, NL, AM), pp. 1129–1138.
CIKM-2010-KobdaniSBKH #natural language #re-engineering #relational- Relational feature engineering of natural language processing (HK, HS, AB, WK, GH), pp. 1705–1708.
CIKM-2010-LiuWMKC #information retrieval #natural language- Weighting common syntactic structures for natural language based information retrieval (CL, HW, SIM, EK, DC), pp. 1485–1488.
CIKM-2010-YangZ #analysis #multi- Language pyramid and multi-scale text analysis (SHY, HZ), pp. 639–648.
ECIR-2010-AlyDHS #concept #modelling #retrieval #using- Beyond Shot Retrieval: Searching for Broadcast News Items Using Language Models of Concepts (RA, ARD, DH, AFS), pp. 241–252.
ECIR-2010-AnderkaSP #bound #similarity #why- Cross-Language High Similarity Search: Why No Sub-linear Time Bound Can Be Expected (MA, BS, MP), pp. 640–644.
ECIR-2010-BerberichBAW #approach #modelling- A Language Modeling Approach for Temporal Information Needs (KB, SJB, OA, GW), pp. 13–25.
ECIR-2010-GottronL #comparison #identification- A Comparison of Language Identification Approaches on Short, Query-Style Texts (TG, NL), pp. 611–614.
ECIR-2010-KapteinHK #how #modelling #question- How Different Are Language Models andWord Clouds? (RK, DH, JK), pp. 556–568.
ECIR-2010-Lapata #image #information retrieval #multi #natural language- Image and Natural Language Processing for Multimedia Information Retrieval (ML), p. 12.
ECIR-2010-Shi #information retrieval #mining #web- Mining OOV Translations from Mixed-Language Web Pages for Cross Language Information Retrieval (LS), pp. 471–482.
ECIR-2010-SteinPT #web- Retrieving Customary Web Language to Assist Writers (BS, MP, MT), pp. 631–635.
ECIR-2010-TuHCLZ #approach #information retrieval #modelling #semantics- Wikipedia-Based Semantic Smoothing for the Language Modeling Approach to Information Retrieval (XT, TH, LC, JL, MZ), pp. 370–381.
ICML-2010-GerrishB #approach- A Language-based Approach to Measuring Scholarly Impact (SG, DMB), pp. 375–382.
ICPR-2010-AkceB #probability- A Probabilistic Language Model for Hand Drawings (AA, TB), pp. 109–112.
ICPR-2010-ChakrabortyG #recognition #speech- Role of Synthetically Generated Samples on Speech Recognition in a Resource-Scarce Language (RC, UG), pp. 1618–1621.
ICPR-2010-HuangT #recognition- A Vision-Based Taiwanese Sign Language Recognition (CLH, BLT), pp. 3683–3686.
ICPR-2010-LutfYL #identification #using- Offline Arabic Handwriting Identification Using Language Diacritics (ML, XY, HL), pp. 1912–1915.
ICPR-2010-MehtaSJBJ- Recognizing Sign Language from Brain Imaging (NAM, TS, MMJ, KOB, GAJ), pp. 3842–3845.
ICPR-2010-YangL10a #random #recognition #robust- Robust Sign Language Recognition with Hierarchical Conditional Random Fields (HDY, SWL), pp. 2202–2205.
ICPR-2010-ZafrullaBYPSH #education #game studies #verification- American Sign Language Phrase Verification in an Educational Game for Deaf Children (ZZ, HB, PY, PP, TS, HH), pp. 3846–3849.
ICPR-2010-ZhangSQ10a #automation #keyword- Automatic Pronunciation Transliteration for Chinese-English Mixed Language Keyword Spotting (SZ, ZS, YQ), pp. 1610–1613.
KEOD-2010-CasasCC #fibonacci #modelling #representation #specification #towards #using- Towards a Representation of Enviromental Models using Specification and Description Language — From the Fibonacci Model to a Wildfire Model (PFiC, MC, JC), pp. 343–346.
KEOD-2010-Ruiz-MartinezVMH #natural language #ontology- Populating Biomedical Ontologies from Natural Language Texts (JMRM, RVG, RMB, AGH), pp. 27–36.
KMIS-2010-ZyglarskiB #keyword #markov #natural language #network- Keywords Extraction — Selecting Keywords in Natural Language Texts with Markov Chains and Neural Networks (BZ, PB), pp. 315–321.
KR-2010-BienvenuLW #logic- From Preference Logics to Preference Languages, and Back (MB, JL, NW).
SEKE-2010-KhwajaU #execution #implementation #realtime #specification- Intertwining Implementation with the RealSpec Executable Real-Time Specification Language (AAK, JEU), pp. 649–652.
SEKE-2010-SubburajU #design #specification- Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language (VHS, JEU), pp. 668–671.
SEKE-2010-WangPACC #analysis #automation #process- An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language (DW, JP, GSA, LAC, BC), pp. 765–770.
SIGIR-2010-AwadallahRW #classification- Language-model-based pro/con classification of political text (RA, MR, GW), pp. 747–748.
SIGIR-2010-Barron-Cedeno #detection #on the #reuse- On the mono- and cross-language detection of text reuse and plagiarism (ABC), p. 914.
SIGIR-2010-MomtaziK #information retrieval- Hierarchical pitman-yor language model for information retrieval (SM, DK), pp. 793–794.
SIGIR-2010-RothK #modelling #retrieval #using- Cross-language retrieval using link-based language models (BR, DK), pp. 773–774.
SIGIR-2010-WangLG #information retrieval #multi #web- Multi-style language model for web scale information retrieval (KW, XL, JG), pp. 467–474.
ECMFA-2010-Vallecillo #modelling #on the- On the Combination of Domain Specific Modeling Languages (AV), pp. 305–320.
ECMFA-2010-WalterPSE #domain model- Joint Language and Domain Engineering (TW, FSP, SS, JE), pp. 321–336.
MoDELS-v1-2010-GuerraLKPS #model transformation #named #product line- transML: A Family of Languages to Model Model Transformations (EG, JdL, DSK, RFP, OMdS), pp. 106–120.
MoDELS-v1-2010-MaderC #modelling #traceability #visual notation- A Visual Traceability Modeling Language (PM, JCH), pp. 226–240.
MoDELS-v2-2010-EsmaeilsabzaliDA #framework #modelling #requirements- A Common Framework for Synchronization in Requirements Modelling Languages (SE, NAD, JMA), pp. 198–212.
MoDELS-v2-2010-Voelter #development #embedded #projectional- Embedded Software Development with Projectional Language Workbenches (MV), pp. 32–46.
ECOOP-2010-HeideggerT #scripting language- Recency Types for Analyzing Scripting Languages (PH, PT), pp. 200–224.
ECOOP-2010-RenggliGN #tool support- Embedding Languages without Breaking Tools (LR, TG, ON), pp. 380–404.
OOPSLA-2010-AuerbachBCR #architecture #named- Lime: a Java-compatible and synthesizable language for heterogeneous architectures (JSA, DFB, PC, RMR), pp. 89–108.
OOPSLA-2010-ChafiDMRSHOO #parallel- Language virtualization for heterogeneous parallel computing (HC, ZD, AM, TR, AKS, PH, MO, KO), pp. 835–847.
OOPSLA-2010-DavisK #abstraction- Registration-based language abstractions (SD, GK), pp. 754–773.
OOPSLA-2010-KatsV #declarative #ide #specification #spoofax- The spoofax language workbench: rules for declarative specification of languages and IDEs (LCLK, EV), pp. 444–463.
OOPSLA-2010-ReichenbachISAG #garbage collection #what- What can the GC compute efficiently?: a language for heap assertions at GC time (CR, NI, YS, EA, SZG), pp. 256–269.
OOPSLA-2010-ServettoZ #composition #java #named- MetaFJig: a meta-circular composition language for Java-like classes (MS, EZ), pp. 464–483.
OOPSLA-2010-WegielK #type safety- Cross-language, type-safe, and transparent object sharing for co-located managed runtimes (MW, CK), pp. 223–240.
TOOLS-EUROPE-2010-ArnaudDDPBS #execution- Read-Only Execution for Dynamic Languages (JBA, MD, SD, DP, AB, MS), pp. 117–136.
TOOLS-EUROPE-2010-Xu #domain-specific language #embedded #generative #named- EriLex: An Embedded Domain Specific Language Generator (HX), pp. 192–212.
GPCE-J-2007-FrisbyKWA10 #algebra #combinator- Constructing language processors with algebra combinators (NF, GK, PW, PA), pp. 543–572.
GPCE-2010-AtkinsonFL- ABI compatibility through a customizable language (KA, MF, GL), pp. 147–156.
GPCE-2010-Erwig #research #variability- A language for software variation research (ME), pp. 3–12.
GPCE-2010-HoferO #component #composition #domain-specific language #scala- Modular domain-specific language components in scala (CH, KO), pp. 83–92.
GPCE-2010-Lammel- The hitchhiker’s guide to software languages (RL), pp. 1–2.
GPCE-2010-PorkolabS #domain-specific language #generative #integration #library #parsing- Domain-specific language integration with compile-time parser generator library (ZP, ÁS), pp. 137–146.
LOPSTR-2010-AlbertGRP #composition #generative #imperative #testing- Compositional CLP-Based Test Data Generation for Imperative Languages (EA, MGZ, JMR, GP), pp. 99–116.
PADL-2010-Costa #implementation #on the- On the Implementation of the CLP(BN) Language (VSC), pp. 234–248.
PADL-2010-GrumbachW #distributed #programming #rule-based- Netlog, a Rule-Based Language for Distributed Programming (SG, FW), pp. 88–103.
PADL-2010-WangG #approach #domain-specific language #implementation #protocol #stack- A Domain-Specific Language Approach to Protocol Stack Implementation (YW, VG), pp. 183–185.
POPL-2010-Chlipala #compilation #functional- A verified compiler for an impure functional language (AC), pp. 93–106.
POPL-2010-WrigstadNLOV #scripting language- Integrating typed and untyped code in a scripting language (TW, FZN, SL, JÖ, JV), pp. 377–388.
RE-2010-JuretaBEM #consistency #generative #modelling #named #nondeterminism #requirements #towards- Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling (IJ, AB, NAE, JM), pp. 115–124.
RE-2010-SinhaPTN #analysis #automation #case study #natural language- Extending Automated Analysis of Natural Language Use Cases to Other Languages (AS, AMP, HT, TN), pp. 364–369.
RE-2010-YangRGWN #ambiguity #analysis #natural language #requirements- Extending Nocuous Ambiguity Analysis for Anaphora in Natural Language Requirements (HY, ANDR, VG, AW, BN), pp. 25–34.
REFSQ-2010-BruijnD #ambiguity #case study #natural language #requirements- Ambiguity in Natural Language Software Requirements: A Case Study (FdB, HLD), pp. 233–247.
SAC-2010-BucchiaroneGFT #experience #natural language #requirements #scalability #set #using- An experience in using a tool for evaluating a large set of natural language requirements (AB, SG, AF, GT), pp. 281–286.
SAC-2010-FahndrichBL #contract #embedded- Embedded contract languages (MF, MB, FL), pp. 2103–2110.
SAC-2010-ForgetBLP #architecture #design #embedded #multi #realtime- A real-time architecture design language for multi-rate embedded control systems (JF, FB, DL, CP), pp. 527–534.
SAC-2010-KrajcaV #functional #memory management #parallel #transaction- Software transactional memory for implicitly parallel functional language (PK, VV), pp. 2123–2130.
SAC-2010-LiuCXMBG #architecture #domain-specific language #question- Can domain-specific languages be implemented by service-oriented architecture? (SHL, AC, XX, MM, BRB, JG), pp. 2491–2492.
SAC-2010-MatteucciPS #named #natural language- CNL4DSA: a controlled natural language for data sharing agreements (IM, MP, MLS), pp. 616–620.
SAC-2010-MissenBC #detection #using- Using passage-based language model for opinion detection in blogs (MMSM, MB, GC), pp. 1821–1822.
SAC-2010-ReisS #constant #programming language- General constant expressions for system programming languages (GDR, BS), pp. 2131–2136.
SAC-2010-RytzO #design #object-oriented #polymorphism #scala- Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language (LR, MO), pp. 2090–2095.
FSE-2010-WuLWXLLGGZZ #data flow- Language-based replay via data flow cut (MW, FL, XW, ZX, HL, XL, ZG, HG, LZ, ZZ), pp. 197–206.
ICSE-2010-AschauerDP #evolution #industrial #interactive #modelling- A modeling language’s evolution driven by tight interaction between academia and industry (TA, GD, WP), pp. 49–58.
ICSE-2010-Badreddin #named #programming language- Umple: a model-oriented programming language (OBB), pp. 337–338.
ICSE-2010-Malavolta #architecture #generative- Providing support for creating next generation software architecture languages (IM), pp. 517–518.
ICSE-2010-WurschGRG #developer #natural language #query- Supporting developers with natural language queries (MW, GG, GR, HG), pp. 165–174.
ICSE-2010-ZhongTXZW #api #migration #mining- Mining API mapping for language migration (HZ, ST, TX, LZ, QW), pp. 195–204.
LDTA-2009-AndersenB10 #algebra- Syntactic Language Extension via an Algebra of Languages and Transformations (JA, CB), pp. 19–35.
LDTA-2009-ClarkT10 #formal method- Formalizing Homogeneous Language Embeddings (TC, LT), pp. 75–88.
LDTA-2009-EngelenB10 #modelling #visual notation- Integrating Textual and Graphical Modelling Languages (LE, MvdB), pp. 105–120.
LDTA-2009-KatsKV10 #composition #domain-specific language #editing #plugin- Domain-Specific Languages for Composable Editor Plugins (LCLK, KTK, EV), pp. 149–163.
LDTA-2010-Bagge #implementation- Language description for front end implementation (AHB), p. 9.
LDTA-2010-BrandMSH #case study #domain-specific language #experience- Formally specified type checkers for domain specific languages: experience report (MvdB, APvdM, AS, ATH), p. 12.
LDTA-2010-Giavitto #domain-specific language #simulation- A domain specific language for complex natural and artificial systems simulations (JLG), p. 1.
LDTA-2010-JansenPKA #functional #workflow- Embedding a web-based workflow management system in a functional language (JMJ, RP, PWMK, PA), p. 7.
LDTA-2010-KlintSV #domain-specific language #implementation #maintenance #on the #tool support- On the impact of DSL tools on the maintainability of language implementations (PK, TvdS, JJV), p. 10.
SLE-2010-AtkinsonKG #modelling- The Level-Agnostic Modeling Language (CA, BK, BG), pp. 266–275.
SLE-2010-BarrocaLAFS #model transformation #named- DSLTrans: A Turing Incomplete Transformation Language (BB, LL, VA, RF, VS), pp. 296–305.
SLE-2010-BraatzB #algebra #domain-specific language #graph transformation #modelling #rdf- Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF (BB, CB), pp. 82–101.
SLE-2010-CicchettiREP #bidirectional #model transformation #named- JTL: A Bidirectional and Change Propagating Transformation Language (AC, DDR, RE, AP), pp. 183–202.
SLE-2010-Erwig #research #variability- A Language for Software Variation Research (ME), p. 1.
SLE-2010-FavreGLP #analysis #empirical- Empirical Language Analysis in Software Linguistics (JMF, DG, RL, EP), pp. 316–326.
SLE-2010-HubauxBHMH #case study #feature model #industrial #modelling- Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies (AH, QB, HH, RM, PH), pp. 337–356.
SLE-2010-ZaytsevL #documentation- A Unified Format for Language Documents (VZ, RL), pp. 206–225.
ASPLOS-2010-HarrisTCU #architecture #multi #runtime- Dynamic filtering: multi-purpose architecture support for language runtime systems (TH, ST, AC, OSÜ), pp. 39–52.
CC-2010-IuCZ #database #imperative #named #query- JReq: Database Queries in Imperative Languages (MYI, EC, WZ), pp. 84–103.
CGO-2010-WilliamsMG #scripting language- Dynamic interpretation for dynamic scripting languages (KW, JM, DG), pp. 278–287.
ISMM-2010-AlbertGG #garbage collection #memory management #parametricity #requirements- Parametric inference of memory requirements for garbage collected languages (EA, SG, MGZ), pp. 121–130.
ICLP-2010-Demeyer10 #concurrent #declarative #program analysis #programming- Program Analysis to Support Concurrent Programming in Declarative Languages (RD), pp. 248–254.
ICLP-2010-Martinez10 #concurrent #constraints #design #implementation #linear #logic programming #programming language- Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints (TM), pp. 277–280.
ICLP-J-2010-Gomez-ZamalloaAP #generative #imperative #object-oriented #testing- Test case generation for object-oriented imperative languages in CLP (MGZ, EA, GP), pp. 659–674.
ICST-2010-SinhaSP #automation #case study #named #natural language- Text2Test: Automated Inspection of Natural Language Use Cases (AS, SMSJ, AMP), pp. 155–164.
LICS-2010-CaliGLMP #datalog #information management #logic #product line #query #representation- Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications (AC, GG, TL, BM, AP), pp. 228–242.
LICS-2010-Laird #game studies #polymorphism #programming language #semantics- Game Semantics for a Polymorphic Programming Language (JL), pp. 41–49.
WICSA-ECSA-2009-Weyns #multi #pattern matching- A pattern language for multi-agent systems (DW), pp. 191–200.
ASE-2009-BiermannEEH #eclipse #framework #generative #modelling #simulation- Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework (EB, KE, CE, JH), pp. 625–629.
ASE-2009-DeeptimahantiB #automation #generative #modelling #natural language #requirements #uml- An Automated Tool for Generating UML Models from Natural Language Requirements (DKD, MAB), pp. 680–682.
ASE-2009-Wright #interactive #modelling #web- A Modelling Language for Interactive Web Applications (JMW), pp. 689–692.
ASE-2009-ZhongZXM #api #documentation #natural language #specification- Inferring Resource Specifications from Natural Language API Documentation (HZ, LZ, TX, HM), pp. 307–318.
DATE-2009-BraunesS #generative- Generating the trace qualification configuration for MCDS from a high level language (JB, RGS), pp. 1560–1563.
DocEng-2009-JoshiL #analysis #documentation #image #natural language #using #web- Web document text and images extraction using DOM analysis and natural language processing (PMJ, SL), pp. 218–221.
DocEng-2009-RijsselbergenKVMW- Movie script markup language (DVR, BVDK, MV, EM, RVdW), pp. 161–170.
DocEng-2009-SoaresMS #declarative #hypermedia #imperative- Relating declarative hypermedia objects and imperative objects through the NCL glue language (LFGS, MFM, FS), pp. 222–230.
ICDAR-2009-NakaiKI #documentation #image #realtime #retrieval #using #web- Real-Time Retrieval for Images of Documents in Various Languages Using a Web Camera (TN, KK, MI), pp. 146–150.
ICDAR-2009-WangJW #identification #performance- High Performance Chinese/English Mixed OCR with Character Level Language Identification (KW, JJ, QW), pp. 406–410.
ICDAR-2009-WangYL #recognition- Integrating Language Model in Handwritten Chinese Text Recognition (QFW, FY, CLL), pp. 1036–1040.
ICDAR-2009-WuthrichLFIBVS #documentation #integration #recognition- Language Model Integration for the Recognition of Handwritten Medieval Documents (MW, ML, AF, EI, HB, GV, MS), pp. 211–215.
SIGMOD-2009-BrodskyBCEW #abstraction #database #programming #query- A decisions query language (DQL): high-level abstraction for mathematical programming over databases (AB, MMB, MC, NEE, XSW), pp. 1059–1062.
SIGMOD-2009-IsardY #distributed #programming language #using- Distributed data-parallel computing using a high-level programming language (MI, YY), pp. 987–994.
ITiCSE-2009-Almeida-MartinezUV #education #named #visualisation- VAST: a visualization-based educational tool for language processors courses (FJAM, JUF, JÁVI), p. 342.
ITiCSE-2009-MiuraSK #concept #interactive #object-oriented #programming language- Anchor garden: an interactive workbenchfor basic data concept learningin object oriented programming languages (MM, TS, SK), pp. 141–145.
ESOP-2009-BuscemiM #distributed #process- Abstract Processes in Orchestration Languages (MGB, HCM), pp. 301–315.
ESOP-2009-Eber #contract #design #programming language #question #specification #tool support #what- The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design? (JME), pp. 205–206.
ESOP-2009-RajanTSL #composition #design #named #policy #verification #web #web service- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services (HR, JT, SMS, GTL), pp. 333–347.
ESOP-2009-Reynolds #category theory #design #programming language #using- Using Category Theory to Design Programming Languages (JCR), pp. 62–63.
FoSSaCS-2009-AlurDMW #on the- On ω-Languages Defined by Mean-Payoff Conditions (RA, AD, OM, GW), pp. 333–347.
ICPC-J-2008-VidacsBG09 #c #c++ #preprocessor #slicing- Combining preprocessor slicing with C/C++ language slicing (LV, ÁB, TG), pp. 399–413.
CSMR-2009-LuciaDGR #behaviour #identification #parsing #visual notation- Behavioral Pattern Identification through Visual Language Parsing and Code Instrumentation (ADL, VD, CG, MR), pp. 99–108.
ICPC-2009-ForwardLB #analysis #comprehension- Improving program comprehension by enhancing program constructs: An analysis of the Umple language (AF, TCL, DB), pp. 311–312.
ICPC-2009-NilssonLHN #fact extraction #natural language #parsing #source code- Natural language parsing for fact extraction from source code (JN, WL, JH, JN), pp. 223–227.
ICSM-2009-YoshikawaHS #natural language #ontology #source code #traceability #using- Recovering traceability links between a simple natural language sentence and source code using domain ontologies (TY, SH, MS), pp. 551–554.
SCAM-2009-AlikacemS #framework #metric- A Metric Extraction Framework Based on a High-Level Description Language (EHA, HAS), pp. 159–167.
SCAM-2009-KlintSV #analysis #domain-specific language #named #rascal #source code- RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation (PK, TvdS, JJV), pp. 168–177.
SCAM-2009-LammelZ #grammar recovery #java #specification- Recovering Grammar Relationships for the Java Language Specification (RL, VZ), pp. 178–186.
WCRE-1999-FerzundAW99a #debugging- Bug-Inducing Language Constructs (JF, SNA, FW), pp. 155–159.
PLDI-2009-AnselCWOZEA #algorithm #compilation #named- PetaBricks: a language and compiler for algorithmic choice (JA, CPC, YLW, MO, QZ, AE, SPA), pp. 38–49.
PLDI-2009-GalESAMHKHZORSRBCF- Trace-based just-in-time type specialization for dynamic languages (AG, BE, MS, DA, DM, MRH, BK, GH, BZ, JO, JR, EWS, RR, MB, MC, MF), pp. 465–478.
PLDI-2009-HammerAC #named #self- CEAL: a C-based language for self-adjusting computation (MAH, UAA, YC), pp. 25–37.
PLDI-2009-HooimeijerW #constraints #regular expression #set- A decision procedure for subset constraints over regular languages (PH, WW), pp. 188–198.
PLDI-2009-ZeeKR #imperative #proving #source code- An integrated proof language for imperative programs (KZ, VK, MCR), pp. 338–351.
CIAA-J-2008-ChamparnaudDJ09 #algorithm #geometry #performance #regular expression- An Efficient Algorithm to Test Whether a Binary and Prolongeable Regular Language is Geometrical (JMC, JPD, HJ), pp. 763–774.
CIAA-J-2008-DixonES09 #analysis- Analysis of Bit-Split Languages for Packet Scanning and Experiments with Wildcard Matching (RD, ÖE, TS), pp. 597–612.
CIAA-J-2008-Pighizzini09 #automaton- Deterministic Pushdown Automata and Unary Languages (GP), pp. 629–645.
CIAA-2009-VuilleminG #automaton #normalisation #regular expression- Compact Normal Form for Regular Languages as Xor Automata (JV, NG), pp. 24–33.
DLT-2009-BehleKR #quantifier #regular expression- Regular Languages Definable by Majority Quantifiers with Two Variables (CB, AK, SR), pp. 91–102.
DLT-2009-BertoniCR #context-free grammar #problem- The Inclusion Problem of Context-Free Languages: Some Tractable Cases (AB, CC, RR), pp. 103–112.
DLT-2009-BrzozowskiGS #formal method #theorem- Closures in Formal Languages and Kuratowski’s Theorem (JAB, EG, JS), pp. 125–144.
DLT-2009-Egecioglu #approximate #context-free grammar- Strongly Regular Grammars and Regular Approximation of Context-Free Languages (ÖE), pp. 207–220.
DLT-2009-Fazekas #regular expression- Powers of Regular Languages (SZF), pp. 221–227.
DLT-2009-JeandelT #logic- Subshifts, Languages and Logic (EJ, GT), pp. 288–299.
DLT-2009-Kanazawa #context-free grammar #multi- The Pumping Lemma for Well-Nested Multiple Context-Free Languages (MK), pp. 312–325.
DLT-2009-Shur #bound- Two-Sided Bounds for the Growth Rates of Power-Free Languages (AMS), pp. 466–477.
DLT-2009-Zetzsche #matrix #petri net- Erasing in Petri Net Languages and Matrix Grammars (GZ), pp. 490–501.
ICALP-v2-2009-BrancoP #equation #polynomial #regular expression- Equations Defining the Polynomial Closure of a Lattice of Regular Languages (MJJB, JÉP), pp. 115–126.
ICALP-v2-2009-PlaceS #decidability- A Decidable Characterization of Locally Testable Tree Languages (TP, LS), pp. 285–296.
LATA-2009-AbdullaDB #comparison #petri net- A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations (PAA, GD, LVB), pp. 71–82.
LATA-2009-AfoninG #regular expression- Minimal Union-Free Decompositions of Regular Languages (SA, DG), pp. 83–92.
LATA-2009-Akama #commutative #learning- Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory (YA), pp. 93–104.
LATA-2009-BonizzoniFMM- Picture Languages Generated by Assembling Tiles (PB, CF, ARSM, GM), pp. 224–235.
LATA-2009-BordihnHK #problem #subclass- Undecidability of Operation Problems for T0L Languages and Subclasses (HB, MH, MK), pp. 236–246.
LATA-2009-BrzozowskiSX #problem- Decision Problems for Convex Languages (JAB, JS, ZX), pp. 247–258.
LATA-2009-Courcelle #algorithm #graph #higher-order #logic #monad- Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications (BC), pp. 19–22.
LATA-2009-HanSY #complexity #regular expression- State Complexity of Combined Operations for Prefix-Free Regular Languages (YSH, KS, SY), pp. 398–409.
LATA-2009-NakamuraHT #predict- Prediction of Creole Emergence in Spatial Language Dynamics (MN, TH, ST), pp. 614–625.
LATA-2009-Onodera #locality #using- New Morphic Characterizations of Languages in Chomsky Hierarchy Using Insertion and Locality (KO), pp. 648–659.
LATA-2009-Strassburger #theorem- A Kleene Theorem for Forest Languages (LS), pp. 715–727.
FM-2009-SaidBS #refinement #state machine #tool support #uml- Language and Tool Support for Class and State Machine Refinement in UML-B (MYS, MJB, CFS), pp. 579–595.
CEFP-2009-FluetBFRRSX #functional #parallel #programming- Programming in Manticore, a Heterogenous Parallel Functional Language (MF, LB, NF, MR, JHR, AS, YX), pp. 94–145.
ICFP-2009-Pierce #education #programming language #proving #using- λ, the ultimate TA: using a proof assistant to teach programming language foundations (BCP), pp. 121–122.
ICFP-2009-Sampson #case study #experience #functional #haskell #lazy evaluation- Experience report: Haskell in the “real world”: writing a commercial application in a lazy functional language (CJS), pp. 185–190.
CHI-2009-HornSCJ #education #programming language #visual notation- Comparing the use of tangible and graphical programming languages for informal science education (MSH, ETS, RJC, RJKJ), pp. 975–984.
CHI-2009-LeshedPHCBLMG #behaviour #feedback #realtime #visualisation- Visualizing real-time language-based feedback on teamwork behavior in computer-mediated groups (GL, DP, JTH, DC, JPB, SL, PLM, GG), pp. 537–546.
HCD-2009-AnandBCD #case study #interface- Tailoring Interface for Spanish Language: A Case Study with CHICA System (VA, PGB, AEC, SMD), pp. 398–407.
HCI-NIMT-2009-PedroRBBA #domain-specific language #syntax #visual notation- Composing Visual Syntax for Domain Specific Languages (LP, MR, DB, BB, VA), pp. 889–898.
HCI-NIMT-2009-TamadaOU #c #education- Robot Helps Teachers for Education of the C Language Beginners (HT, AO, HU), pp. 377–384.
HCI-VAD-2009-KashiwagiXSKO #learning #physics #process- A Language Learning System Utilizing RFID Technology for Total Physical Response Activities (HK, YX, YS, MK, KO), pp. 119–128.
HIMI-II-2009-YangL #empirical #web- An Empirical Study the Effects of Language Factors on Web Site Use Intention (HJY, YLL), pp. 94–102.
IDGD-2009-BoseS #hypermedia- The Use of Hypertext as a Vocabulary Acquisition Strategy for English as Second Language Learners (DB, DS), pp. 147–155.
IDGD-2009-PetriePS #locality #navigation- Internationalization and Localization of Websites: Navigation in English Language and Chinese Language Sites (HP, CP, WS), pp. 293–300.
AdaEurope-2009-ZoviV #programming language #requirements- Requirements on the Target Programming Language for High-Integrity MDE (AZ, TV), pp. 1–15.
SIGAda-2009-Brosgol #c# #dot-net #framework- An introduction to the C# language and .NET infrastructure (BB), pp. 3–4.
SIGAda-2009-Jennings #named #re-engineering #tool support- SPARK: the libre language and toolset for high-assurance software engineering (TJ), pp. 9–10.
SIGAda-2009-Ochem #ada #multi #programming- Multi-language programming with Ada (QO), pp. 19–20.
SIGAda-2009-TardieuP #ada #programming language- Complementing Ada with other programming languages (ST, AP), pp. 105–114.
CAiSE-2009-GiachettiMP #automation #domain-specific language #generative #modelling #uml #using- Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles (GG, BM, OP), pp. 110–124.
EDOC-2009-GovernatoriI #modelling #network #policy #reasoning #social- Modelling and Reasoning Languages for Social Networks Policies (GG, RI), pp. 193–200.
EDOC-2009-MilanovicG #modelling #process #towards- Towards a Language for Rule-Enhanced Business Process Modeling (MM, DG), pp. 64–73.
EDOC-2009-QuartelEJS #architecture #enterprise #modelling #requirements- A Goal-Oriented Requirements Modelling Language for Enterprise Architecture (DACQ, WE, HJ, MvS), pp. 3–13.
ICEIS-DISI-2009-AmiratO #architecture #first-order #metamodelling #named- C3: A Metamodel for Architecture Description Language based on First-order Connector Types (AA, MO), pp. 76–81.
ICEIS-DISI-2009-NunesAAS #domain-specific language #framework- A Domain Specific Language for the I* Framework (CN, JA, VA, CTLLS), pp. 158–163.
CIKM-2009-CaoCCJZ #categorisation #modelling #retrieval- The use of categorization information in language models for question retrieval (XC, GC, BC, CSJ, CZ), pp. 265–274.
CIKM-2009-DriesNR #network #query- A query language for analyzing networks (AD, SN, LDR), pp. 485–494.
CIKM-2009-ElbassuoniRSSW #query #ranking- Language-model-based ranking for queries on RDF-graphs (SE, MR, RS, MS, GW), pp. 977–986.
CIKM-2009-HuangSN #documentation #graph #word- Smoothing document language model with local word graph (YH, LS, JYN), pp. 1943–1946.
CIKM-2009-LvZ09a #case study #comparative #feedback #modelling #pseudo #query- A comparative study of methods for estimating query language models with pseudo feedback (YL, CZ), pp. 1895–1898.
CIKM-2009-MomtaziK #approach #clustering #modelling #retrieval #word- A word clustering approach for language model-based sentence retrieval in question answering systems (SM, DK), pp. 1911–1914.
CIKM-2009-PuH #clustering #feedback #pseudo #semantics #using- Pseudo relevance feedback using semantic clustering in relevance language model (QP, DH), pp. 1931–1934.
CIKM-2009-Shi #adaptation #information retrieval #mining #web- Adaptive web mining of bilingual lexicons for cross language information retrieval (LS), pp. 1561–1564.
ECIR-2009-MaisonnasseGC #concept #modelling- Model Fusion in Conceptual Language Modeling (LM, ÉG, JPC), pp. 240–251.
ECIR-2009-UdupaSBB #information retrieval #mining #query #quote- “They Are Out There, If You Know Where to Look”: Mining Transliterations of OOV Query Terms for Cross-Language Information Retrieval (RU, KS, AB, AB), pp. 437–448.
ICML-2009-MartinsSX #approximate #natural language #parsing- Polyhedral outer approximations with application to natural language parsing (AFTM, NAS, EPX), pp. 713–720.
ICML-2009-Smith #natural language #predict #summary #tutorial- Tutorial summary: Structured prediction for natural language processing (NAS), p. 20.
KDIR-2009-EnguixDJ #mining #natural language- DNA and Natural Languages — Text Mining (GBE, VD, MDJL), pp. 140–145.
KDIR-2009-GoyalBM #query #using- Entailment of Causal Queries in Narratives using Action Language (PG, LB, TMM), pp. 112–118.
KDIR-2009-NettletonMM #case study #evaluation #image #internet- User Study of the Assignment of Objective and Subjective Type Tags to Images in Internet — Evaluation for Native and non Native English Language Taggers (DFN, MCM, BML), pp. 99–104.
KDIR-2009-SchmidtGG #information management- Language Technology for Information Systems (PS, MG, GG), pp. 259–262.
MLDM-2009-MendesA #approach #mining #natural language- Pattern Mining with Natural Language Processing: An Exploratory Approach (ACM, CA), pp. 266–279.
SEKE-2009-Al-SharifJ09a #debugging- Language Support for Event-based Debugging (ZAS, CLJ), pp. 392–399.
SEKE-2009-CachiaM #development #lifecycle #modelling- A Language for Modeling Software Development Life Cycles (EC, MM), pp. 499–504.
SEKE-2009-KornerB #natural language #ontology #specification- Improving Natural Language Specifications with Ontologies (SJK, TB), pp. 552–557.
SEKE-2009-SarkarCCB #concept #graph #multi #specification- Object Specification Language for Graph Based Conceptual level Multidimensional Data Model (AS, SC, NC, SB), pp. 694–607.
SEKE-2009-TorresGP #java #modelling #persistent- MD-JPA Profile: A Model Driven Language for Java Persistence (AT, RdMG, MSP), pp. 727–732.
SIGIR-2009-LvZ #information retrieval #modelling- Positional language models for information retrieval (YL, CZ), pp. 299–306.
SIGIR-2009-McCarley- Cross language name matching (JSM), pp. 660–661.
SIGIR-2009-McNameeNM- Addressing morphological variation in alphabetic languages (PM, CKN, JM), pp. 75–82.
SIGIR-2009-ParaparLB #documentation #modelling- Compression-based document length prior for language models (JP, DEL, AB), pp. 652–653.
SIGIR-2009-Schanda #detection- Novelty detection across different source types and languages (JS), p. 854.
SIGIR-2009-ShaparenkoJ #documentation #identification #modelling- Identifying the original contribution of a document via language modeling (BS, TJ), pp. 696–697.
SIGIR-2009-ZhaoY #information retrieval #proximity- A proximity language model for information retrieval (JZ, YY), pp. 291–298.
ECMDA-FA-2009-ChenM #consistency #guidelines #uml- A Language-Theoretic View on Guidelines and Consistency Rules of UML (ZC, GM), pp. 66–81.
ECMDA-FA-2009-GronmoMO #comparison #model transformation- Comparison of Three Model Transformation Languages (RG, BMP, GKO), pp. 2–17.
ECMDA-FA-2009-IzquierdoM #domain-specific language #legacy #modelling- A Domain Specific Language for Extracting Models in Software Modernization (JLCI, JGM), pp. 82–97.
ECMDA-FA-2009-Kolovos #comparison #modelling- Establishing Correspondences between Models with the Epsilon Comparison Language (DSK), pp. 146–157.
ICMT-2009-CuadradoJMB #navigation- Experiments with a High-Level Navigation Language (JSC, FJ, JGM, JB), pp. 229–238.
ICMT-2009-Garcia-MagarinoGF #algorithm #generative #model transformation- Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages (IGM, JJGS, RFF), pp. 52–66.
MoDELS-2009-CengarleGR #modelling #variability- Variability within Modeling Language Definitions (MVC, HG, BR), pp. 670–684.
MoDELS-2009-Chimiak-Opoka #constraints #ocl- OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.
MoDELS-2009-EsfahaniMSGM #composition #modelling- A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems (NE, SM, JPS, HG, DAM), pp. 591–605.
MoDELS-2009-FleureyS #adaptation #execution #modelling #simulation #specification- A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (FF, AS), pp. 606–621.
MoDELS-2009-GerthKE #independence #modelling #process- Language-Independent Change Management of Process Models (CG, JMK, GE), pp. 152–166.
MoDELS-2009-HermansPD #case study #domain-specific language- Domain-Specific Languages in Practice: A User Study on the Success Factors (FH, MP, AvD), pp. 423–437.
MoDELS-2009-JohannesZFCKP #composition- Abstracting Complex Languages through Transformation and Composition (JJ, SZ, MAF, AC, DSK, RFP), pp. 546–550.
MoDELS-2009-KleinerAB #parsing- Parsing SBVR-Based Controlled Languages (MK, PA, JB), pp. 122–136.
MoDELS-2009-MilanovicGWH #modelling #process- Rule-Enhanced Business Process Modeling Language for Service Choreographies (MM, DG, GW, MH), pp. 337–341.
MoDELS-2009-MoiseevHS #approach #generative #implementation #ocl- Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (RM, SH, MS), pp. 650–664.
MoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing- Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
MoDELS-2009-WalterPS #domain-specific language #framework #named #ontology- OntoDSL: An Ontology-Based Framework for Domain-Specific Languages (TW, FSP, SS), pp. 408–422.
MoDELS-2009-WienandsG #domain-specific language #industrial #visual notation- Anatomy of a Visual Domain-Specific Language Project in an Industrial Context (CW, MG), pp. 453–467.
MoDELS-2009-CengarleGR #modelling #variability- Variability within Modeling Language Definitions (MVC, HG, BR), pp. 670–684.
MoDELS-2009-Chimiak-Opoka #constraints #ocl- OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.
MoDELS-2009-EsfahaniMSGM #composition #modelling- A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems (NE, SM, JPS, HG, DAM), pp. 591–605.
MoDELS-2009-FleureyS #adaptation #execution #modelling #simulation #specification- A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (FF, AS), pp. 606–621.
MoDELS-2009-GerthKE #independence #modelling #process- Language-Independent Change Management of Process Models (CG, JMK, GE), pp. 152–166.
MoDELS-2009-HermansPD #case study #domain-specific language- Domain-Specific Languages in Practice: A User Study on the Success Factors (FH, MP, AvD), pp. 423–437.
MoDELS-2009-JohannesZFCKP #composition- Abstracting Complex Languages through Transformation and Composition (JJ, SZ, MAF, AC, DSK, RFP), pp. 546–550.
MoDELS-2009-KleinerAB #parsing- Parsing SBVR-Based Controlled Languages (MK, PA, JB), pp. 122–136.
MoDELS-2009-MilanovicGWH #modelling #process- Rule-Enhanced Business Process Modeling Language for Service Choreographies (MM, DG, GW, MH), pp. 337–341.
MoDELS-2009-MoiseevHS #approach #generative #implementation #ocl- Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (RM, SH, MS), pp. 650–664.
MoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing- Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
MoDELS-2009-WalterPS #domain-specific language #framework #named #ontology- OntoDSL: An Ontology-Based Framework for Domain-Specific Languages (TW, FSP, SS), pp. 408–422.
MoDELS-2009-WienandsG #domain-specific language #industrial #visual notation- Anatomy of a Visual Domain-Specific Language Project in an Industrial Context (CW, MG), pp. 453–467.
ECOOP-2009-AnconaL #induction #object-oriented #type system- Coinductive Type Systems for Object-Oriented Languages (DA, GL), pp. 2–26.
OOPSLA-2009-BaniassadM- An exploration of program as language (ELAB, CGM), pp. 547–556.
OOPSLA-2009-CharlesFSDV #eclipse #ide- Accelerating the creation of customized, language-Specific IDEs in Eclipse (PC, RMF, SMSJ, ED, JJV), pp. 191–206.
OOPSLA-2009-FurrAF #scripting language #static typing #type system- Profile-guided static typing for dynamic scripting languages (MF, Jh(A, JSF), pp. 283–300.
OOPSLA-2009-KatsJNV #agile #composition #fault #feedback #parsing- Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing (LCLK, MdJ, ENN, EV), pp. 445–464.
OOPSLA-2009-KnollM #named #pattern matching- pi: a pattern language (RK, MM), pp. 503–522.
OOPSLA-2009-MeyerovichGBCGBK #ajax #named #programming language- Flapjax: a programming language for Ajax applications (LAM, AG, JPB, GHC, MG, AB, SK), pp. 1–20.
OOPSLA-2009-OverbeyJ #programming language #refactoring #tool support- Regrowing a language: refactoring tools allow programming languages to evolve (JLO, REJ), pp. 493–502.
TOOLS-EUROPE-2009-BebenitaCGF #compilation #object-oriented- Stream-Based Dynamic Compilation for Object-Oriented Languages (MB, MC, AG, MF), pp. 77–95.
TOOLS-EUROPE-2009-HovsepyanBBJ #domain-specific language #modelling #specification- Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages (AH, SVB, YB, WJ), pp. 116–135.
TOOLS-EUROPE-2009-KastnerATKB #approach #correctness #independence #product line- Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach (CK, SA, ST, MK, DSB), pp. 175–194.
TOOLS-EUROPE-2009-KloseO #aspect-oriented #classification #framework #monitoring #runtime- A Classification Framework for Pointcut Languages in Runtime Monitoring (KK, KO), pp. 289–307.
TOOLS-EUROPE-2009-RutleRLW #diagrams #formal method #modelling- A Diagrammatic Formalisation of MOF-Based Modelling Languages (AR, AR, YL, UW), pp. 37–56.
TOOLS-EUROPE-2009-SadilekW #grammarware #semantics #using- Using Grammarware Languages to Define Operational Semantics of Modelled Languages (DAS, GW), pp. 348–356.
GPCE-2009-HeidenreichJSWB #generative- Generating safe template languages (FH, JJ, MS, CW, MB), pp. 99–108.
GPCE-2009-KongCY #parsing- Abstract parsing for two-staged languages with concatenation (SK, WC, KY), pp. 109–116.
GPCE-2009-LiuGS #framework #invariant- A language and framework for invariant-driven transformations (YAL, MG, SDS), pp. 55–64.
PPDP-2009-Tarau #data transformation #declarative #embedded #model transformation- An embedded declarative data transformation language (PT), pp. 171–182.
PPDP-2009-ZhuDFJMPW #ad hoc #distributed- Language support for processing distributed ad hoc data (KQZ, DSD, KF, LJ, YM, VSP, DW), pp. 243–254.
POPL-2009-Harris #memory management #transaction- Language constructs for transactional memory (TH), p. 1.
POPL-2009-JonssonN #call-by #higher-order #supercompilation- Positive supercompilation for a higher order call-by-value language (PAJ, JN), pp. 277–288.
POPL-2009-TozawaTOM #php- Copy-on-write in the PHP language (AT, MT, TO, YM), pp. 200–212.
RE-2009-EsmaeilsabzaliDAN #modelling #semantics- Semantic Criteria for Choosing a Language for Big-Step Models (SE, NAD, JMA, JN), pp. 181–190.
RE-2009-GhanavatiAP #analysis #evaluation- Compliance Analysis Based on a Goal-oriented Requirement Language Evaluation Methodology (SG, DA, LP), pp. 133–142.
RE-2009-Weber-JahnkeO #fault #natural language #requirements- Finding Defects in Natural Language Confidentiality Requirements (JHWJ, AO), pp. 213–222.
SAC-2009-AmoR #named #query- CPref-SQL: a query language supporting conditional preferences (SdA, MRR), pp. 1573–1577.
SAC-2009-BiggarVG #compilation #scripting language- A practical solution for scripting language compilers (PB, EdV, DG), pp. 1916–1923.
SAC-2009-GroppeNL #java #named #query #rdf #satisfiability #semantics #type safety #web- SWOBE — embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types (SG, JN, VL), pp. 1239–1246.
SAC-2009-KumarPV- A light-weight summarizer based on language model with relative entropy (CK, PP, VV), pp. 1752–1753.
SAC-2009-Mogensen #game studies #specification- Troll, a language for specifying dice-rolls (TÆM), pp. 1910–1915.
SAC-2009-SchippersHH #implementation- An implementation substrate for languages composing modularized crosscutting concerns (HS, MH, RH), pp. 1944–1951.
SAC-2009-SoaresRCB #declarative #xml- Variable handling in time-based XML declarative languages (LFGS, RFR, RC, SDJB), pp. 1821–1828.
GTTSE-2009-GjosaeterP #compilation #education #metamodelling- Teaching Computer Language Handling — From Compiler Theory to Meta-modelling (TG, AP), pp. 446–460.
GTTSE-2009-JezequelBF #modelling- Model Driven Language Engineering with Kermeta (JMJ, OB, FF), pp. 201–221.
GTTSE-2009-Selic #design #modelling #perspective #re-engineering #theory and practice- The Theory and Practice of Modeling Language Design for Model-Based Software Engineering — A Personal Perspective (BS), pp. 290–321.
GTTSE-2009-Sloane #kiama #lightweight- Lightweight Language Processing in Kiama (AMS), pp. 408–425.
GTTSE-2009-Zaytsev #convergence #framework- Language Convergence Infrastructure (VZ), pp. 481–497.
ICSE-2009-ApelKL #automation #composition #independence #named- FEATUREHOUSE: Language-independent, automated software composition (SA, CK, CL), pp. 221–231.
SLE-2009-AlferezSMGKAA #composition #multi #product line #requirements- Multi-view Composition Language for Software Product Line Requirements (MA, JPS, AMDM, AG, UK, JA, VA), pp. 103–122.
SLE-2009-Bagge- Yet Another Language Extension Scheme (AHB), pp. 123–132.
SLE-2009-HemelV #domain-specific language #framework #independence #named- PIL: A Platform Independent Language for Retargetable DSLs (ZH, EV), pp. 224–243.
SLE-2009-HerrmannsdoerferRW #evolution- Language Evolution in Practice: The History of GMF (MH, DR, GW), pp. 3–22.
SLE-2009-IrazabalP #data type #model transformation #modelling- Model Transformation Languages Relying on Models as ADTs (JI, CP), pp. 133–143.
SLE-2009-KalninaKCS #synthesis #visual notation- Graphical Template Language for Transformation Synthesis (EK, AK, EC, AS), pp. 244–253.
SLE-2009-LairdB #domain-specific language #evolution #towards- Towards Dynamic Evolution of Domain Specific Languages (PL, SB), pp. 144–153.
SLE-2009-RenggliDN- Language Boxes (LR, MD, ON), pp. 274–293.
SLE-2009-SpiewakZ #database #named #query #scala- ScalaQL: Language-Integrated Database Queries for Scala (DS, TZ), pp. 154–163.
SLE-2009-WendeTZ #approach #composition #towards- A Role-Based Approach towards Modular Language Engineering (CW, NT, SZ), pp. 254–273.
SLE-2009-ZschalerKDPR #metamodelling- Domain-Specific Metamodelling Languages for Software Language Engineering (SZ, DSK, ND, RFP, AR), pp. 334–353.
SLE-2009-ZschalerSSARFMAK #product line #variability- VML* — A Family of Languages for Variability Management in Software Product Lines (SZ, PS, JPS, MA, AR, LF, AMDM, JA, UK), pp. 82–102.
SPLC-2009-Voelter #domain-specific language #product line #using- Using domain specific languages for product line engineering (MV), p. 329.
SPLC-2009-WestonCR #composition #feature model #framework #modelling #natural language #requirements #semantics- A framework for constructing semantically composable feature models from natural language requirements (NW, RC, AR), pp. 211–220.
HPDC-2009-ZimaHCC- Model-guided autotuning of high-productivity languages for petascale computing (HPZ, MWH, CC, JC), pp. 151–166.
ISMM-2009-AlbertGG #analysis #garbage collection- Live heap space analysis for languages with garbage collection (EA, SG, MGZ), pp. 129–138.
CSL-2009-Bojanczyk #algebra- Algebra for Tree Languages (MB), p. 1.
CSL-2009-GheerbrantC #linear- Craig Interpolation for Linear Temporal Languages (AG, BtC), pp. 287–301.
ICLP-2009-Ashley-RollmanLGPC #independence #scalability- A Language for Large Ensembles of Independently Executing Nodes (MPAR, PL, SCG, PP, JC), pp. 265–280.
ICLP-2009-BottalicoB #biology #constraints- Constraint Based Languages for Biological Reactions (MB, SB), pp. 561–562.
ICLP-2009-CampliB #concurrent #constraints- Capturing Fair Computations on Concurrent Constraint Language (PC, SB), pp. 559–560.
ICLP-2009-Inclezan #composition- Modular Action Language ALM (DI), pp. 542–543.
ICLP-2009-Paolucci #natural language #research #summary #tool support- Research Summary: Intelligent Natural Language Processing Techniques and Tools (AP), pp. 536–537.
ICLP-2009-Todorova #natural language #prolog #using- Answering Questions from Natural Language Using A-Prolog (YT), pp. 544–546.
LICS-2009-ChatterjeeDH- Expressiveness and Closure Properties for Quantitative Languages (KC, LD, TAH), pp. 199–208.
ECSA-2008-BernardoB #algebra #architecture #process- Non-synchronous Communications in Process Algebraic Architectural Description Languages (MB, EB), pp. 3–18.
ECSA-2008-MohammadA #architecture #component #named- TADL — An Architecture Description Language for Trustworthy Component-Based Systems (MM, VSA), pp. 290–297.
ECSA-2008-TerraV #architecture #constraints #dependence #towards- Towards a Dependency Constraint Language to Manage Software Architectures (RT, MTdOV), pp. 256–263.
WICSA-2008-ZimmermannZGL #architecture #design #modelling #pattern matching #reuse- Combining Pattern Languages and Reusable Architectural Decision Models into a Comprehensive and Comprehensible Design Method (OZ, UZ, TG, FL), pp. 157–166.
ASE-2008-KollmannG #specification #static analysis #student- A Specification Language for Static Analysis of Student Exercises (CK, MG), pp. 355–358.
ASE-2008-MalavoltaMP #architecture #framework #named #tool support- DUALLY: A framework for Architectural Languages and Tools Interoperability (IM, HM, PP), pp. 483–484.
ASE-2008-UbayashiONYT #named #uml- AspectM: UML-Based Extensible AOM Language (NU, GO, KN, JY, TT), pp. 501–502.
DATE-2008-SteinhorstH #model checking #specification #using- Model Checking of Analog Systems using an Analog Specification Language (SS, LH), pp. 324–329.
DocEng-2008-BlouinBL #named- Malan: a mapping language for the data manipulation (AB, OB, SL), pp. 66–75.
SIGMOD-2008-AlbrightDGGLKSSW #data-driven #game studies #named #scalability- SGL: a scalable language for data-driven games (RA, AJD, JG, NG, HL, RK, GS, BS, WMW), pp. 1217–1222.
SIGMOD-2008-HeS #data access #database #graph #named #query- Graphs-at-a-time: query language and access methods for graph databases (HH, AKS), pp. 405–418.
SIGMOD-2008-OlstonRSKT- Pig latin: a not-so-foreign language for data processing (CO, BR, US, RK, AT), pp. 1099–1110.
VLDB-2008-BaykanHW #identification #web- Web page language identification based on URLs (EB, MRH, IW), pp. 176–187.
VLDB-2008-TerwilligerMB #query #sql #xml- Language-integrated querying of XML data in SQL server (JFT, SM, PAB), pp. 1396–1399.
ITiCSE-2008-BarchinoMG #assessment- An interoperable assessment language proposal (RB, LdM, JMG), p. 357.
ITiCSE-2008-SandersL #programming language #python #student- Students’ perceptions of python as a first programming language at wits (IDS, SL), p. 365.
ITiCSE-2008-SierraCF #learning- An environment for supporting active learning in courses on language processing (JLS, AMFPC, AFV), pp. 128–132.
ESOP-2008-Cheney #query #regular expression #type system #xml- Regular Expression Subtyping for XML Query and Update Languages (JC), pp. 32–47.
FASE-2008-CamaraSC #composition #interpreter #named- Clint: A Composition Language Interpreter (Tool Paper) (JC, GS, CC), pp. 423–427.
FASE-2008-DaviesBM #distributed #optimisation- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications (JJD, ARB, AM), pp. 407–422.
FASE-2008-EhrigEEP #consistency #integration #modelling #visual notation- Consistent Integration of Models Based on Views of Visual Languages (HE, KE, CE, UP), pp. 62–76.
FoSSaCS-2008-BarrasB #calculus #dependent type #programming language- The Implicit Calculus of Constructions as a Programming Language with Dependent Types (BB, BB), pp. 365–379.
TACAS-2008-FarzanCCTW #automation #composition #regular expression #verification- Extending Automated Compositional Verification to the Full Class of ω-Regular Languages (AF, YFC, EMC, YKT, BYW), pp. 2–17.
TACAS-2008-LiS- Trusted Source Translation of a Total Function Language (GL, KS), pp. 471–485.
CSMR-2008-LajiosSV #metric- Supporting Language Conversion by Metric Based Reports (GL, DS, FV), pp. 314–316.
ICPC-2008-VidacsJBG #c #c++ #preprocessor #slicing- Combining Preprocessor Slicing with C/C++ Language Slicing (LV, JJ, ÁB, TG), pp. 163–171.
WCRE-2008-GeestVDV #domain-specific language #generative- Generating Version Convertors for Domain-Specific Languages (GdG, SV, AvD, EV), pp. 197–201.
WCRE-2008-Muliawan #higher-order #model transformation #using- Extending a Model Transformation Language Using Higher Order Transformations (OM), pp. 315–318.
WCRE-2008-Vermolen #evolution- Software Language Evolution (SV), pp. 323–326.
PEPM-2008-GillenwaterMSZTGO #hardware #static typing #using- Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability (JG, GM, CS, AYZ, WT, JG, JO), pp. 41–50.
PEPM-2008-HageH #lazy evaluation- Heap recycling for lazy languages (JH, SH), pp. 189–197.
PEPM-2008-JancuraP #framework #ide #integration #programming language- Generic framework for integration of programming languages into netbeans ide (JJ, DP), pp. 123–124.
SAS-2008-BalakrishnanSIWG #analysis #detection #named #refinement- SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement (GB, SS, FI, OW, AG), pp. 238–254.
SAS-2008-KiddLR #reduction- Language Strength Reduction (NK, AL, TWR), pp. 283–298.
FLOPS-2008-NievaSS #constraints #database #deduction #formal method- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (SN, JSH, FSP), pp. 289–304.
DLT-J-2007-HanS08 #complexity #finite- State Complexity of Union and Intersection of Finite Languages (YSH, KS), pp. 581–595.
DLT-J-2007-Jez08 #boolean grammar- Conjunctive Grammars Generate Non-Regular Unary Languages (AJ), pp. 597–615.
DLT-J-2007-Ravikumar08 #ambiguity #context-free grammar- The Benford-Newcomb Distribution and Unambiguous Context-Free Languages (BR), pp. 717–727.
DLT-J-2007-Selivanov08- Fine Hierarchy of Regular Aperiodic ω-Languages (VLS), pp. 649–675.
AFL-2008-AfoninK #regular expression- Semigroups of regular languages over a one letter alphabet are rational (SA, EK), pp. 61–73.
AFL-2008-AngB- Continuous Languages (TA, JAB), pp. 74–85.
AFL-2008-DassowT- Subregularly Tree Controlled Grammars and Languages (JD, BT), pp. 158–169.
AFL-2008-GazdagN #theorem- A Kleene Theorem for Binoid Languages (ZG, ZLN), pp. 170–182.
AFL-2008-KlimaP- Literally idempotent languages and their varieties — two letter case (OK, LP), pp. 220–231.
AFL-2008-Szathmary #natural language- In silico Evolutionary Developmental Neurobiology and the Origin of Natural Language (Abstract) (ES), p. 353.
CIAA-2008-ChamparnaudDJ #automaton #geometry #regular expression #testing- Testing Whether a Binary and Prolongeable Regular Language LIs Geometrical or Not on the Minimal Deterministic Automaton of Pref(L) (JMC, JPD, HJ), pp. 68–77.
CIAA-2008-DixonES #analysis- Automata-Theoretic Analysis of Bit-Split Languages for Packet Scanning (RD, ÖE, TS), pp. 141–150.
CIAA-2008-DolzhenkoJ #2d #complexity #on the #transducer- On Complexity of Two Dimensional Languages Generated by Transducers (ED, NJ), pp. 181–190.
CIAA-2008-GarciaPAR #automaton #finite #learning #nondeterminism #regular expression #using- Learning Regular Languages Using Nondeterministic Finite Automata (PG, MVdP, GIA, JR), pp. 92–101.
CIAA-2008-Pighizzini #automaton- Deterministic Pushdown Automata and Unary Languages (GP), pp. 232–241.
CIAA-2008-Salomaa- Language Decompositions, Primality, and Trajectory-Based Operations (KS), pp. 17–22.
DLT-2008-Ada #communication #complexity #nondeterminism #on the #regular expression- On the Non-deterministic Communication Complexity of Regular Languages (AA), pp. 96–107.
DLT-2008-DAlessandroV #formal method- Well Quasi-orders in Formal Language Theory (FD, SV), pp. 84–95.
DLT-2008-GawrychowskiKRS #context-free grammar #polynomial- Finding the Growth Rate of a Regular of Context-Free Language in Polynomial Time (PG, DK, NR, JS), pp. 339–358.
DLT-2008-GeffertMP #automaton #regular expression #representation- More Concise Representation of Regular Languages by Automata and Regular Expressions (VG, CM, BP), pp. 359–370.
DLT-2008-Jiraskova #complexity #on the #regular expression- On the State Complexity of Complements, Stars, and Reversals of Regular Languages (GJ), pp. 431–442.
DLT-2008-KlimaP- Hierarchies of Piecewise Testable Languages (OK, LP), pp. 479–490.
DLT-2008-SelivanovW #complexity- Complexity of Topological Properties of Regular ω-Languages (VLS, KWW), pp. 529–542.
ICALP-A-2008-Courcelle #aspect-oriented #graph #higher-order #logic #monad- Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects (BC), pp. 1–13.
ICALP-B-2008-BojanczykS #first-order #logic #quantifier- Tree Languages Defined in First-Order Logic with One Quantifier Alternation (MB, LS), pp. 233–245.
ICALP-B-2008-GehrkeGP #equation #regular expression- Duality and Equational Theory of Regular Languages (MG, SG, JÉP), pp. 246–257.
ICALP-B-2008-YokoyamaAG #theorem- Reversible Flowchart Languages and the Structured Reversible Program Theorem (TY, HBA, RG), pp. 258–270.
LATA-2008-Crespi-ReghizziP #set- Consensual Definition of Languages by Regular Sets (SCR, PSP), pp. 196–208.
LATA-2008-Domaratzki #formal method #tool support- Formal Language Tools for Template-Guided DNA Recombination (MD), pp. 3–5.
LATA-2008-KlimaP #morphism- Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups (OK, LP), pp. 299–310.
LATA-2008-Klunder #automaton #finite #using- Characterization of Star-Connected Languages Using Finite Automata (BK), pp. 311–320.
LATA-2008-OttoP #2d #taxonomy- A Two-Dimensional Taxonomy of Proper Languages of Lexicalized FRR-Automata (FO, MP), pp. 409–420.
LATA-2008-SalomaaSY- Length Codes, Products of Languages and Primality (AS, KS, SY), pp. 476–486.
FM-2008-KuritaCN #development #mobile #specification- Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone (TK, MC, YN), pp. 425–429.
FM-2008-MateescuT #concurrent #model checking- A Model Checking Language for Concurrent Value-Passing Systems (RM, DT), pp. 148–164.
SEFM-2008-DjokoDF #aspect-oriented- Specialized Aspect Languages Preserving Classes of Properties (SDD, RD, PF), pp. 227–236.
SFM-2008-DemattePR #tutorial- The BlenX Language: A Tutorial (LD, CP, AR), pp. 313–365.
ICFP-2008-Danvy #programming language- Defunctionalized interpreters for programming languages (OD), pp. 131–142.
ICFP-2008-FluetRR #framework #parallel #scheduling- A scheduling framework for general-purpose parallel languages (MF, MR, JHR), pp. 241–252.
ICFP-2008-JiaVMZZSZ #named #programming language- AURA: a programming language for authorization and audit (LJ, JAV, KM, JZ, LZ, JS, SZ), pp. 27–38.
IFL-2008-GiorgidzeN #functional #haskell #hybrid #modelling- Embedding a Functional Hybrid Modelling Language in Haskell (GG, HN), pp. 138–155.
IFL-2008-SvenssonSC #embedded #named #parallel #programming- Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors (JS, MS, KC), pp. 156–173.
IFL-2008-WangG #ad hoc #haskell #library- A Library for Processing Ad hoc Data in Haskell — Embedding a Data Description Language (YW, VG), pp. 174–191.
GT-VMT-2006-GuerraDL08 #domain-specific language #metric #specification #visual notation- Visual Specification of Metrics for Domain Specific Visual Languages (EG, PD, JdL), pp. 99–110.
GT-VMT-2006-RensinkN08 #graph transformation #qvt #semantics- Graph Transformation Semantics for a QVT Language (AR, RN), pp. 51–62.
GT-VMT-2006-XuLW08 #reasoning #visual notation- BPSL Modeler — Visual Notation Language for Intuitive Business Property Reasoning (KX, YL, CW), pp. 211–220.
GT-VMT-2008-HassanMS #design #implementation #interactive #programming language- Interaction nets: programming language design and implementation (AH, IM, SS).
GT-VMT-2008-Weinell #graph #query #reduction- Extending Graph Query Languages by Reduction (EW).
ICGT-2008-BrugginkK #graph #on the- On the Recognizability of Arrow and Graph Languages (HJSB, BK), pp. 336–350.
ICGT-2008-Weinell #graph- Transformation-Based Operationalization of Graph Languages (EW), pp. 520–522.
CSCW-2008-GillFGO- The language of emotion in short blog texts (AJG, RMF, DG, JO), pp. 299–302.
SOFTVIS-2008-Almeida-MartinezUV #abstract syntax tree #named #syntax #visualisation- VAST: visualization of abstract syntax trees within language processors courses (FJAM, JUF, JÁVI), pp. 209–210.
SIGAda-2008-Brosgol #assessment #named #safety- MP1: languages for safety-critical software: issues and assessment (BMB), pp. 7–8.
SIGAda-2008-CicaleseWSBFGRS #architecture #distributed #multi #scalability- A distributed, multi-language architecture for large unmanned ground vehicles (CDTC, RMW, JS, RHB, KF, RG, KR, DS), pp. 133–138.
SIGAda-2008-Doran #ada #development #embedded #named #programming language #realtime- Anima: a Ada derived programming language for real-time embedded software development (SD), pp. 121–132.
SIGAda-2008-SwardW #architecture #enterprise #multi #using- A multi-language service-oriented architecture using an enterprise service bus (RES, KJW), pp. 85–90.
CAiSE-2008-MuehlenR #how #modelling #process- How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation (MzM, JR), pp. 465–479.
ICEIS-DISI-2008-Favre- From Stone Age to Information Age: (Software) Languages through the Ages (JMF), p. 21.
ICEIS-DISI-2008-KaranikolasSNY #concept #database #enterprise #information management- Conceptual Universal Database Language (CUDL) and Enterprise Medical Information Systems (NK, CS, MN, EJY), pp. 362–367.
ICEIS-DISI-2008-PapastefanatosVSAPV #automation #database #evolution- Language Extensions for the Automation of Database Schema Evolution (GP, PV, AS, KA, FP, YV), pp. 74–81.
ICEIS-HCI-2008-Perez-MarinPM #automation #concept #interactive #modelling #natural language- Natural Language Interaction Based on Automatically Generated Conceptual Models (DRPM, IPN, PRM), pp. 5–12.
ICEIS-ISAS2-2008-AmiratO #architecture #modelling #reasoning #representation- Representation and Reasoning Models for C3 Architecture Description Language (AA, MO), pp. 207–212.
CIKM-2008-BordognaCPR #clustering #documentation #web- A language for manipulating clustered web documents results (GB, AC, GP, SR), pp. 23–32.
CIKM-2008-Domingos #information management #logic #markov- Markov logic: a unifying language for knowledge and information management (PMD), p. 519.
CIKM-2008-HeW #feedback #information retrieval- Translation enhancement: a new relevance feedback method for cross-language information retrieval (DH, DW), pp. 729–738.
CIKM-2008-LinZ #novel #statistics- A novel statistical chinese language model and its application in pinyin-to-character conversion (BL, JZ), pp. 1433–1434.
CIKM-2008-MahouiTSC #identification #modelling #predict #using- Identification of gene function using prediction by partial matching (PPM) language models (MM, WJT, AKTS, SC), pp. 779–786.
CIKM-2008-NurmiLBFKP #natural language #retrieval- Natural language retrieval of grocery products (PN, EL, WLB, PF, JK, PP), pp. 1413–1414.
CIKM-2008-RogatiYC #corpus #information retrieval #optimisation- Corpus microsurgery: criteria optimization for medical cross-language ir (MR, YY, JGC), pp. 1365–1366.
CIKM-2008-ThomoV #automaton #integration #xml- Rewriting of visibly pushdown languages for xml data integration (AT, SV), pp. 521–530.
ECIR-2008-BenderskyK #documentation #modelling #retrieval- Utilizing Passage-Based Language Models for Document Retrieval (MB, OK), pp. 162–174.
ECIR-2008-BlancoB #documentation #modelling #probability- Probabilistic Document Length Priors for Language Models (RB, AB), pp. 394–405.
ECIR-2008-KneesPSSS #approach #music #natural language- A Document-Centered Approach to a Natural Language Music Search Engine (PK, TP, MS, DS, KS), pp. 627–631.
ECIR-2008-MarlowCRA #multi #web- Exploring the Effects of Language Skills on Multilingual Web Search (JM, PDC, JMCR, JA), pp. 126–137.
ECIR-2008-NaKL #documentation #modelling #multi #normalisation #topic- Improving Term Frequency Normalization for Multi-topical Documents and Application to Language Modeling Approaches (SHN, ISK, JHL), pp. 382–393.
ECIR-2008-OfoghiYM #identification #natural language #semantics- The Impact of Semantic Class Identification and Semantic Role Labeling on Natural Language Answer Extraction (BO, JY, LM), pp. 430–437.
ECIR-2008-SongHRB #composition #mining #modelling #multi #query #using- Facilitating Query Decomposition in Query Language Modeling by Association Rule Mining Using Multiple Sliding Windows (DS, QH, SMR, PB), pp. 334–345.
ECIR-2008-WiegandK #classification #modelling #optimisation- Optimizing Language Models for Polarity Classification (MW, DK), pp. 612–616.
ICML-2008-ChenM #learning- Learning to sportscast: a test of grounded language acquisition (DLC, RJM), pp. 128–135.
ICML-2008-CollobertW #architecture #learning #multi #natural language #network- A unified architecture for natural language processing: deep neural networks with multitask learning (RC, JW), pp. 160–167.
ICPR-2008-AgrisBK #adaptation #agile #approach #recognition #using- Rapid signer adaptation for continuous sign language recognition using a combined approach of eigenvoices, MLLR, and MAP (UvA, CB, KFK), pp. 1–4.
ICPR-2008-MatsuoSS #automation #generative #recognition- Automatic generation of HMM topology for sign language recognition (TM, YS, NS), pp. 1–4.
ICPR-2008-SaitohMK #analysis #performance- Analysis of efficient lip reading method for various languages (TS, KM, RK), pp. 1–4.
SEKE-2008-EzenwoyeS #approach #reliability #web #web service- A Language-based Approach to Addressing Reliability in Composite Web Services (OE, SMS), pp. 649–654.
SEKE-2008-IlievaB #diagrams #generative #natural language #representation #requirements #uml #visual notation- Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation (MI, HB), pp. 478–483.
SEKE-2008-JinB #database #fuzzy #relational- A Fuzzy Trigger Language for Relational Database Systems (YJ, TB), pp. 367–370.
SEKE-2008-KhwajaU #execution #modelling #named #specification- RealSpec: an Executable Specification Language for Modeling Resources (AAK, JEU), pp. 97–102.
SEKE-2008-KraftBS #clone detection #detection- Cross-language Clone Detection (NAK, BWB, RKS), pp. 54–59.
SEKE-2008-PatroneR #bound #logic #programming language- Sharing Application Logic Across Programming Language Boundaries (DSP, BR), pp. 227–231.
SEKE-2008-QayyumO #architecture #dot-net- .NET Extensions to the p-architecture Description Languages (ZQ, FO), pp. 244–249.
SIGIR-2008-BanchsK #information retrieval- Exploiting MDS Projections for Cross-language IR (REB, AK), pp. 863–864.
SIGIR-2008-Diaz08a #feedback #modelling- Improving relevance feedback in language modeling with score regularization (FDD), pp. 807–808.
SIGIR-2008-FortunaRPGM- Cross-lingual search over 22 european languages (BF, JR, BP, MG, DM), p. 883.
SIGIR-2008-KapteinLHK #modelling #using #web- Using parsimonious language models on web data (RK, RL, DH, JK), pp. 763–764.
SIGIR-2008-Kurland #approach #clustering #documentation #ranking- The opposite of smoothing: a language model approach to ranking query-specific document clusters (OK), pp. 171–178.
SIGIR-2008-MeiZZ #framework #graph #modelling #optimisation- A general optimization framework for smoothing language models on graph structures (QM, DZ, CZ), pp. 611–618.
SIGIR-2008-Murray #library #modelling #process- Extending language modeling techniques to models of search and browsing activity in a digital library (GCM), p. 900.
SIGIR-2008-NaKKL #information retrieval #proximity- Exploiting proximity feature in bigram language model for information retrieval (SHN, JK, ISK, JHL), pp. 821–822.
SIGIR-2008-Trieschnigg #information retrieval- Biomedical cross-language information retrieval (DT), p. 897.
SIGIR-2008-TrieschniggMRK #concept #modelling #using- Measuring concept relatedness using language models (DT, EM, MdR, WK), pp. 823–824.
SIGIR-2008-WuH #interactive #named- Ice-tea: an interactive cross-language search engine with translation enhancement (DW, DH), p. 882.
BX-2008-Axelsen- Languages Short Talk 2 (HBA), p. 2.
BX-2008-Axelsen1- Reversible Flowchart Languages (HA), p. 36.
BX-2008-Cunha- Languages and Applications Short Talk 6 (JC), p. 13.
BX-2008-Czarnecki1 #bidirectional #modelling- Bidirectional Transformations for Framework-Specific Modeling Languages (KC), p. 45.
BX-2008-Fisher- Languages and Applications Short Talk 5 (KF), p. 12.
BX-2008-Foster- Languages Short Talk 7 (NF), p. 7.
BX-2008-Glueck- Languages Short Talk 1 (RG), p. 1.
BX-2008-Glueck1 #programming language #tutorial- Reversible Programming Languages (tutorial) (RG), p. 35.
BX-2008-Hu- Languages Short Talk 6 (ZH), p. 6.
BX-2008-Kato- Languages and Applications Short Talk 7 (HK), p. 14.
BX-2008-Laemmel- Languages and Applications Short Talk 3 (RL), p. 10.
BX-2008-Lutterkort- Languages and Applications Short Talk 4 (DL), p. 11.
BX-2008-Matsuda- Languages Short Talk 3 (KM), p. 3.
BX-2008-Mu- Languages and Applications Short Talk 1 (SCM), p. 8.
BX-2008-Nakano- Languages Short Talk 4 (KN), p. 4.
BX-2008-Voigtlaender- Languages and Applications Short Talk 2 (JV), p. 9.
BX-2008-Wang- Languages Short Talk 5 (MW), p. 5.
ECMDA-FA-2008-GronmoSMK #aspect-oriented #interactive #semantics- A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol (RG, FS, BMP, SK), pp. 262–277.
ECMDA-FA-2008-RosePKP #generative- The Epsilon Generation Language (LMR, RFP, DSK, FP), pp. 1–16.
ECMDA-FA-2008-SadilekW #domain-specific language #modelling #prototype #visual notation- Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages (DAS, GW), pp. 63–78.
ICMT-2008-KolovosPP #model transformation- The Epsilon Transformation Language (DSK, RFP, FP), pp. 46–60.
ICMT-2008-Kurtev #model transformation- Application of Reflection in Model Transformation Languages (IK), pp. 199–213.
ICMT-2008-Wagelaar #composition #model transformation #rule-based- Composition Techniques for Rule-Based Model Transformation Languages (DW), pp. 152–167.
MoDELS-2008-HemelVV #modelling #named #object-oriented #web #workflow- WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications (ZH, RV, EV), pp. 113–127.
MoDELS-2008-KelsenM #approach #lightweight #modelling #semantics- A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
MoDELS-2008-VermolenV #co-evolution #evolution- Heterogeneous Coupled Evolution of Software Languages (SV, EV), pp. 630–644.
MoDELS-2008-ZamaniKB #enterprise #pattern matching #verification- A Pattern Language Verifier for Web-Based Enterprise Applications (BZ, SK, GB), pp. 553–567.
MoDELS-2008-HemelVV #modelling #named #object-oriented #web #workflow- WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications (ZH, RV, EV), pp. 113–127.
MoDELS-2008-KelsenM #approach #lightweight #modelling #semantics- A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
MoDELS-2008-VermolenV #co-evolution #evolution- Heterogeneous Coupled Evolution of Software Languages (SV, EV), pp. 630–644.
MoDELS-2008-ZamaniKB #enterprise #pattern matching #verification- A Pattern Language Verifier for Web-Based Enterprise Applications (BZ, SK, GB), pp. 553–567.
ECOOP-2008-DemskyD #named #robust- Bristlecone: A Language for Robust Software Systems (BD, AD), pp. 490–515.
ECOOP-2008-Gray #inheritance- Safe Cross-Language Inheritance (KEG), pp. 52–75.
ECOOP-2008-HavingaBA #aspect-oriented #prototype- Prototyping and Composing Aspect Languages (WH, LB, MA), pp. 180–206.
ECOOP-2008-RajanL #named #quantifier- Ptolemy: A Language with Quantified, Typed Events (HR, GTL), pp. 155–179.
OOPSLA-2008-NystromSPG #object-oriented- Constrained types for object-oriented languages (NN, VAS, JP, CG), pp. 457–474.
OOPSLA-2008-SimpkinsBIM #adaptation #learning #programming language #towards- Towards adaptive programming: integrating reinforcement learning into a programming language (CS, SB, CLIJ, MM), pp. 603–614.
OOPSLA-2008-WillisPN #java #query- Caching and incrementalisation in the java query language (DW, DJP, JN), pp. 1–18.
TOOLS-EUROPE-2008-BettiniBV #composition #java- Object Incompleteness and Dynamic Composition in Java-Like Languages (LB, VB, BV), pp. 198–217.
TOOLS-EUROPE-2008-KrahnRV #composition #development #domain-specific language #named- MontiCore: Modular Development of Textual Domain Specific Languages (HK, BR, SV), pp. 297–315.
TOOLS-EUROPE-2008-NielsenE #composition #optimisation #static typing- Optimizing Dynamic Class Composition in a Statically Typed Language (ABN, EE), pp. 161–177.
GPCE-2008-Batory #modelling #using- Using modern mathematics as an FOSD modeling language (DSB), pp. 35–44.
GPCE-2008-MercadalPCL #coordination #domain-specific language #named- Pantaxou: a domain-specific language for developing safe coordination services (JM, NP, CC, JLL), pp. 149–160.
PPDP-2008-MeraLCH #automaton #estimation #execution #towards- Towards execution time estimation in abstract machine-based languages (EM, PLG, MC, MVH), pp. 174–184.
PPDP-2008-PaoliniP #linear #programming language #semantics- Semantically linear programming languages (LP, MP), pp. 97–107.
SAC-2008-BaveraB #analysis #bytecode #data flow #policy #type system- Type-based information flow analysis for bytecode languages with variable object field policies (FB, EB), pp. 347–351.
SAC-2008-BeckerRHST #xml- A generic XML language for characterising objects to support digital preservation (CB, AR, VH, JS, MT), pp. 402–406.
SAC-2008-EinseleIH #independence #recognition #word- A language-independent, open-vocabulary system based on HMMs for recognition of ultra low resolution words (FE, RI, JH), pp. 429–433.
SAC-2008-GomezKV- Aggregation languages for moving object and places of interest (LIG, BK, AAV), pp. 857–862.
SAC-2008-Mevius #modelling #novel #process- A novel modeling language for tool-based business process engineering (MvM), pp. 590–591.
SAC-2008-RebeloSLFC #aspectj #contract #implementation #java #modelling- Implementing Java modeling language contracts with AspectJ (HR, SS, RMFL, LF, MC), pp. 228–233.
SAC-2008-RossiT #execution #modelling #named #process- EPML: an executable process modeling language for process-aware applications (DR, ET), pp. 132–133.
SAC-2008-TeleckenML #specification #visual notation- Applying markup language resources in the specification of visual alphabets and visual sentences (TLT, EVM, JVdL), pp. 222–227.
FSE-2008-OsterweilCEPWBH #dataset #experience #process #using #workflow- Experience in using a process language to define scientific workflow and generate dataset provenance (LJO, LAC, AME, RMP, AEW, ERB, JLH), pp. 319–329.
ICSE-2008-ReichertKSMH #analysis #network #protocol- A language for advanced protocol analysis in automotive networks (TR, EK, WS, AM, DH), pp. 593–602.
ICSE-2008-WangZXAS #approach #debugging #detection #execution #natural language #using- An approach to detecting duplicate bug reports using natural language and execution information (XW, LZ, TX, JA, JS), pp. 461–470.
ATEM-J-2006-FavreGLW #named- Editorial — Software language engineering (JMF, DG, RL, AW), pp. 161–164.
ATEM-J-2006-HeymansSTBMC #diagrams #feature model- Evaluating formal properties of feature diagram languages (PH, PYS, JCT, YB, RM, AC), pp. 281–302.
ATEM-J-2006-LohmannRW #aspect-oriented #prolog- Aspect-oriented prolog in a language processing context (WL, GR, GW), pp. 241–259.
LDTA-2007-HameyG08 #domain-specific language #experience #implementation #stratego #using- Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper (LGCH, SG), pp. 37–51.
LDTA-2007-KallebergV08 #compilation #model transformation- Fusing a Transformation Language with an Open Compiler (KTK, EV), pp. 21–36.
LDTA-2007-KlintKV08 #ide #parametricity- Language Parametric Module Management for IDEs (PK, ATK, JJV), pp. 3–19.
SLE-2008-BastenK #fact extraction #named #parametricity #source code- DeFacto: Language-Parametric Fact Extraction from Source Code (BB, PK), pp. 265–284.
SLE-2008-Brand #modelling- Model-Driven Engineering Meets Generic Language Technology (MvdB), pp. 8–15.
SLE-2008-FritzscheJAMGSBK #automation #embedded #model transformation #modelling- Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains (MF, JJ, UA, SM, WG, ITAS, TJB, PK), pp. 134–150.
SLE-2008-GjosaeterIP #case study #named- Sudoku — A Language Description Case Study (TG, IFI, AP), pp. 305–321.
SLE-2008-GorpKJ #higher-order #integration #model transformation- Transformation Language Integration Based on Profiles and Higher Order Transformations (PVG, AK, DJ), pp. 208–226.
SLE-2008-HageK #analysis #library #named- Neon: A Library for Language Usage Analysis (JH, PvK), pp. 35–53.
SLE-2008-Kleppe- The Field of Software Language Engineering (AK), pp. 1–7.
SLE-2008-RiveraGLV #behaviour #maude #modelling #rule-based #semantics #visual notation- Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude (JER, EG, JdL, AV), pp. 54–73.
SLE-2008-SanchezLFG #process #product line #specification- Engineering Languages for Specifying Product-Derivation Processes in Software Product Lines (PS, NL, LF, AG), pp. 188–207.
SPLC-2008-HaugenMOOS #domain-specific language #standard #variability- Adding Standardized Variability to Domain Specific Languages (ØH, BMP, JO, GKO, AS), pp. 139–148.
SPLC-2008-SantosKL #automation #domain-specific language #generative #modelling- Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications (ALS, KK, AL), pp. 149–158.
ASPLOS-2008-DeviettiBMZ #architecture #bound #c #named #programming language #safety- Hardbound: architectural support for spatial safety of the C programming language (JD, CB, MMKM, SZ), pp. 103–114.
ASPLOS-2008-JoaoMKAP #object-oriented #performance- Improving the performance of object-oriented languages with dynamic predication of indirect jumps (JAJ, OM, HK, RA, YNP), pp. 80–90.
CGO-2008-MurphyMSSA #type safety- Fault-safe code motion for type-safe languages (BRM, VM, FTS, TS, ARAT), pp. 144–154.
LCTES-2008-BiernackiCHP #code generation #composition #data flow- Clock-directed modular code generation for synchronous data-flow languages (DB, JLC, GH, MP), pp. 121–130.
LCTES-2008-CohenK #named #regular expression- EventScript: an event-processing language based on regular expressions with actions (NHC, KTK), pp. 111–120.
OSDI-2008-YuIFBEGC #distributed #named #using- DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language (YY, MI, DF, MB, ÚE, PKG, JC), pp. 1–14.
PPoPP-2008-GregorL #c# #design #framework #implementation- Design and implementation of a high-performance MPI for C# and the common language infrastructure (DG, AL), pp. 133–142.
CSL-2008-ChatterjeeDH- Quantitative Languages (KC, LD, TAH), pp. 385–400.
CSL-2008-ColcombetL #calculus #problem #μ-calculus- The Nesting-Depth of Disjunctive μ-Calculus for Tree Languages and the Limitedness Problem (TC, CL), pp. 416–430.
CSL-2008-Place #logic- Characterization of Logics over Ranked Tree Languages (TP), pp. 401–415.
ICLP-2008-BuccafurriCL #logic #reasoning #semantics #social- A Logic Language with Stable Model Semantics for Social Reasoning (FB, GC, RL), pp. 718–723.
ICLP-2008-CiprianoDM #compilation #declarative #modelling- Compiling and Executing Declarative Modeling Languages to Gecode (RC, AD, JM), pp. 744–748.
ICLP-2008-PiancastelliO #logic #multi #web- A Multi-theory Logic Language for the World Wide Web (GP, AO), pp. 769–773.
IJCAR-2008-BenzmullerRS #higher-order #logic #named- THF0 — The Core of the TPTP Language for Higher-Order Logic (CB, FR, GS), pp. 491–506.
LICS-2008-BojanczykSS- Piecewise Testable Tree Languages (MB, LS, HS), pp. 442–451.
RTA-2008-JacquemardR- Closure of Hedge-Automata Languages by Hedge Rewriting (FJ, MR), pp. 157–171.
VMCAI-2008-JonesH- CTL as an Intermediate Language (NDJ, RRH), p. 4.
VMCAI-2008-Pistoia #program analysis #programming language #security- Program Analysis and Programming Languages for Security (MP), p. 7.
WICSA-2007-OliveiraW #approach #architecture #modelling- A Model-Driven Approach to Extract Views from an Architecture Description Language (CO, MW), p. 7.
ASE-2007-Alexander #design #named- Rosetta: language support for system-level design (PA), p. 577.
ASE-2007-CharlesFS #eclipse #framework #ide #named- IMP: a meta-tooling platform for creating language-specific ides in eclipse (PC, RMF, SMSJ), pp. 485–488.
ASE-2007-HoskingG #domain-specific language #implementation #tool support #visual notation- Meta tools for implementing domain specific visual languages (JGH, JCG), p. 576.
ASE-2007-Leavens #java #ml #modelling #tutorial- Tutorial on JML, the java modeling language (GTL), p. 573.
DAC-2007-BhattacharyaRS #process- Language Extensions to SystemC: Process Control Constructs (BB, JR, SS), pp. 35–38.
DAC-2007-GoldgeisserCD #hardware #modelling- Modeling Safe Operating Area in Hardware Description Languages (LBG, EC, ZD), pp. 377–382.
DATE-2007-EckerESSVH #abstraction #interactive #performance #representation #simulation- Interactive presentation: Impact of description language, abstraction layer, and value representation on simulation performance (WE, VE, LS, TS, MV, MH), pp. 767–772.
DocEng-2007-PuginI #semantics- Combination of transformation and schema languages described by a complete formal semantics (CP, RI), pp. 222–224.
DocEng-2007-ThompsonKS #declarative #xml- Declarative extensions of XML languages (SJT, PRK, PS), pp. 89–91.
HT-2007-ZhouGTB #automation #generative #hypermedia #modelling #named- LLAMA: automatic hypertext generation utilizing language models (DZ, JG, MT, TJB), pp. 77–80.
ICDAR-2007-Furmaniak #segmentation #using- Unsupervised Newspaper Segmentation Using Language Context (RF), pp. 1263–1267.
ICDAR-2007-HiranoOOY #analysis #documentation #information management #layout- Text and Layout Information Extraction from Document Files of Various Formats Based on the Analysis of Page Description Language (TH, YO, YO, FY), pp. 262–266.
ICDAR-2007-LuLT #categorisation #identification- Identification of Latin-Based Languages through Character Stroke Categorization (SJL, LL, CLT), pp. 352–356.
ICDAR-2007-NamboodiriNJ #on the #using- On Using Classical Poetry Structure for Indian Language Post-Processing (AMN, PJN, CVJ), pp. 1238–1242.
ICDAR-2007-ProchassonVM #modelling- Language Models for Handwritten Short Message Services (EP, CVG, EM), pp. 83–87.
ICDAR-2007-YoshidaN #approach #documentation #modelling #parsing #web- Web Document Parsing: A New Approach to Modeling Layout-Language Relations (MY, HN), pp. 203–207.
ICDAR-2007-ZiaratbanFF #feature model #recognition #using- Language-Based Feature Extraction Using Template-Matching In Farsi/Arabic Handwritten Numeral Recognition (MZ, KF, FF), pp. 297–301.
PODS-2007-BadiaV #query- Non-linear prefixes in query languages (AB, SV), pp. 185–194.
SIGMOD-2007-HeWCLR #automation #named #tool support- BIwTL: a business information warehouse toolkit and language for warehousing simplification and automation (BH, RW, YC, AL, JR), pp. 1041–1052.
SIGMOD-2007-LiCYSJ #adaptation #interface #named #natural language #query #xml- DaNaLIX: a domain-adaptive natural language interface for querying XML (YL, IC, HY, SPS, HVJ), pp. 1165–1168.
VLDB-2007-AntovaKO #query- Query language support for incomplete information in the MayBMS system (LA, CK, DO), pp. 1422–1425.
ITiCSE-2007-Albin-Clark #implementation #multi #named #pseudo- MaBL: a tool for mapping pseudocode to multiple implementation languages (AAC), p. 315.
ITiCSE-2007-RodgerLR #automaton #formal method #interactive- Increasing interaction and support in the formal languages and automata theory course (SHR, JL, SR), pp. 58–62.
WRLA-J-2004-CervesatoS07 #dependent type #logic #representation #specification- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (IC, MOS), pp. 3–35.
WRLA-2006-FarzanM07 #partial order #programming language #reduction #semantics- Partial Order Reduction for Rewriting Semantics of Programming Languages (AF, JM), pp. 61–78.
WRLA-2006-HillsSR07 #framework #generative #performance- A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters (MH, TS, GR), pp. 215–231.
ESOP-2007-BuscemiM #constraints #named #specification- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements (MGB, UM), pp. 18–32.
ESOP-2007-EnnalsG #multi- Multi-language Synchronization (RE, DG), pp. 475–489.
ESOP-2007-HaackPSS #java- Immutable Objects for a Java-Like Language (CH, EP, JS, AS), pp. 347–362.
ESOP-2007-MantelR #classification #security #what- Controlling the What and Where of Declassification in Language-Based Security (HM, AR), pp. 141–156.
ESOP-2007-Pitts #equivalence #higher-order- Techniques for Contextual Equivalence in Higher-Order, Typed Languages (AMP), p. 1.
FASE-2007-BurdyHP #behaviour #bytecode #design #interface #java #specification- Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode (LB, MH, MP), pp. 215–229.
FASE-2007-GaoHW #flexibility #modelling- Flexible and Extensible Notations for Modeling Languages (JG, MPEH, EVW), pp. 102–116.
FoSSaCS-2007-TozawaM #complexity #context-free grammar- Complexity Results on Balanced Context-Free Languages (AT, YM), pp. 346–360.
PASTE-2007-PollockVSHFM #natural language #program analysis- Introducing natural language program analysis (LLP, KVS, DCS, EH, ZPF, KM), pp. 15–16.
PASTE-2007-ShepherdPV #case study #natural language #program analysis #reverse engineering- Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task (DCS, LLP, KVS), pp. 49–54.
WCRE-2007-DuffyM #approach #automation #c++ #grammar recovery- An Automated Approach to Grammar Recovery for a Dialect of the C++ Language (EBD, BAM), pp. 11–20.
PEPM-2007-EllnerT #semantics #visual notation- The semantics of graphical languages (SE, WT), pp. 122–133.
PEPM-2007-FischerMM #named #programming- Tasks: language support for event-driven programming (JF, RM, TDM), pp. 134–143.
PEPM-2007-YokoyamaG #programming language #self- A reversible programming language and its invertible self-interpreter (TY, RG), pp. 144–153.
PLDI-2007-Chlipala #assembly #compilation #λ-calculus- A certified type-preserving compiler from λ calculus to assembly language (AC), pp. 54–65.
PLDI-2007-KillianABJV #distributed #named- Mace: language support for building distributed systems (CEK, JWA, RB, RJ, AV), pp. 179–188.
PLDI-2007-PerryMRLAW #assembly #fault tolerance- Fault-tolerant typed assembly language (FP, LWM, GAR, JL, DIA, DW), pp. 42–53.
SAS-2007-ChenWWKC #aspect-oriented #compilation #functional- A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages (KC, SCW, MW, SCK, CHC), pp. 34–51.
SAS-2007-GallJ #automaton #infinity #representation #verification- Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification (TLG, BJ), pp. 52–68.
SAS-2007-Mycroft #analysis #design #evolution #hardware #motivation #programming language- Programming Language Design and Analysis Motivated by Hardware Evolution (AM), pp. 18–33.
CIAA-J-2006-Glockler07 #automaton- Forgetting Automata and Unary Languages (JG), pp. 813–827.
CIAA-2007-AckermanS #performance #regular expression- Efficient Enumeration of Regular Languages (MA, JS), pp. 226–242.
CIAA-2007-AnselmoGM #2d #automaton- Tiling Automaton: A Computational Model for Recogn