BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (595)
program (573)
base (389)
specif (363)
object (286)

Stem languag$ (all stems)

4306 papers:

ECSAECSA-2015-AlvaresRS #architecture #component #configuration management
High-Level Language Support for Reconfiguration Control in Component-Based Architectures (FA, ÉR, LS), pp. 3–19.
ECSAECSA-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.
CASECASE-2015-TheorinB #implementation #symmetry
Implementation of an asymmetric relay autotuner in a sequential control language (AT, JB), pp. 874–879.
CASECASE-2015-WareS #synthesis #using
Synthesis time optimal accepting traces using language projection and pruning (SW, RS), pp. 1363–1368.
DATEDATE-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.
DATEDATE-2015-Ibing #architecture #execution #symbolic computation
Architecture description language based retargetable symbolic execution (AI), pp. 241–246.
DATEDATE-2015-YanCC #consistency #natural language #specification
Formal consistency checking over specifications in natural languages (RY, CHC, YC), pp. 1677–1682.
DATEDATE-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.
HTHT-2015-GavilanesGPTKG #twitter
Language, Twitter and Academic Conferences (ROGG, DG, DPS, CT, AK, EG), pp. 159–163.
HTHT-2015-KershawRS #network #online #social
Language Innovation and Change in On-line Social Networks (DK, MR, PS), pp. 311–314.
PODSPODS-2015-Green #declarative #enterprise #named
LogiQL: A Declarative Language for Enterprise Applications (TJG), pp. 59–64.
SIGMODSIGMOD-2015-AlexandrovKKSTK #parallel
Implicit Parallelism through Deep Language Embedding (AA, AK, AK, FS, LT, OK, TH, VM), pp. 47–61.
SIGMODSIGMOD-2015-AmsterdamerKM #interface #mining #named #natural language
NL2CM: A Natural Language Interface to Crowd Mining (YA, AK, TM), pp. 1433–1438.
VLDBVLDB-2015-AmsterdamerKM #interface #natural language #query
A Natural Language Interface for Querying General and Individual Knowledge (YA, AK, TM), pp. 1430–1441.
ITiCSEITiCSE-2015-DiethelmG #education
Questions on Spoken Language and Terminology for Teaching Computer Science (ID, JG), pp. 21–26.
ITiCSEITiCSE-2015-PalI #programming
Classroom Versus Screencast for Native Language Learners: Effect of Medium of Instruction on Knowledge of Programming (YP, SI), pp. 290–295.
ESOPESOP-2015-BattyMNPS #concurrent #problem #programming language #semantics
The Problem of Programming Language Concurrency Semantics (MB, KM, KN, JPP, PS), pp. 283–307.
ESOPESOP-2015-CoxCR #abstraction #multi #source code
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages (AC, BYEC, XR), pp. 483–509.
ESOPESOP-2015-VasconcelosJFH #analysis #functional #lazy evaluation #recursion #type system
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages (PBV, SJ, MF, KH), pp. 787–811.
TACASTACAS-2015-KantLMPBD #independence #model checking #named
LTSmin: High-Performance Language-Independent Model Checking (GK, AL, JM, JvdP, SB, TvD), pp. 692–707.
ICSMEICSME-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.
ICSMEICSME-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.
MSRMSR-2015-HellendoornDB #modelling
Will They Like This? Evaluating Code Contributions with Language Models (VH, PTD, AB), pp. 157–167.
SANERSANER-2015-JiangSPLZ #comprehension #developer #interactive #natural language #query
Understanding developers’ natural language queries with interactive clarification (SJ, LS, XP, ZL, WZ), pp. 13–22.
SANERSANER-2015-PalixFL #algorithm #difference
Improving pattern tracking with a language-aware tree differencing algorithm (NP, JRF, JL), pp. 43–52.
SANERSANER-2015-SharmaTL #automation #identification #named #twitter
NIRMAL: Automatic identification of software relevant tweets leveraging language model (AS, YT, DL), pp. 449–458.
PEPMPEPM-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.
PEPMPEPM-2015-VerstoepH #analysis #functional #higher-order #strict
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement (HV, JH), pp. 139–142.
SASSAS-2015-AldousM #low level #static analysis
Static Analysis of Non-interference in Expressive Low-Level Languages (PA, MM), pp. 1–17.
CIAACIAA-J-2013-JirasekJ15 #bound #on the #regular expression
On the boundary of regular languages (JJ, GJ), pp. 42–57.
CIAACIAA-2015-CaronMM #on the
On the Hierarchy of Block Deterministic Languages (PC, LM, CM), pp. 63–75.
CIAACIAA-2015-Madejski #linear #permutation #problem
The Membership Problem for Linear and Regular Permutation Languages (GM), pp. 211–223.
DLTDLT-2015-BellRS #formal method
Factorization in Formal Languages (PCB, DR, JS), pp. 97–107.
DLTDLT-2015-Bojanczyk #monad
Recognisable Languages over Monads (MB), pp. 1–13.
DLTDLT-2015-EremondiIM #on the
On the Density of Context-Free and Counter Languages (JE, OHI, IM), pp. 228–239.
DLTDLT-2015-HanKS #fault
Generalizations of Code Languages with Marginal Errors (YSH, SKK, KS), pp. 264–275.
DLTDLT-2015-JirasekJ #bound
The Boundary of Prefix-Free Languages (JJ, GJ), pp. 300–312.
ICALPICALP-v1-2015-FullaZ #constraints #infinity
A Galois Connection for Valued Constraint Languages of Infinite Size (PF, SZ), pp. 517–528.
ICALPICALP-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.
ICALPICALP-v2-2015-BenesBLS #automaton #parametricity
Language Emptiness of Continuous-Time Parametric Timed Automata (NB, PB, KGL, JS), pp. 69–81.
ICALPICALP-v2-2015-CiobanuDE #equation #set
Solution Sets for Equations over Free Groups are EDT0L Languages (LC, VD, ME), pp. 134–145.
ICALPICALP-v2-2015-SwernofskyW #complexity #on the
On the Complexity of Intersecting Regular, Context-Free, and Tree Languages (JS, MW), pp. 414–426.
LATALATA-2015-NayakK #on the #word
On the Language of Primitive Partial Words (ACN, KK), pp. 436–445.
FMFM-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.
FMFM-2015-SafilianMD #feature model #formal method #modelling #semantics
The Semantics of Cardinality-Based Feature Models via Formal Languages (AS, TSEM, ZD), pp. 453–469.
SEFMSEFM-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.
SEFMSEFM-2015-NicolaMPST #interactive #interpreter #modelling #twitter
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter (RDN, AM, MP, AS, FT), pp. 327–343.
SFMSFM-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.
ICFPICFP-2015-BaumanBHKPST #functional #jit #named
Pycket: a tracing JIT for a functional language (SB, CFB, RH, VK, TP, JGS, STH), pp. 22–34.
ICFPICFP-2015-Chlipala #compilation #functional #optimisation
An optimizing compiler for a purely functional web-application language (AC), pp. 10–21.
ICFPICFP-2015-DannerLR #functional #induction #semantics
Denotational cost semantics for functional languages with inductive types (ND, DRL, R), pp. 140–151.
ICFPICFP-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.
ICFPICFP-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.
GaMGaM-2015-BakFPR #graph #interpreter #programming language
A Reference Interpreter for the Graph Programming Language GP 2 (CB, GF, DP, CR), pp. 48–64.
ICGTICGT-2015-Oliveira #graph transformation #reachability #slicing
Reachability in Graph Transformation Systems and Slice Languages (MdOO), pp. 121–137.
CHICHI-2015-CaiGGM #education #named
Wait-Learning: Leveraging Wait Time for Second Language Education (CJC, PJG, JRG, RCM), pp. 3701–3710.
CHICHI-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.
CHICHI-2015-Hale #editing #wiki
Cross-language Wikipedia Editing of Okinawa, Japan (SAH), pp. 183–192.
CHICHI-2015-PlimmerHZKYJBD #interactive #tool support
New Interaction Tools for Preserving an Old Language (BP, LH, TZ, KK, AWY, GJ, RB, EYLD), pp. 3493–3502.
CHICHI-2015-PolitisBP #multimodal
To Beep or Not to Beep?: Comparing Abstract versus Language-Based Multimodal Driver Displays (IP, SAB, FEP), pp. 3971–3980.
CSCWCSCW-2015-BraggRL #taxonomy
A User-Powered American Sign Language Dictionary (DB, KR, REL), pp. 1837–1848.
CSCWCSCW-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.
HCIDUXU-UI-2015-MorrisonKM #design #smarttech
Designing a Vibrotactile Language for a Wearable Vest (AM, HK, CMY), pp. 655–666.
HCIHCI-IT-2015-WalkerSJ #interactive #performance
Interactive Sonification Markup Language (ISML) for Efficient Motion-Sound Mappings (JWW, MTS, MJ), pp. 385–394.
HCIHIMI-IKD-2015-EldesoukyMSD #interface #knowledge base #natural language
Seed, a Natural Language Interface to Knowledge Bases (BE, HM, SS, AD), pp. 280–290.
HCILCT-2015-FlanaganYSH #fault #predict
Prediction of Learner Native Language by Writing Error Pattern (BF, CY, TS, SH), pp. 87–96.
HCISCSM-2015-KinclNPS #analysis #independence #sentiment
Language-Independent Sentiment Analysis with Surrounding Context Extension (TK, MN, JP, PS), pp. 158–168.
AdaEuropeAdaEurope-2015-PavleticVRKK #debugging #framework
Extensible Debugger Framework for Extensible Languages (DP, MV, SAR, BK, TK), pp. 33–49.
CAiSECAiSE-2015-Francescomarino #using #workflow
Completing Workflow Traces Using Action Languages (CDF, CG, ST, IVS), pp. 314–330.
ICEISICEIS-v1-2015-BrodskyL #knowledge base #modelling #reuse #towards
Decision Guidance Analytics Language (DGAL) — Toward Reusable Knowledge Base Centric Modeling (AB, JL), pp. 67–78.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2015-BraunE #enterprise #framework #modelling
A Generic Framework for Modifying and Extending Enterprise Modeling Languages (RB, WE), pp. 277–286.
ICEISICEIS-v2-2015-MoraisS #interface #modelling #quality
Assessing the Quality of User-interface Modeling Languages (FM, ARdS), pp. 311–319.
ECIRECIR-2015-EsuliF #categorisation
Distributional Correspondence Indexing for Cross-Language Text Categorization (AE, AMF), pp. 104–109.
ECIRECIR-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.
ICMLICML-2015-AllamanisTGW #modelling #natural language #source code
Bimodal Modelling of Source Code and Natural Language (MA, DT, ADG, YW), pp. 2123–2132.
ICMLICML-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.
RecSysRecSys-2015-Valcarce #modelling #recommendation #statistics
Exploring Statistical Language Models for Recommender Systems (DV), pp. 375–378.
RecSysRecSys-2015-ValcarcePB #case study #modelling #recommendation
A Study of Priors for Relevance-Based Language Modelling of Recommender Systems (DV, JP, AB), pp. 237–240.
SEKESEKE-2015-AdjoyanS #architecture #product line
An Architecture Description Language for Dynamic Service-Oriented Product Lines (SA, AS), pp. 231–236.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SIGIRSIGIR-2015-GangulyRMJ #information retrieval #word
Word Embedding based Generalized Language Model for Information Retrieval (DG, DR, MM, GJFJ), pp. 795–798.
SIGIRSIGIR-2015-SchamoniR #information retrieval #orthogonal #scalability
Combining Orthogonal Information in Large-Scale Cross-Language Information Retrieval (SS, SR), pp. 943–946.
ECMFAECMFA-J-2012-LaraGC15 #metamodelling #modelling
Model-driven engineering with domain-specific meta-modelling languages (JdL, EG, JSC), pp. 429–459.
ECMFAECMFA-J-2012-PfeifferW15 #design #development #multi
The design space of multi-language development environments (RHP, AW), pp. 383–411.
ICMTICMT-J-2012-AtkinsonGT15 #model transformation #modelling #multi
Enhancing classic transformation languages to support multi-level modeling (CA, RG, CVT), pp. 645–666.
ICMTICMT-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.
MoDELSMoDELS-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.
MoDELSMoDELS-2015-GregoricsGKDD #algorithm #diagrams #layout #visualisation
Textual diagram layout language and visualization algorithm (BG, TG, GFK, AD, GD), pp. 196–205.
MoDELSMoDELS-2015-GreifenbergLRR #domain-specific language
Engineering tagging languages for DSLs (TG, ML, SR, BR), pp. 34–43.
MoDELSMoDELS-2015-HolldoblerRW #model transformation
Systematically deriving domain-specific transformation languages (KH, BR, IW), pp. 136–145.
MoDELSMoDELS-2015-LarsenDCM #behaviour #coordination
A Behavioral Coordination Operator Language (BCOoL) (MEVL, JD, BC, FM), pp. 186–195.
MoDELSMoDELS-2015-PescadorGGCL #development #domain-specific language #modelling
Pattern-based development of Domain-Specific Modelling Languages (AP, AG, EG, JSC, JdL), pp. 166–175.
ECOOPECOOP-2015-ShinnarSH #calculus #compilation
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (AS, JS, MH), pp. 542–567.
ECOOPECOOP-2015-VekrisCJ #trust #type system #verification
Trust, but Verify: Two-Phase Typing for Dynamic Languages (PV, BC, RJ), pp. 52–75.
OnwardOnward-2015-LiPPK #semantics
Slimming languages by reducing sugar: a case for semantics-altering transformations (JL, JP, JGP, SK), pp. 90–106.
OnwardOnward-2015-PolitoDBF #framework
A bootstrapping infrastructure to build and extend Pharo-like languages (GP, SD, NB, LF), pp. 183–196.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2015-JantzRKD #memory management
Cross-layer memory management for managed language applications (MRJ, FJR, PAK, KAD), pp. 488–504.
OOPSLAOOPSLA-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.
GPCEGPCE-2015-AdamS #domain-specific language #tool support #towards
Towards tool support for spreadsheet-based domain-specific languages (SA, UPS), pp. 95–98.
GPCEGPCE-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.
GPCEGPCE-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.
GPCEGPCE-2015-ScherrC #domain-specific language #embedded #staged
Almost first-class language embedding: taming staged embedded DSLs (MS, SC), pp. 21–30.
PPDPPPDP-2015-GiantsiosPS #functional #testing
Concolic testing for functional languages (AG, NSP, KFS), pp. 137–148.
PPDPPPDP-2015-MeiklejohnR #coordination #distributed #named #programming
Lasp: a language for distributed, coordination-free programming (CM, PVR), pp. 184–195.
PPDPPPDP-2015-Schmidt-Schauss #call-by #functional #semantics
Improvements in a functional core language with call-by-need operational semantics (MSS, DS), pp. 220–231.
POPLPOPL-2015-AlurDR #declarative #named #string
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations (RA, LD, MR), pp. 125–137.
POPLPOPL-2015-BastaniAA #context-free grammar #reachability #specification #using
Specification Inference Using Context-Free Language Reachability (OB, SA, AA), pp. 553–566.
POPLPOPL-2015-Buneman #database #programming #question
Databases and Programming: Two Subjects Divided by a Common Language? (PB), p. 487.
POPLPOPL-2015-Pous #algebra #algorithm #equivalence #testing
Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests (DP), pp. 357–368.
POPLPOPL-2015-Staton #algebra #programming language #quantum
Algebraic Effects, Linearity, and Quantum Programming Languages (SS), pp. 395–406.
SACSAC-2015-CordobaL #design #effectiveness #java #modelling
A modelling language for the effective design of Java annotations (IC, JdL), pp. 2087–2092.
SACSAC-2015-MarquesRA #named #representation #traceability
TRL: a traceability representation language (AM, FR, WdLA), pp. 1358–1363.
SACSAC-2015-MarquesRPSM #coordination #named #network
NVL: a coordination language for unmanned vehicle networks (ERBM, MR, JP, JBS, FM), pp. 331–334.
SACSAC-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.
SACSAC-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.
SACSAC-2015-TakanoI #correctness #functional #lazy evaluation #semantics
Thunk recycling for lazy functional languages: operational semantics and correctness (YT, HI), pp. 2079–2086.
SACSAC-2015-VorobyovKS #monitoring #specification
A concise specification language for trace monitoring (KV, PK, PS), pp. 1637–1640.
ESEC-FSEESEC-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-FSEESEC-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-FSEESEC-FSE-2015-Jain #automation #generative #programming language
Automated generation of programming language quizzes (SJ), pp. 1051–1053.
ESEC-FSEESEC-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-FSEESEC-FSE-2015-NguyenKN #slicing #web
Cross-language program slicing for dynamic web applications (HVN, CK, TNN), pp. 369–380.
ESEC-FSEESEC-FSE-2015-Olajubu #domain-specific language #modelling
A textual domain specific language for requirement modelling (OO), pp. 1060–1062.
ESEC-FSEESEC-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-FSEESEC-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.
ICSEICSE-v1-2015-NanzF #case study #comparative #programming language
A Comparative Study of Programming Languages in Rosetta Code (SN, CAF), pp. 778–788.
ICSEICSE-v1-2015-NguyenN #graph #statistics
Graph-Based Statistical Language Model for Code (ATN, TNN), pp. 858–868.
ICSEICSE-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.
ICSEICSE-v2-2015-ChitchyanCR
Engineering Sustainability Through Language (RC, WC, AR), pp. 501–504.
ICSEICSE-v2-2015-FranksTDH #modelling #named
CACHECA: A Cache Language Model Based Code Suggestion Tool (CF, ZT, PTD, VH), pp. 705–708.
SLESLE-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.
SLESLE-2015-GammaitoniKG #design #using
Designing languages using lightning (LG, PK, CG), pp. 77–82.
SLESLE-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.
SLESLE-2015-Lopez-Fernandez #validation #visual notation
Example-based validation of domain-specific visual languages (JJLF, EG, JdL), pp. 101–112.
SLESLE-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.
SLESLE-2015-Pearce
The whiley rewrite language (WyRL) (DJP), pp. 161–166.
SLESLE-2015-UmuhozaBRC #empirical #modelling #process
An empirical study on simplification of business process modeling languages (EU, MB, DR, JC), pp. 13–24.
SPLCSPLC-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.
SPLCSPLC-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.
SPLCSPLC-2015-KuhnCO #product line
Choosy and picky: configuration of language product lines (TK, WC, DMO), pp. 71–80.
SPLCSPLC-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.
ASPLOSASPLOS-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.
CCCC-2015-BourkeCPPP #code generation #hybrid
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages (TB, JLC, BP, CP, MP), pp. 69–88.
CCCC-2015-HollingumS #context-free grammar #framework #reachability #scalability #towards
Towards a Scalable Framework for Context-Free Language Reachability (NH, BS), pp. 193–211.
PPoPPPPoPP-2015-ChenCM #named #parallel
Tiles: a new language mechanism for heterogeneous parallelism (YC, XC, HM), pp. 287–288.
CADECADE-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.
CSLCSL-2015-DuparcFH #ambiguity #on the
On Unambiguous Regular Tree Languages of Index (0, 2) (JD, KF, SH), pp. 534–548.
ICLPICLP-2015-Hallen #data mining #higher-order #logic #mining #specification
Higher Order Support in Logic Specification Languages for Data Mining Applications (MvdH).
ISSTAISSTA-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.
LICSLICS-2015-AdamekMUM
Varieties of Languages in a Category (JA, RSRM, HU, SM), pp. 414–425.
LICSLICS-2015-Place #quantifier #regular expression
Separating Regular Languages with Two Quantifiers Alternations (TP), pp. 202–213.
CBSECBSE-2014-HorcasPF #architecture #injection #quality #variability
Injecting quality attributes into software architectures with the common variability language (JMH, MP, LF), pp. 35–44.
CBSECBSE-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.
ECSAECSA-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.
WICSAWICSA-2014-BabazadehP #design #distributed #framework
The Stream Software Connector Design Space: Frameworks and Languages for Distributed Stream Processing (MB, CP), pp. 1–10.
ASEASE-2014-Angerer #impact analysis #multi #product line #variability
Variability-aware change impact analysis of multi-language product lines (FA), pp. 903–906.
ASEASE-2014-DeweyRH #constraints #fuzzing #logic programming #using
Language fuzzing using constraint logic programming (KD, JR, BH), pp. 725–730.
DATEDATE-2014-DhruvaKGT #cyber-physical
Computing a language-based guarantee for timing properties of cyber-physical systems (ND, PK, GG, LT), pp. 1–6.
DocEngDocEng-2014-CabralLMFASR #framework #independence #summary
A platform for language independent summarization (LdSC, RDL, RFM, FF, BTÁ, SJS, MR), pp. 203–206.
PODSPODS-2014-ArenasGP #query #semantics #web
Expressive languages for querying the semantic web (MA, GG, AP), pp. 14–26.
PODSPODS-2014-GottlobRS
Expressiveness of guarded existential rule languages (GG, SR, MS), pp. 27–38.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
VLDBVLDB-2014-KlonatosKRC #performance #query
Building Efficient Query Engines in a High-Level Language (YK, CK, TR, HC), pp. 853–864.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-2015-LiJ14 #database #interactive #interface #natural language #relational
Constructing an Interactive Natural Language Interface for Relational Databases (FL, HVJ), pp. 73–84.
TFPIETFPIE-2014-MorazanA #automaton #formal method #functional #student
Functional Automata — Formal Languages for Computer Science Students (MTM, RA), pp. 19–32.
TFPIETFPIE-2014-Winter #authentication #functional #named #programming language
Bricklayer: An Authentic Introduction to the Functional Programming Language SML (VLW), pp. 33–49.
ESOPESOP-2014-Garnock-JonesTF #network
The Network as a Language Construct (TGJ, STH, MF), pp. 473–492.
ESOPESOP-2014-PercontiA #compilation #multi #semantics #using #verification
Verifying an Open Compiler Using Multi-language Semantics (JTP, AA), pp. 128–148.
ESOPESOP-2014-SlepakSM #morphism #polymorphism #rank
An Array-Oriented Language with Static Rank Polymorphism (JS, OS, PM), pp. 27–46.
FoSSaCSFoSSaCS-2014-AdamekMMU #theorem
Generalized Eilenberg Theorem I: Local Varieties of Languages (JA, SM, RSRM, HU), pp. 366–380.
FoSSaCSFoSSaCS-2014-KobayashiIT #higher-order
Unsafe Order-2 Tree Languages Are Context-Sensitive (NK, KI, TT), pp. 149–163.
TACASTACAS-2014-MalerM #learning #regular expression #scalability
Learning Regular Languages over Large Alphabets (OM, IEM), pp. 485–499.
TACASTACAS-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.
WRLAWRLA-2014-ArusoaieLRSSR
Language Definitions as Rewrite Theories (AA, DL, VR, TFS, AS, GR), pp. 97–112.
SANERCSMR-WCRE-2014-BaggeZ #problem
International workshop on open and original problems in software language engineering (AHB, VZ), p. 478.
SANERCSMR-WCRE-2014-LammelLSV #comparison #implementation
Comparison of feature implementations across languages, technologies, and styles (RL, ML, TS, AV), pp. 333–337.
SANERCSMR-WCRE-2014-TomassettiRT #automation
Spotting automatically cross-language relations (FT, GR, MT), pp. 338–342.
ICPCICPC-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.
ICPCICPC-2014-XiaLWZW #debugging #locality
Cross-language bug localization (XX, DL, XW, CZ, XW), pp. 275–278.
MSRMSR-2014-CampbellHA #fault #modelling #syntax
Syntax errors just aren’t natural: improving error reporting with language models (JCC, AH, JNA), pp. 252–261.
MSRMSR-2014-MertenMBP #natural language #semistructured data
Classifying unstructured data into natural language text and technical information (TM, BM, SB, BP), pp. 300–303.
SCAMSCAM-2014-CaraccioloCSL #corpus #multi #named
Pangea: A Workbench for Statically Analyzing Multi-language Software Corpora (AC, AC, BS, ML), pp. 71–76.
SCAMSCAM-2014-YooBE #slicing
Seeing Is Slicing: Observation Based Slicing of Picture Description Languages (SY, DB, RDE), pp. 175–184.
PEPMPEPM-J-2013-ServettoZ14 #library
A meta-circular language for active libraries (MS, EZ), pp. 219–253.
PEPMPEPM-J-2013-WeijersHH14 #fault #higher-order #polymorphism #security
Security type error diagnosis for higher-order, polymorphic languages (JW, JH, SH), pp. 200–218.
PEPMPEPM-2014-CheneyLRW #effectiveness #query
Effective quotation: relating approaches to language-integrated query (JC, SL, GR, PW), pp. 15–26.
PLDIPLDI-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.
PLDIPLDI-2014-DAntoniVLM #named #performance #transducer
Fast: a transducer-based language for tree manipulation (LD, MV, BL, DM), p. 40.
PLDIPLDI-2014-LuJS #parallel #scripting language
Dynamic enforcement of determinism in a parallel scripting language (LL, WJ, MLS), p. 53.
PLDIPLDI-2014-RaychevVY #code completion #modelling #statistics
Code completion with statistical language models (VR, MTV, EY), p. 44.
PLDIPLDI-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.
PLDIPLDI-2014-TorlakB #lightweight #virtual machine
A lightweight symbolic virtual machine for solver-aided host languages (ET, RB), p. 54.
PLDIPLDI-2014-VilkB #named
Doppio: breaking the browser language barrier (JV, EDB), p. 52.
SASSAS-2014-CoxCR #analysis #automation #source code
Automatic Analysis of Open Objects in Dynamic Language Programs (AC, BYEC, XR), pp. 134–150.
DLTDLT-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.
DLTDLT-J-2013-CarninoL14 #automaton
Factorizations and Universal Automaton of ω-Languages (VC, SL), pp. 1111–1126.
DLTDLT-J-2013-DrosteV14 #context-free grammar #theorem
The Chomsky-SCHüTzenberger Theorem for Quantitative Context-Free Languages (MD, HV), pp. 955–970.
DLTDLT-J-2013-IbarraR14 #complexity
Some Decision Questions Concerning the Time Complexity of Language Acceptors (OHI, BR), pp. 1127–1140.
DLTDLT-J-2013-Shur14 #anti #finite
Languages with a Finite antidictionary: some growth Questions (AMS), pp. 937–954.
AFLAFL-2014-Brinda
Languages of lossless seeds (KB), pp. 139–150.
AFLAFL-2014-BrzozowskiD13
Maximally Atomic Languages (JAB, GD), pp. 151–161.
AFLAFL-2014-Crespi-ReghizziP #commutative #composition
Commutative Languages and their Composition by Consensual Methods (SCR, PSP), pp. 216–230.
AFLAFL-2014-HolzerJ #automaton #product line #regular expression
More Structural Characterizations of Some Subregular Language Families by Biautomata (MH, SJ), pp. 271–285.
AFLAFL-2014-Valdats #complexity #regular expression
Boolean Circuit Complexity of Regular Languages (MV), pp. 342–354.
CIAACIAA-2014-BiasiY #automaton
Unary Languages Recognized by Two-Way One-Counter Automata (MDB, AY), pp. 148–161.
CIAACIAA-2014-Blanchet-SadriGS #automaton
Minimal Partial Languages and Automata (FBS, KG, AS), pp. 110–123.
CIAACIAA-2014-CevorovaJK #on the #regular expression
On the Square of Regular Languages (KC, GJ, IK), pp. 136–147.
CIAACIAA-2014-JiraskovaPS
Kleene Closure on Regular and Prefix-Free Languages (GJ, MP, JS), pp. 226–237.
CIAACIAA-2014-Otto #automaton #bibliography
Restarting Automata for Picture Languages: A Survey on Recent Developments (FO), pp. 16–41.
CIAACIAA-2014-Pighizzini #automaton
Investigations on Automata and Languages over a Unary Alphabet (GP), pp. 42–57.
DLTDLT-2014-DayRS #pattern matching
Closure Properties of Pattern Languages (JDD, DR, MLS), pp. 279–290.
DLTDLT-2014-MarsaultS
Breadth-First Serialisation of Trees and Rational Languages — (Short Paper) (VM, JS), pp. 252–259.
DLTDLT-2014-Schmid #regular expression
Characterising REGEX Languages by Regular Languages Equipped with Factor-Referencing (MLS), pp. 142–153.
DLTDLT-2014-TorreNP #automaton #bound
Scope-Bounded Pushdown Languages (SLT, MN, GP), pp. 116–128.
ICALPICALP-v2-2014-Chaturvedi #towards
Toward a Structure Theory of Regular Infinitary Trace Languages (NC), pp. 134–145.
LATALATA-2014-FormentiHKP #complexity
ω-rational Languages: High Complexity Classes vs. Borel Hierarchy (EF, MH, MK, JP), pp. 372–383.
LATALATA-2014-KoHS #top-down
Top-Down Tree Edit-Distance of Regular Tree Languages (SKK, YSH, KS), pp. 466–477.
LATALATA-2014-MazadiGZ #pattern matching
Distinguishing Pattern Languages with Membership Examples (ZM, ZG, SZ), pp. 528–540.
LATALATA-2014-OttoM #automaton #order
Extended Two-Way Ordered Restarting Automata for Picture Languages (FO, FM), pp. 541–552.
FMFM-2014-ChristakisLS #formal method #verification
Formalizing and Verifying a Modern Build Language (MC, KRML, WS), pp. 643–657.
ICFPICFP-2014-GibbonsW #domain-specific language #functional
Folding domain-specific languages: deep and shallow embeddings (functional Pearl) (JG, NW), pp. 339–347.
IFLIFL-2014-AronssonAS #domain-specific language #embedded
Stream Processing for Embedded Domain Specific Languages (MA, EA, MS), p. 8.
IFLIFL-2014-LeF #functional #parallel
Combining Shared State with Speculative Parallelism in a Functional Language (ML, MF), p. 2.
ICGTICGT-2014-RidderR #morphism #problem
The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages (HNdR, NdR), pp. 192–206.
CHICHI-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.
CHICHI-2014-LiR14a #named
SmartVoice: a presentation support system for overcoming the language barrier (XL, JR), pp. 1563–1570.
CSCWCSCW-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.
CSCWCSCW-2014-MitraG #people #predict
The language that gets people to give: phrases that predict success on kickstarter (TM, EG), pp. 49–61.
HCIDUXU-TMT-2014-DanylakK #game studies
The Language Game (RD, KK), pp. 55–63.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-AIMT-2014-KrennEKA
Effects of Language Variety on Personality Perception in Embodied Conversational Agents (BK, BE, FK, EA), pp. 429–439.
HCIHIMI-DE-2014-LiH
Improving Academic Listening Skills of Second Language by Building up Strategy Object Mashups (HL, SH), pp. 384–395.
HCILCT-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.
HCILCT-TRE-2014-Jebali #question
Does CMC Reduce Foreign Language Classroom Anxiety? (AJ), pp. 277–287.
HCILCT-TRE-2014-ShimizuO #effectiveness #learning #question
Which Is More Effective for Learning German and Japanese Language, Paper or Digital? (RS, KO), pp. 309–318.
VISSOFTVISSOFT-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.
VISSOFTVISSOFT-2014-Noble #programming language
Livecoding the SynthKit: Little Bits as an Embodied Programming Language (JN), pp. 40–44.
AdaEuropeAdaEurope-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.
HILTHILT-2014-BarnesT #ada #design #lessons learnt
Ada 83 to Ada 2012: lessons learned over 30 years of language design (JB, STT), pp. 3–4.
HILTHILT-2014-BocchinoGGS #named #programming language
Spot: a programming language for verified flight software (RLB, EG, KPG, RRS), pp. 97–102.
HILTHILT-2014-GacekBCSW #architecture #assurance #modelling #named
Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.
HILTHILT-2014-MatsakisK #rust
The rust language (NDM, FSKI), pp. 103–104.
HILTHILT-2014-Seidewitz #execution #modelling #uml
UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.
HILTHILT-2014-SzaboVKRS #development #embedded #named
mbeddr: extensible languages for embedded software development (TS, MV, BK, DR, BS), pp. 13–16.
HILTHILT-2014-TaftMPM #ada #parallel #programming
Safe parallel programming in ada with language extensions (STT, BM, LMP, SM), pp. 87–96.
CAiSECAiSE-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.
ICEISICEIS-v1-2014-BrodskyHL #named #query
DG-Query: An XQuery-based Decision Guidance Query Language (AB, SGH, JL), pp. 152–163.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v3-2014-SilvaOAL #declarative #empirical #imperative #process
Declarative Versus Imperative Business Process Languages — A Controlled Experiment (NCS, CALdO, FALAA, RMFL), pp. 394–401.
CIKMCIKM-2014-RahimiSK #analysis #axiom #information retrieval
Axiomatic Analysis of Cross-Language Information Retrieval (RR, AS, IK), pp. 1875–1878.
CIKMCIKM-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.
CIKMCIKM-2014-TuLLH #ad hoc #documentation #information retrieval
Log-Bilinear Document Language Model for Ad-hoc Information Retrieval (XT, JL, BL, TH), pp. 1895–1898.
CIKMCIKM-2014-VineZKSB #semantics #similarity
Medical Semantic Similarity with a Neural Language Model (LDV, GZ, BK, LS, PB), pp. 1819–1822.
ECIRECIR-2014-FiliceCCB #effectiveness #kernel #learning #online
Effective Kernelized Online Learning in Language Processing Tasks (SF, GC, DC, RB), pp. 347–358.
ECIRECIR-2014-LeeC #feedback #pseudo
Cross-Language Pseudo-Relevance Feedback Techniques for Informal Text (CJL, WBC), pp. 260–272.
ECIRECIR-2014-NarducciPS #named #retrieval #semantics
CroSeR: Cross-language Semantic Retrieval of Open Government Data (FN, MP, GS), pp. 793–797.
ECIRECIR-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.
ICMLICML-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.
ICMLICML-c2-2014-BothaB #composition #modelling #word
Compositional Morphology for Word Representations and Language Modelling (JAB, PB), pp. 1899–1907.
ICMLICML-c2-2014-KirosSZ #modelling #multimodal
Multimodal Neural Language Models (RK, RS, RSZ), pp. 595–603.
ICMLICML-c2-2014-PaigeW #compilation #probability #programming language
A Compilation Target for Probabilistic Programming Languages (BP, FW), pp. 1935–1943.
ICPRICPR-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.
ICPRICPR-2014-DiezVPRB #optimisation #recognition
Optimizing PLLR Features for Spoken Language Recognition (MD, AV, MP, LJRF, GB), pp. 779–784.
ICPRICPR-2014-DuCZ #aspect-oriented #identification #using
A Product Aspects Identification Method by Using Translation-Based Language Model (JD, WC, XZ), pp. 2790–2795.
ICPRICPR-2014-ViitaniemiKL
Experiments on Recognising the Handshape in Blobs Extracted from Sign Language Videos (VV, MK, JL), pp. 2584–2589.
KDDKDD-2014-Munro
Bringing data science to the speakers of every language (RM), p. 1523.
KDIRKDIR-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.
KDIRKDIR-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.
KEODKEOD-2014-DogmusPE #natural language #ontology #query
Answering Natural Language Queries about Rehabilitation Robotics Ontology on the Cloud (ZD, VP, EE), pp. 75–83.
MLDMMLDM-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.
SEKESEKE-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.
SEKESEKE-2014-ShankarN #automation #metric #tool support
Automated Metrics Collection for IEC61131-3 Languages from Engineering Tools (MS, AN), pp. 7–12.
SIGIRSIGIR-2014-TangWZ #recommendation
Cross-language context-aware citation recommendation in scientific articles (XT, XW, XZ), pp. 817–826.
SIGIRSIGIR-2014-VoseckyLN #collaboration #modelling #personalisation #topic #twitter
Collaborative personalized Twitter search with topic-language models (JV, KWTL, WN), pp. 53–62.
SIGIRSIGIR-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.
BXBX-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.
ECMFAECMFA-2014-CuadradoGL #model transformation #towards
Towards the Systematic Construction of Domain-Specific Transformation Languages (JSC, EG, JdL), pp. 196–212.
ECMFAECMFA-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.
ECMFAECMFA-2014-PfeifferRW #independence #traceability
Language-Independent Traceability with Lässig (RHP, JR, AW), pp. 148–163.
ICMTICMT-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.
ICMTICMT-2014-ErginS #design pattern #graph #model transformation #towards
Towards a Language for Graph-Based Model Transformation Design Patterns (HE, ES), pp. 91–105.
MODELSMoDELS-2014-KrikavaCF #domain-specific language #named #scala
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
MODELSMoDELS-2014-KrikavaCF #domain-specific language #named #scala
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
ECOOPECOOP-2014-AnconaC #induction #object-oriented #type system
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages (DA, AC), pp. 282–307.
ECOOPECOOP-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.
ECOOPECOOP-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.
ECOOPECOOP-2014-OmarKNCPA #composition
Safely Composable Type-Specific Languages (CO, DK, LN, BC, AP, JA), pp. 105–130.
OnwardOnward-2014-AcherCC #domain-specific language
Metamorphic Domain-Specific Languages: A Journey into the Shapes of a Language (MA, BC, PC), pp. 243–253.
OnwardOnward-2014-Conversy #programming language #visual notation
Unifying Textual and Visual: A Theoretical Account of the Visual Perception of Programming Languages (SC), pp. 201–212.
OnwardOnward-2014-KaraivanovRV #programming language #statistics
Phrase-Based Statistical Translation of Programming Languages (SK, VR, MTV), pp. 173–184.
OnwardOnward-2014-PhilipsRCM #development #towards #web
Towards Tierless Web Development without Tierless Languages (LP, CDR, TVC, WDM), pp. 69–81.
OnwardOnward-2014-Skene #logic #programming language
Description Logic as Programming Language (JS), pp. 143–162.
OnwardOnward-2014-SpasojevicLN #ecosystem #mining #type inference
Mining the Ecosystem to Improve Type Inference for Dynamically Typed Languages (BS, ML, ON), pp. 133–142.
OnwardOnward-2014-StefikH #community #programming language
The Programming Language Wars: Questions and Responsibilities for the Programming Language Community (AS, SH), pp. 283–299.
OnwardOnward-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.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2014-MitschkeEKMS #named
i3QL: language-integrated live data views (RM, SE, MK, MM, GS), pp. 417–432.
OOPSLAOOPSLA-2014-WangCC #abstraction #compilation #verification
Compiler verification meets cross-language linking via data abstraction (PW, SC, AC), pp. 675–690.
PLATEAUPLATEAU-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.
PLATEAUPLATEAU-2014-KubelkaBR #programming #smalltalk
Asking and Answering Questions during a Programming Change Task in Pharo Language (JK, AB, RR), pp. 1–11.
PLATEAUPLATEAU-2014-KurilovaPA #design #named #programming language #security
Wyvern: Impacting Software Security via Programming Language Design (DK, AP, JA), pp. 57–58.
GPCEGPCE-2014-Asai #compilation #using
Compiling a reflective language using MetaOCaml (KA), pp. 113–122.
GPCEGPCE-2014-GousetiPS #algebra #implementation
Extensible language implementation with object algebras (short paper) (MG, CP, TvdS), pp. 25–28.
GPCEGPCE-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.
GPCEGPCE-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.
PPDPPPDP-2014-MehnerSSV #functional #parametricity #proving #theorem
Parametricity and Proving Free Theorems for Functional-Logic Languages (SM, DS, LS, JV), pp. 19–30.
PPDPPPDP-2014-PachecoZH #bidirectional #functional #named #xml
BiFluX: A Bidirectional Functional Update Language for XML (HP, TZ, ZH), pp. 147–158.
PADLPADL-2014-LakinP #compilation #functional #programming language #using
Compiling DNA Strand Displacement Reactions Using a Functional Programming Language (MRL, AP), pp. 81–86.
POPLPOPL-2014-CasinghinoSW #proving #source code
Combining proofs and programs in a dependently typed language (CC, VS, SW), pp. 33–46.
POPLPOPL-2014-GordonGRRBG #named #probability #programming language
Tabular: a schema-driven probabilistic programming language (ADG, TG, NR, CVR, JB, JG), pp. 321–334.
RERE-2014-AntonelliRLO #using
Language Extended Lexicon points: Estimating the size of an application using its language (LA, GR, JCSdPL, AO), pp. 263–272.
RERE-2014-PruskiLAOARC #named #natural language #query #towards
TiQi: Towards natural language trace queries (PP, SL, RA, GO, SA, AR, JCH), pp. 123–132.
RERE-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.
REFSQREFSQ-2014-FerraridSG #natural language #requirements
Measuring and Improving the Completeness of Natural Language Requirements (AF, FD, GOS, SG), pp. 23–38.
REFSQREFSQ-2014-KnaussO #automation #categorisation #natural language #requirements
(Semi-) automatic Categorization of Natural Language Requirements (EK, DO), pp. 39–54.
SACSAC-2014-FalboRGBA #enterprise #ontology #pattern matching #towards
Towards an enterprise ontology pattern language (RdAF, FBR, GG, MPB, JPAA), pp. 323–330.
SACSAC-2014-HalderZC #analysis #database #information management #query
Information leakage analysis of database query languages (RH, MZ, AC), pp. 813–820.
SACSAC-2014-KrikavaCF14a #domain-specific language #modelling #using
Manipulating models using internal domain-specific languages (FK, PC, RBF), pp. 1612–1614.
SACSAC-2014-ReisIB #syntax
Defining the syntax of extensible languages (LVdSR, VODI, RdSB), pp. 1570–1576.
SACSAC-2014-Rohrig #domain-specific language #process #scheduling
A domain specific language for process scheduling (DR), pp. 1550–1551.
SACSAC-2014-Umatani #calculus #implementation
Practical implementation techniques of ambient calculus in conventional dynamic languages (SU), pp. 1345–1351.
SACSAC-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.
FSEFSE-2014-BinkleyGHIKY #independence #named #slicing
ORBS: language-independent program slicing (DB, NG, MH, SSI, JK, SY), pp. 109–120.
FSEFSE-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.
ICSEICSE-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.
LDTALDTA-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.
SLESLE-2014-DiekmannT #composition #editing #named
Eco: A Language Composition Editor (LD, LT), pp. 82–101.
SLESLE-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.
SLESLE-2014-MeyersDLSVW #framework #generative #named
ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
SLESLE-2014-TisiJDSC #assembly #model transformation
fUML as an Assembly Language for Model Transformation (MT, FJ, JD, ZS, HC), pp. 171–190.
SPLCSPLC-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.
SPLCSPLC-2014-Reinhartz-BergerF #modelling #orthogonal #variability
Comprehensibility of orthogonal variability modeling languages: the cases of CVL and OVM (IRB, KF), pp. 42–51.
SPLCSPLC-2014-VacchiCCA #automation #component #implementation #model inference #variability
Automating variability model inference for component-based language implementations (EV, WC, BC, MA), pp. 167–176.
SPLCSPLC-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2014-BucurKC #execution #prototype #symbolic computation
Prototyping symbolic execution engines for interpreted languages (SB, JK, GC), pp. 239–254.
ASPLOSASPLOS-2014-RibicY #energy
Energy-efficient work-stealing language runtimes (HR, YDL), pp. 513–528.
ASPLOSASPLOS-2014-SantosRSW #mobile #runtime #using
Using ARM trustzone to build a trusted language runtime for mobile applications (NS, HR, SS, AW), pp. 67–80.
ASPLOSASPLOS-2014-Wood #architecture #named
Resolved: specialized architectures, languages, and system software should supplant general-purpose alternatives within a decade (DAW), pp. 653–654.
ASPLOSASPLOS-2014-WoodCG #detection #low level
Low-level detection of language-level data races with LARD (BPW, LC, DG), pp. 671–686.
CGOCGO-2014-HongSWO #domain-specific language #graph #scalability
Simplifying Scalable Graph Processing with a Domain-Specific Language (SH, SS, JW, KO), p. 208.
CGOCGO-2014-YanXYR #detection #memory management #named
LeakChecker: Practical Static Memory Leak Detection for Managed Languages (DY, G(X, SY, AR), p. 87.
HPDCHPDC-2014-FaltBKYZ #named #parallel #streaming
Bobolang: a language for parallel streaming applications (ZF, DB, MK, JY, FZ), pp. 311–314.
OSDIOSDI-2014-MooreDKC #named #scripting language
SHILL: A Secure Shell Scripting Language (SM, CD, DK, SC), pp. 183–199.
PPoPPPPoPP-2014-Olukotun #domain-specific language #parallel #programming
Beyond parallel programming with domain specific languages (KO), pp. 179–180.
CAVCAV-2014-RakamaricE #implementation #named #verification
SMACK: Decoupling Source Language Details from Verifier Implementations (ZR, ME), pp. 106–113.
ICLPICLP-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.
ICLPICLP-J-2014-Jackson #domain-specific language
A Module System for Domain-Specific Languages (EKJ), pp. 771–785.
LICSLICS-CSL-2014-PlaceZ #first-order #logic #regular expression
Separating regular languages with first-order logic (TP, MZ), p. 10.
RTARTA-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.
CBSECBSE-2013-JafroodiG #implementation
Implementing generalized alternative construct for erasmus language (NJ, PG), pp. 101–110.
ECSAECSA-2013-SilvaMCB #architecture #lightweight #product line
A Lightweight Language for Software Product Lines Architecture Description (ES, ALM, EC, TVB), pp. 114–121.
ECSAECSA-2013-ThatSOB #design pattern
Composition-Centered Architectural Pattern Description Language (MTTT, SS, FO, IB), pp. 1–16.
QoSAQoSA-2013-TekinerdoganD #architecture #evaluation #framework
Evaluation framework for software architecture viewpoint languages (BT, ED), pp. 89–98.
ASEASE-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.
ASEASE-2013-Hellerstein #case study #design #distributed #experience #named
BOOM: Experiences in language and tool design for distributed systems (keynote) (JMH), p. 1.
DACDAC-2013-LeGHD #simulation #using #verification
Verifying SystemC using an intermediate verification language and symbolic simulation (HML, DG, VH, RD), p. 6.
DocEngDocEng-2013-YuanM #repository #retrieval
Cross language indexing and retrieval of the cypriot digital antiquities repository (DY, PM), pp. 235–236.
HTHT-2013-BastosPT #topic #twitter
Tweeting across hashtags: overlapping users and the importance of language, topics, and politics (MTB, CP, RT), pp. 164–168.
ICDARICDAR-2013-BuiVM #documentation #invariant #navigation
Invariants Extraction Method Applied in an Omni-language Old Document Navigating System (QAB, MV, RM), pp. 1325–1329.
ICDARICDAR-2013-FischerFBS #keyword #modelling
Improving HMM-Based Keyword Spotting with Character Language Models (AF, VF, HB, CYS), pp. 506–510.
ICDARICDAR-2013-GerdjikovMN
Extraction of Spelling Variations from Language Structure for Noisy Text Correction (SG, SM, VN), pp. 324–328.
ICDARICDAR-2013-RomeroS #modelling #recognition
Category-Based Language Models for Handwriting Recognition of Marriage License Books (VR, JAS), pp. 788–792.
ICDARICDAR-2013-SankaranJ #detection #fault
Error Detection in Highly Inflectional Languages (NS, CVJ), pp. 1135–1139.
ICDARICDAR-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.
PODSPODS-2013-LibkinRV #adaptation #graph #query #rdf
Trial for RDF: adapting graph query languages for RDF data (LL, JLR, DV), pp. 201–212.
SIGMODSIGMOD-2013-HuangZ #natural language #rdf
Natural language question answering over RDF data (RH, LZ), pp. 1289–1290.
SIGMODSIGMOD-2013-ZhangGBFRP #named #statistics #using
GeoDeepDive: statistical inference using familiar data-processing languages (CZ, VG, JB, TF, CR, SP), pp. 993–996.
VLDBVLDB-2013-CaoB #implementation #performance #quantifier #query #relational
Efficient Implementation of Generalized Quantification in Relational Query Languages (BC, AB), pp. 241–252.
VLDBVLDB-2013-Madaan #documentation #multi #query #repository
Domain Specific Multi-stage Query Language for Medical Document Repositories (AM), pp. 1410–1415.
VLDBVLDB-2013-SeoPSL #analysis #distributed #graph #scalability
Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis (JS, JP, JS, MSL), pp. 1906–1917.
CSEETCSEET-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.
ITiCSEITiCSE-2013-Alshaigy #development #education #interactive #learning #programming language #python
Development of an interactive learning tool to teach python programming language (BA), p. 344.
ESOPESOP-2013-JeanninKS
Language Constructs for Non-Well-Founded Computation (JBJ, DK, AS), pp. 61–80.
FASEFASE-2013-ZhongTX #api #behaviour #difference
Exposing Behavioral Differences in Cross-Language API Mapping Relations (HZ, ST, TX), pp. 130–145.
FoSSaCSFoSSaCS-2013-GianantonioE
A Language for Differentiable Functions (PDG, AE), pp. 337–352.
TACASTACAS-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.
CSMRCSMR-2013-PolychniatisHJBV #dependence #detection
Detecting Cross-Language Dependencies Generically (TP, JH, SJ, EB, JV), pp. 349–352.
ICPCICPC-2013-MayerS #framework #java
Patterns of cross-language linking in java frameworks (PM, AS), pp. 113–122.
ICPCICPC-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.
ICPCICPC-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.
ICSMEICSM-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.
MSRMSR-2013-AllamanisS13a #mining #modelling #repository #source code #using
Mining source code repositories at massive scale using language modeling (MA, CAS), pp. 207–216.
PASTEPASTE-2013-SarimbekovSKZBBA #virtual machine
A comprehensive toolchain for workload characterization across JVM languages (AS, AS, SK, YZ, WB, LB, DA), pp. 9–16.
SCAMSCAM-2013-Schink #database #multi #named #refactoring #relational
sql-schema-comparer: Support of multi-language refactoring with relational databases (HS), pp. 173–178.
WCREWCRE-2013-BaggeZ #problem
Workshop on open and original problems in software language engineering (AHB, VZ), pp. 493–494.
WCREWCRE-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.
PEPMPEPM-2013-OliveiraL #domain-specific language #graph #syntax
Abstract syntax graphs for domain specific languages (BCdSO, AL), pp. 87–96.
PEPMPEPM-2013-ServettoZ #library
A meta-circular language for active libraries (MS, EZ), pp. 117–126.
PEPMPEPM-2013-WeijersHH #fault #higher-order #polymorphism #security
Security type error diagnosis for higher-order, polymorphic languages (JW, JH, SH), pp. 3–12.
PLDIPLDI-2013-DeVitoHAHV #multi #named
Terra: a multi-stage language for high-performance computing (ZD, JH, AA, PH, JV), pp. 105–116.
PLDIPLDI-2013-ElmasBNS #concurrent #debugging #domain-specific language #named
CONCURRIT: a domain specific language for reproducing concurrency bugs (TE, JB, GCN, KS), pp. 153–164.
PLDIPLDI-2013-GreenLRSV #named #programming language #quantum #scalability
Quipper: a scalable quantum programming language (ASG, PLL, NJR, PS, BV), pp. 333–342.
PLDIPLDI-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.
PLDIPLDI-2013-Schneider #programming language #security
Programming languages in security: keynote (FBS), pp. 139–140.
CIAACIAA-J-2012-Brzozowski13 #regular expression
In Search of Most Complex Regular Languages (JAB), pp. 691–708.
DLTDLT-J-2012-BrzozowskiT13 #complexity #regular expression
Complexity of atoms of Regular Languages (JAB, HT), pp. 1009–1028.
DLTDLT-J-2012-EsikO13 #context-free grammar #on the #word
On Context-Free Languages of Scattered Words (, SO), pp. 1029–1048.
DLTDLT-J-2012-GeffertP13
Unary Coded NP-Complete Languages in Aspace(log log n) (VG, DP), p. 1167–?.
DLTDLT-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.
DLTDLT-J-2012-LehtinenO13 #context-free grammar #morphism
Homomorphisms Preserving Deterministic Context-Free Languages (TL, AO), pp. 1049–1066.
DLTDLT-J-2012-Schmid13 #regular expression
Inside the Class of regex Languages (MLS), pp. 1117–1134.
CIAACIAA-2013-Campeanu #implementation
Cover Languages and Implementations (CC), p. 1.
CIAACIAA-2013-IbarraR #problem
Some Decision Problems Concerning NPDAs, Palindromes, and Dyck Languages (OHI, BR), pp. 193–207.
CIAACIAA-2013-JirasekJ #bound #on the #regular expression
On the Boundary of Regular Languages (JJ, GJ), pp. 208–219.
CIAACIAA-2013-MaiaMR #complexity #finite
Incomplete Transition Complexity of Basic Operations on Finite Languages (EM, NM, RR), pp. 349–356.
DLTDLT-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.
DLTDLT-2013-CarninoL #automaton
Factorizations and Universal Automaton of ω Languages (VC, SL), pp. 338–349.
DLTDLT-2013-DrosteV #context-free grammar #theorem
The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages (MD, HV), pp. 203–214.
DLTDLT-2013-IbarraR #complexity
Some Decision Questions Concerning the Time Complexity of Language Acceptors (OHI, BR), pp. 264–276.
DLTDLT-2013-KlimaP #automaton
Alternative Automata Characterization of Piecewise Testable Languages (OK, LP), pp. 289–300.
DLTDLT-2013-LuPC
Deciding Determinism of Unary Languages Is coNP-Complete (PL, FP, HC), pp. 350–361.
DLTDLT-2013-PanellaPLM #precedence
Operator Precedence ω-Languages (FP, MP, VL, DM), pp. 396–408.
DLTDLT-2013-Pin #regular expression
An Explicit Formula for the Intersection of Two Polynomials of Regular Languages (JÉP), pp. 31–45.
DLTDLT-2013-Shur #anti #finite #order
Languages with a Finite Antidictionary: Growth-Preserving Transformations and Available Orders of Growth (AMS), pp. 445–457.
ICALPICALP-v2-2013-CzerwinskiMM #performance #regular expression #sequence
Efficient Separability of Regular Languages by Subsequences and Suffixes (WC, WM, TM), pp. 150–161.
ICALPICALP-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.
ICALPICALP-v2-2013-Janin #algebra #automaton #logic
Algebras, Automata and Logic for Languages of Labeled Birooted Trees (DJ), pp. 312–323.
LATALATA-2013-AtminasLM
Deciding WQO for Factorial Languages (AA, VVL, MM), pp. 68–79.
LATALATA-2013-ChatterjeeCR #how
How to Travel between Languages (KC, SC, SR), pp. 214–225.
LATALATA-2013-DengZDZ #concurrent #π-calculus
The Buffered π-Calculus: A Model for Concurrent Languages (XD, YZ, YD, FZ), pp. 250–261.
LATALATA-2013-IbarraR #automaton #bound #on the
On Bounded Languages and Reversal-Bounded Automata (OHI, BR), pp. 359–370.
LATALATA-2013-MontanariS #logic #regular expression
Interval Logics and ωB-Regular Languages (AM, PS), pp. 431–443.
LATALATA-2013-RotBR #equivalence #induction #proving
Coinductive Proof Techniques for Language Equivalence (JR, MMB, JJMMR), pp. 480–492.
LATALATA-2013-SelivanovK #algebra
Boolean Algebras of Regular ω-Languages (VLS, AK), pp. 504–515.
CEFPCEFP-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.
CEFPCEFP-2013-Gibbons #domain-specific language #functional #programming
Functional Programming for Domain-Specific Languages (JG), pp. 1–28.
ICFPICFP-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.
ICFPICFP-2013-CheneyLW #query
A practical theory of language-integrated query (JC, SL, PW), pp. 403–416.
ICFPICFP-2013-LorenzenE #automation #composition #verification
Modular and automated type-soundness verification for language extensions (FL, SE), pp. 331–342.
ICFPICFP-2013-SvenningssonS #composition #embedded #monad
Simple and compositional reification of monadic embedded languages (JS, BJS), pp. 299–304.
GCMGCM-J-2012-Flick #graph grammar
Derivation Languages of Graph Grammars (NEF).
GCMGCM-J-2012-KniemeyerK #graph transformation #model transformation #named
XL4C4D — Adding the Graph Transformation Language XL to CINEMA 4D (OK, WK).
GT-VMTGT-VMT-2013-KupperKB #category theory
Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories (SK, BK, HJSB).
CHICHI-2013-EdgeCW #learning #named
SpatialEase: learning language through body motion (DE, KYC, MW), pp. 469–472.
CHICHI-2013-GreenHM
The efficacy of human post-editing for language translation (SG, JH, CDM), pp. 439–448.
CHICHI-2013-KuksenokBWL #challenge
Challenges and opportunities for technology in foreign language classrooms (KK, MB, QW, CPL), pp. 1011–1020.
CHICHI-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.
CHICHI-2013-TausczikP #feedback #realtime #using
Improving teamwork using real-time language feedback (YRT, JWP), pp. 459–468.
CSCWCSCW-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.
CSCWCSCW-2013-WangFC #idea
Machine translation vs. common language: effects on idea exchange in cross-lingual groups (HCW, SRF, DC), pp. 935–944.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIHCI-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.
HCIHCI-AS-2013-EskildsenR #challenge #integration #learning
Challenges for Contextualizing Language Learning — Supporting Cultural Integration (SE, MR), pp. 361–369.
HCIHCI-AS-2013-LimaRSBSO #learning
Innovation in Learning — The Use of Avatar for Sign Language (TL, MSR, TAS, AB, ES, HSdO), pp. 428–433.
HCIHCI-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.
HCIHCI-IMT-2013-FroehlichLS #interface #taxonomy
The Language of Motion: A Taxonomy for Interface (EF, BL, HS), pp. 668–677.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-D-2013-EricksonS #modelling
Unified Modeling Language: The Teen Years and Growing Pains (JE, KS), pp. 295–304.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-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.
VISSOFTVISSOFT-2013-HomerN #editing #programming language
A tile-based editor for a textual programming language (MH, JN), pp. 1–4.
HILTHILT-2013-Jackson #domain-specific language
Engineering domain-specific languages with formula 2.0 (EKJ), pp. 3–4.
CAiSECAiSE-2013-BaryannisP #calculus #named #specification #web #web service
WSSL: A Fluent Calculus-Based Language for Web Service Specifications (GB, DP), pp. 256–271.
CAiSECAiSE-2013-Henderson-SellersCG #modelling #on the
On the Search for a Level-Agnostic Modelling Language (BHS, TC, CGP), pp. 240–255.
EDOCEDOC-2013-AtkinsonGF #enterprise #modelling
Modeling Language Extension in the Enterprise Systems Domain (CA, RG, MF), pp. 49–58.
EDOCEDOC-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.
ICEISICEIS-v2-2013-BouassidaBA #design #named #semantics
P-UML — A Pattern Design Language with a Formal Semantics (NB, HBA, MA), pp. 197–205.
ICEISICEIS-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.
ICEISICEIS-v3-2013-MalekanA #collaboration #modelling #network #process
Business Process Modeling Languages Supporting Collaborative Networks (HSM, HA), pp. 258–266.
CIKMCIKM-2013-LuBL #enterprise #retrieval
Structured positional entity language model for enterprise entity retrieval (CL, LB, WL), pp. 129–138.
ECIRECIR-2013-Franco-SalvadorGR #detection #multi #network #semantics #using
Cross-Language Plagiarism Detection Using a Multilingual Semantic Network (MFS, PG, PR), pp. 710–713.
ECIRECIR-2013-RahimiS #approach #corpus #modelling
A Language Modeling Approach for Extracting Translation Knowledge from Comparable Corpora (RR, AS), pp. 606–617.
ICMLICML-c1-2013-XiaoG #adaptation #probability #sequence
Domain Adaptation for Sequence Labeling Tasks with a Probabilistic Language Adaptation Model (MX, YG), pp. 293–301.
MLDMMLDM-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.
SEKESEKE-2013-SakamotoWF #design pattern #object-oriented #programming language
Extended Design Patterns in New Object-Oriented Programming Languages (S) (KS, HW, YF), pp. 600–605.
SIGIRSIGIR-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.
SIGIRSIGIR-2013-SordoniNB #dependence #information retrieval #modelling #quantum
Modeling term dependencies with quantum language models for IR (AS, JYN, YB), pp. 653–662.
SIGIRSIGIR-2013-TureL #information retrieval #modelling
Flat vs. hierarchical phrase-based translation models for cross-language information retrieval (FT, JJL), pp. 813–816.
SKYSKY-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.
AMTAMT-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.
BXBX-2013-HofmannPW
Edit languages for information trees (MH, BCP, DW), pp. 76–89.
ECMFAECMFA-2013-Gogolla #constraints #modelling #ocl
Employing the Object Constraint Language in Model-Based Engineering (MG), pp. 1–2.
ECMFAECMFA-2013-Storrle #ad hoc #declarative #named #query
MOCQL: A Declarative Language for Ad-Hoc Model Querying (HS), pp. 3–19.
ICMTICMT-2013-WillinkHK #qvt
Yet Another Three QVT Languages (EDW, HH, DSK), pp. 58–59.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
ECOOPECOOP-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.
OnwardOnward-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.
OnwardOnward-2013-TorlakB
Growing solver-aided languages with rosette (ET, RB), pp. 135–152.
OOPSLAOOPSLA-2013-BolzDT
Storage strategies for collections in dynamically typed languages (CFB, LD, LT), pp. 167–182.
OOPSLAOOPSLA-2013-MeyerovichR #analysis #empirical #programming language
Empirical analysis of programming language adoption (LAM, ASR), pp. 1–18.
OOPSLAOOPSLA-2013-TreichlerBA #clustering
Language support for dynamic, hierarchical data partitioning (ST, MB, AA), pp. 495–514.
GPCEGPCE-2013-Bodik #biology #modelling #programming language
Modeling biology with solver-aided programming languages (RB), pp. 1–2.
GPCEGPCE-2013-ErdwegR #framework
A framework for extensible languages (SE, FR), pp. 3–12.
LOPSTRLOPSTR-2013-AntoyJ #compilation #functional #logic
Compiling a Functional Logic Language: The Fair Scheme (SA, AJ), pp. 202–219.
PPDPPPDP-2013-JedynakBB #coq
An operational foundation for the tactic language of Coq (WJ, MB, DB), pp. 25–36.
PPDPPPDP-2013-MandelPP #functional #refinement
Time refinement in a functional synchronous language (LM, CP, MP), pp. 169–180.
PPDPPPDP-2013-MontenegroPS #analysis #functional #regular expression #using
Shape analysis in a functional language by using regular languages (MM, RP, CS), pp. 251–262.
PADLPADL-2013-BrasselHPR #constraints #equation #functional #implementation
Implementing Equational Constraints in a Functional Language (BB, MH, BP, FR), pp. 125–140.
PADLPADL-2013-DreyMHC #debugging
Reversible Language Extensions and Their Application in Debugging (ZD, JFM, MVH, MC), pp. 206–221.
PADLPADL-2013-FourtounisPR #functional #implementation #lazy evaluation
The Generalized Intensional Transformation for Implementing Lazy Functional Languages (GF, NP, PR), pp. 157–172.
POPLPOPL-2013-Adams #parsing
Principled parsing for indentation-sensitive languages: revisiting landin’s offside rule (MDA), pp. 511–522.
POPLPOPL-2013-BenzakenCNS #semantics
Static and dynamic semantics of NoSQL languages (VB, GC, KN, JS), pp. 101–114.
POPLPOPL-2013-Krishnamurthi #programming language
From principles to programming languages (and back) (SK), pp. 233–234.
POPLPOPL-2013-Myers #distributed #how
How languages can save distributed computing (ACM), pp. 315–316.
POPLPOPL-2013-StatonL #programming language
Universal properties of impure programming languages (SS, PBL), pp. 179–192.
RERE-2013-DwarakanathRS #automation #natural language #requirements #taxonomy
Automatic extraction of glossary terms from natural language requirements (AD, RRR, SS), pp. 314–319.
RERE-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.
REFSQREFSQ-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.
REFSQREFSQ-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.
SACSAC-OOPS-J-2009-BettiniCD13 #flexibility #java #on the
On flexible dynamic trait replacement for Java-like languages (LB, SC, FD), pp. 907–932.
SACSAC-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.
SACSAC-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.
SACSAC-2013-Bettini #implementation #java #semantics #xtext
Implementing Java-like languages in Xtext with Xsemantics (LB), pp. 1559–1564.
SACSAC-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.
SACSAC-2013-CelestiniNT #coordination #specification
Specifying and analysing reputation systems with a coordination language (AC, RDN, FT), pp. 1363–1368.
SACSAC-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.
SACSAC-2013-GroppeSW #embedded #xml
Eliminating the XML overhead in embedded XML languages (SG, BS, SW), pp. 542–547.
SACSAC-2013-GrueauA #modelling #towards
Towards a domain specific modeling language for agent-based models in land use science (CG, JA), pp. 83–85.
SACSAC-2013-HahnMPM #composition #semantics #web #web service
Formal semantics and expressiveness of a web service composition language (MGH, RM, AP, MAM), pp. 1667–1673.
SACSAC-2013-HalderC #database #query #slicing
Abstract program slicing of database query languages (RH, AC), pp. 838–845.
SACSAC-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.
SACSAC-2013-LaboreiroBSRO #microblog
Determining language variant in microblog messages (GL, MB, LS, EMR, ECO), pp. 902–907.
SACSAC-2013-LourencoSM #concurrent
Concurrent typed intermediate language (LML, JCS, FM), pp. 1587–1588.
SACSAC-2013-MarianiO #probability
Probabilistic embedding: experiments with tuple-based probabilistic languages (SM, AO), pp. 1380–1382.
SACSAC-2013-SilvaC #exception #interface #java
New exception interfaces for Java-like languages (TBLS, FC), pp. 1661–1666.
SACSAC-2013-WestermannHF #automation #empirical #performance #specification
An experiment specification language for goal-driven, automated performance evaluations (DW, JH, RF), pp. 1043–1048.
SACSAC-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-FSEESEC-FSE-2013-NguyenNN #migration #statistics
Lexical statistical machine translation for language migration (ATN, TTN, TNN), pp. 651–654.
ESEC-FSEESEC-FSE-2013-NguyenNNN #semantics #source code #statistics
A statistical semantic language model for source code (TTN, ATN, HAN, TNN), pp. 532–542.
ICSEICSE-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.
ICSEICSE-2013-HauptmannJEHVB #natural language #smell #testing
Hunting for smells in natural language tests (BH, MJ, SE, LH, RV, PB), pp. 1217–1220.
ICSEICSE-2013-Slankas #data access #database #implementation #natural language #policy
Implementing database access control policy from unconstrained natural language text (JS), pp. 1357–1360.
LDTALDTA-J-2009-AndersenBC #algebra #composition
Banana Algebra: Compositional syntactic language extension (JA, CB, DRC), pp. 1845–1870.
SLESLE-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.
SLESLE-2013-FehrenbachEO #domain-specific language #evolution
Software Evolution to Domain-Specific Languages (SF, SE, KO), pp. 96–116.
SLESLE-2013-LammelMV #tool support #wiki
Method and Tool Support for Classifying Software Languages with Wikipedia (RL, DM, AV), pp. 249–259.
SLESLE-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.
SLESLE-2013-VacchiCPC #development #domain-specific language #variability
Variability Support in Domain-Specific Language Development (EV, WC, SP, BC), pp. 76–95.
SLESLE-2013-VasudevanT #ambiguity #detection #programming language
Detecting Ambiguity in Programming Language Grammars (NV, LT), pp. 157–176.
SLESLE-2013-WachsmuthKVGV #analysis #incremental #independence
A Language Independent Task Engine for Incremental Name and Type Analysis (GW, GDPK, VAV, DMG, EV), pp. 260–280.
SPLCSPLC-2013-EichelbergerS #analysis #modelling #variability
A systematic analysis of textual variability modeling languages (HE, KS), pp. 12–21.
SPLCSPLC-2013-FerrariSd #documentation #mining #natural language
Mining commonalities and variabilities from natural language documents (AF, GOS, FD), pp. 116–120.
SPLCSPLC-2013-HaberHKLRMS #modelling
Engineering delta modeling languages (AH, KH, CK, ML, BR, KM, IS), pp. 22–31.
SPLCSPLC-2013-HaugenWC #named #variability
CVL: common variability language (ØH, AW, KC), p. 277.
CCCC-2013-BhaskaracharyaB #data flow #framework #named #visual notation
PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language (SGB, UB), pp. 123–143.
CGOCGO-2013-ZhangM #named #parallel
Hidp: A hierarchical data parallel language (YZ, FM), p. 11.
LCTESLCTES-2013-Wu
HW/SW co-designed acceleration of dynamic languages (YW), pp. 1–2.
PLOSPLOS-2013-BurtsevMER #analysis #named #performance #streaming
Weir: a streaming language for performance analysis (AB, NM, EE, RR), p. 6.
CSLCSL-2013-ColcombetKLB #automaton
Deciding the weak definability of Büchi definable tree languages (TC, DK, CL, MVB), pp. 215–230.
CSLCSL-2013-SchmidtW #abduction #complexity #constraints #similarity
The Complexity of Abduction for Equality Constraint Languages (JS, MW), pp. 615–633.
ICLPICLP-J-2013-Balduccini
ASP with non-herbrand partial functions: a language and system for practical use (MB), pp. 547–561.
ICLPICLP-J-2013-BanbaraSTIS #modelling #programming #set
Answer set programming as a modeling language for course timetabling (MB, TS, NT, KI, TS), pp. 783–798.
ICLPICLP-J-2013-Schwitter #challenge #natural language
The jobs puzzle: Taking on the challenge via controlled natural language processing (RS), pp. 487–501.
ICSTICST-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.
ICSTICST-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.
ICSTICST-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.
RTARTA-2013-BoichutCR #approximate
Over-approximating Descendants by Synchronized Tree Languages (YB, JC, PR), pp. 128–142.
CBSECBSE-2012-RouvoyM #agile #architecture #prototype
Rapid prototyping of domain-specific architecture languages (RR, PM), pp. 13–22.
WICSA-ECSAWICSA-ECSA-2012-TauschPA #analysis #domain-specific language #named #traceability
TracQL: A Domain-Specific Language for Traceability Analysis (NT, MP, JA), pp. 320–324.
WICSA-ECSAWICSA-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.
CASECASE-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.
CASECASE-2012-LeeB #execution #framework #lifecycle #simulation #using
Executable simulation lifecycle management framework using extensible and interoperable simulation language (HL, AB), pp. 237–242.
DACDAC-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.
DACDAC-2012-Harris #design #natural language #specification
Extracting design information from natural language specifications (IGH), pp. 1256–1257.
DRRDRR-2012-MorillotLG #modelling
Construction of language models for an handwritten mail reading system (OM, LLS, EG).
ITiCSEITiCSE-2012-GinatA #composition #pseudo
Pseudo abstract composition: the case of language concatenation (DG, RA), pp. 28–33.
TFPIETFPIE-2012-ODonnell #education #functional #hardware #using
Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (JTO), pp. 20–39.
FASEFASE-2012-LiT #domain-specific language #erlang #refactoring
A Domain-Specific Language for Scripting Refactorings in Erlang (HL, SJT), pp. 501–515.
FASEFASE-2012-LongCMM #abstraction #refinement
Language-Theoretic Abstraction Refinement (ZL, GC, RM, RM), pp. 362–376.
FASEFASE-2012-RuscioMMPP #architecture #modelling
Model-Driven Techniques to Enhance Architectural Languages Interoperability (DDR, IM, HM, PP, AP), pp. 26–42.
FASEFASE-2012-SalayFC #independence #modelling #refinement #using
Language Independent Refinement Using Partial Modeling (RS, MF, MC), pp. 224–239.
FoSSaCSFoSSaCS-2012-BolligCGK #model checking #word
Model Checking Languages of Data Words (BB, AC, PG, KNK), pp. 391–405.
FoSSaCSFoSSaCS-2012-KurzST #on the #regular expression
On Nominal Regular Languages with Binders (AK, TS, ET), pp. 255–269.
TACASTACAS-2012-HardinSWP #verification
The Guardol Language and Verification System (DSH, KS, MWW, THP), pp. 18–32.
ICPCICPC-2012-KeivanlooRR #clone detection #detection #named #semantics
SeByte: A semantic clone detection tool for intermediate languages (IK, CKR, JR), pp. 247–249.
ICSMEICSM-2012-Pollock #analysis #challenge #natural language
Leveraging natural language analysis of software: Achievements, challenges, and opportunities (LLP), p. 4.
SCAMSCAM-2012-MayerS #analysis #refactoring
Cross-Language Code Analysis and Refactoring (PM, AS), pp. 94–103.
WCREWCRE-2012-Al-OmariKRR #detection #dot-net #programming language
Detecting Clones Across Microsoft .NET Programming Languages (FAO, IK, CKR, JR), pp. 405–414.
PEPMPEPM-2012-GotoS #approach #functional
An approach to completing variable names for implicitly typed functional languages (TG, IS), pp. 131–140.
PEPMPEPM-2012-JainZS #nondeterminism
Translating flowcharts to non-deterministic languages (SKJ, CZ, BS), pp. 155–162.
PLDIPLDI-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.
PLDIPLDI-2012-OhHLLY #analysis #design #implementation
Design and implementation of sparse global analyses for C-like languages (HO, KH, WL, WL, KY), pp. 229–238.
PLDIPLDI-2012-ZhangAM
Language-based control and mitigation of timing channels (DZ, AA, ACM), pp. 99–110.
FLOPSFLOPS-2012-AntoyP #compilation #functional #logic
Compiling a Functional Logic Language: The Basic Scheme (SA, AP), pp. 17–31.
FLOPSFLOPS-2012-RoseVS #data flow #hybrid #programming language #query
A Data Flow Language for Hybrid Query and Programming Languages (KHR, LV, NS), pp. 228–242.
AFLAFL-J-2011-BrzozowskiL12 #complexity
Quotient Complexity of Star-Free Languages (JAB, BL), pp. 1261–1276.
AFLAFL-J-2011-FazekasLS12 #context-free grammar #on the
On Non-Primitive Palindromic Context-Free Languages (SZF, PL, KST), pp. 1277–1290.
AFLAFL-J-2011-IbarraS12 #bound #linear
Characterizations of Bounded semilinear Languages by One-Way and Two-Way Deterministic Machines (OHI, SS), pp. 1291–1306.
AFLAFL-J-2011-Pin12 #equation
Equational Descriptions of Languages (JÉP), pp. 1227–1240.
DLTDLT-J-2011-ChaturvediOT12 #game studies #infinity
Languages versus ω-Languages in Regular Infinite Games (NC, JO, WT), pp. 985–1000.
DLTDLT-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.
CIAACIAA-2012-AmarniL #kernel #sequence
Factor and Subsequence Kernels and Signatures of Rational Languages (AA, SL), pp. 313–320.
CIAACIAA-2012-Brzozowski #regular expression
In Search of Most Complex Regular Languages (JAB), pp. 5–24.
CIAACIAA-2012-JahnKL
Regular Ideal Languages and Their Boolean Combinations (FJ, MK, AL), pp. 205–216.
DLTDLT-2012-BealCDJL #decidability #geometry #regular expression
Decidability of Geometricity of Regular Languages (MPB, JMC, JPD, HJ, SL), pp. 62–72.
DLTDLT-2012-BrzozowskiT #regular expression
Quotient Complexities of Atoms of Regular Languages (JAB, HT), pp. 50–61.
DLTDLT-2012-DennunzioFP
Acceptance Conditions for ω-Languages (AD, EF, JP), pp. 320–331.
DLTDLT-2012-EsikO #context-free grammar #on the #word
On Context-Free Languages of Scattered Words (, SO), pp. 142–153.
DLTDLT-2012-FlickK #on the
On a Hierarchy of Languages with Catenation and Shuffle (NEF, MK), pp. 452–458.
DLTDLT-2012-GandhiKL #complexity #finite #on the #word
On State Complexity of Finite Word and Tree Languages (AG, BK, JL), pp. 392–403.
DLTDLT-2012-GeffertP
Unary Coded NP-Complete Languages in ASPACE (log log n) (VG, DP), pp. 166–177.
DLTDLT-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.
DLTDLT-2012-KetemaS #normalisation #string #termination
Characterizing Languages by Normalization and Termination in String Rewriting — (Extended Abstract) (JK, JGS), pp. 459–464.
DLTDLT-2012-KlimaP #automaton
Biautomata for k-Piecewise Testable Languages (OK, LP), pp. 344–355.
DLTDLT-2012-LehtinenO #context-free grammar #morphism
Homomorphisms Preserving Deterministic Context-Free Languages (TL, AO), pp. 154–165.
DLTDLT-2012-ReidenbachS #pattern matching
Regular and Context-Free Pattern Languages over Small Alphabets (DR, MLS), pp. 130–141.
DLTDLT-2012-Schmid #regular expression
Inside the Class of REGEX Languages (MLS), pp. 73–84.
ICALPICALP-v2-2012-BojanczykL #independence
A Machine-Independent Characterization of Timed Languages (MB, SL), pp. 92–103.
ICALPICALP-v2-2012-BojanczykP #infinity #regular expression #set
Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets (MB, TP), pp. 104–115.
ICALPICALP-v2-2012-DiekertKRW #regular expression
Regular Languages Are Church-Rosser Congruential (VD, MK, KR, TW), pp. 177–188.
ICALPICALP-v2-2012-Torunczyk #problem #word
Languages of Profinite Words and the Limitedness Problem (ST), pp. 377–389.
LATALATA-2012-Asarin #information management
Measuring Information in Timed Languages (EA), pp. 1–2.
LATALATA-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.
LATALATA-2012-DubeLT #regular expression
Conservative Groupoids Recognize Only Regular Languages (DD, ML, PT), pp. 216–227.
LATALATA-2012-GeilkeZ #algorithm #learning #pattern matching #polynomial
Polynomial-Time Algorithms for Learning Typed Pattern Languages (MG, SZ), pp. 277–288.
LATALATA-2012-Genova #normalisation #set
Forbidding Sets and Normal Forms for Language Forbidding-Enforcing Systems (DG), pp. 289–300.
LATALATA-2012-Hetzl #proving
Applying Tree Languages in Proof Theory (SH), pp. 301–312.
LATALATA-2012-Rabkin
Ogden’s Lemma for ET0L Languages (MR), pp. 458–467.
IFMIFM-2012-RochaCMS #execution #interactive #verification
A Formal Interactive Verification Environment for the Plan Execution Interchange Language (CR, HC, CAM, RS), pp. 343–357.
SEFMSEFM-2012-NikolicPZ #imperative #modelling #rule-based #simulation
A Rule-Based and Imperative Language for Biochemical Modeling and Simulation (DN, CP, RZ), pp. 16–32.
SFMSFM-2012-CabotG #constraints #ocl
Object Constraint Language (OCL): A Definitive Guide (JC, MG), pp. 58–90.
ICFPICFP-2012-Axelsson #embedded #syntax
A generic abstract syntax model for embedded languages (EA), pp. 323–334.
ICFPICFP-2012-Olukotun #domain-specific language #embedded #performance
High performance embedded domain specific languages (KO), pp. 139–140.
ICFPICFP-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.
IFLIFL-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-VMTGT-VMT-2012-BrugginkHK #automaton #graph #towards
Towards Alternating Automata for Graph Languages (HJSB, MH, BK).
ICGTICGT-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.
CHICHI-2012-BaoHCQHG #named #wiki
Omnipedia: bridging the wikipedia language gap (PB, BH, SC, MQ, MSH, DG), pp. 1075–1084.
CHICHI-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.
CHICHI-2012-DearmanT #using
Evaluating the implicit acquisition of second language vocabulary using a live wallpaper (DD, KNT), pp. 1391–1400.
CHICHI-2012-DenefK #design #pattern matching
Talking about implications for design in pattern language (SD, DVK), pp. 2509–2518.
CHICHI-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.
CHICHI-2012-MetoyerLRC #comprehension #visualisation
Understanding the verbal language and structure of end-user descriptions of data visualizations (RAM, BL, NHR, MC), pp. 1659–1662.
CHICHI-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.
AdaEuropeAdaEurope-2012-Tempelmeier #ada #concept #education #programming language
Teaching “Concepts of Programming Languages” with Ada (TT), pp. 60–74.
HILTHILT-2012-Leino12a #proving #using #verification #why
Program proving using intermediate verification languages (IVLs) like boogie and why3 (KRML), pp. 25–26.
HILTHILT-2012-Steele #lifecycle #programming language
Programming language life cycles (GLSJ), pp. 95–96.
CAiSECAiSE-2012-LaraGC #approach #modelling
Abstracting Modelling Languages: A Reutilization Approach (JdL, EG, JSC), pp. 127–143.
CAiSECAiSE-2012-LeopoldMP #generative #modelling #natural language #process
Generating Natural Language Texts from Business Process Models (HL, JM, AP), pp. 64–79.
ICEISICEIS-J-2012-VianaPP12a #domain-specific language #framework #modelling
Building Domain-Specific Modeling Languages for Frameworks (MCV, RADP, AFdP), pp. 191–206.
ICEISICEIS-v1-2012-TeguiakAJS #database #modelling #named
MQL: A Mapping Management Language for Model-based Databases (HVT, YAA, SJ, ÉS), pp. 145–150.
ICEISICEIS-v2-2012-FreireCGL #modelling #multi #named
NorMAS-ML — A Modeling Language to Model Normative Multi-agent Systems (ESSF, MIC, EJTG, YSL), pp. 113–119.
ICEISICEIS-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.
CIKMCIKM-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.
CIKMCIKM-2012-DarwishMM #microblog #retrieval
Language processing for arabic microblog retrieval (KD, WM, AM), pp. 2427–2430.
CIKMCIKM-2012-ReyesD #natural language #preprocessor
Preprocessing of informal mathematical discourse in context ofcontrolled natural language (REGdPR, JFDF), pp. 1632–1636.
ECIRECIR-2012-ChhedaFM #word
Handling OOV Words in Indian-language — English CLIR (PC, MF, PM), pp. 476–479.
ECIRECIR-2012-Garcia-MoyaAL #modelling #probability #retrieval #sentiment
Combining Probabilistic Language Models for Aspect-Based Sentiment Retrieval (LGM, HAS, RBL), pp. 561–564.
ECIRECIR-2012-KarimzadehganZ #analysis #axiom #information retrieval
Axiomatic Analysis of Translation Language Model for Information Retrieval (MK, CZ), pp. 268–280.
ECIRECIR-2012-LiG #information retrieval
An Information-Based Cross-Language Information Retrieval Model (BL, ÉG), pp. 281–292.
ECIRECIR-2012-ParaparB #clustering #constraints #modelling
Language Modelling of Constraints for Text Clustering (JP, AB), pp. 352–363.
ICMLICML-2012-GuoX #classification #learning #multi
Cross Language Text Classification via Subspace Co-regularized Multi-view Learning (YG, MX), p. 120.
ICMLICML-2012-MatuszekFZBF #learning
A Joint Model of Language and Perception for Grounded Attribute Learning (CM, NF, LSZ, LB, DF), p. 186.
ICMLICML-2012-MnihT #algorithm #modelling #performance #probability
A fast and simple algorithm for training neural probabilistic language models (AM, YWT), p. 58.
ICPRICPR-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.
KDDKDD-2012-Mayer #identification #internet #multi
Bootstrapped language identification for multi-site internet domains (UFM), pp. 579–585.
KEODKEOD-2012-AygulCC #multi #natural language #ontology #query
Natural Language Query Processing in Multimedia Ontologies (FAA, NKC, IC), pp. 66–75.
KRKR-2012-BaralL #declarative #reasoning #representation
From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP (CB, SL).
KRKR-2012-HalpernK #ambiguity #difference
Ambiguous Language and Differences in Beliefs (JYH, WK).
SEKESEKE-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.
SEKESEKE-2012-ConradoC #domain-specific language #embedded #visual notation
Engineering Graphical Domain Specific Languages to Develop Embedded Robot Applications (DBFC, VVdC), pp. 495–498.
SEKESEKE-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.
SEKESEKE-2012-NarkngamL #diagrams #domain-specific language #process #uml
Rendering UML Activity Diagrams as a Domain Specific Language — ADL (CN, YL), pp. 724–729.
SIGIRSIGIR-2012-TsagkiasB #behaviour #modelling
Language intent models for inferring user browsing behavior (MT, RB), pp. 335–344.
SIGIRSIGIR-2012-TureLO #information retrieval
Looking inside the box: context-sensitive translation for cross-language information retrieval (FT, JJL, DWO), pp. 1105–1106.
ICMTICMT-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.
BXBX-2012-Zaytsev #evolution
Language Evolution, Metasyntactically (VZ), pp. 38–54.
ECMFAECMFA-2012-GoldschmidtM #domain-specific language #query
An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters (TG, WM), pp. 62–73.
ECMFAECMFA-2012-KolovosRWMP #approach #documentation #lightweight #xml
A Lightweight Approach for Managing XML Documents with MDE Languages (DSK, LMR, JRW, NDM, RFP), pp. 118–132.
ECMFAECMFA-2012-LaraG #metamodelling #modelling
Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering (JdL, EG), pp. 259–274.
ECMFAECMFA-2012-PfeifferW #development #multi #named
TexMo: A Multi-language Development Environment (RHP, AW), pp. 178–193.
ICMTICMT-2012-Cuadrado #model transformation #product line #towards
Towards a Family of Model Transformation Languages (JSC), pp. 176–191.
ICMTICMT-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.
ICMTICMT-2012-PachecoC #bidirectional #model transformation #multi #named #xml
Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas (HP, AC), pp. 89–104.
ICMTICMT-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.
ICMTICMT-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.
MODELSMoDELS-2012-JacksonSB #constraints #declarative #detection #fault #specification
Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.
MODELSMoDELS-2012-PfeifferW #development
Cross-Language Support Mechanisms Significantly Aid Software Development (RHP, AW), pp. 168–184.
MODELSMoDELS-2012-RabbiM #agile #development #domain-specific language #workflow
T: A Domain Specific Language for Rapid Workflow Development (FR, WM), pp. 36–52.
MODELSMoDELS-2012-JacksonSB #constraints #declarative #detection #fault #specification
Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.
MODELSMoDELS-2012-PfeifferW #development
Cross-Language Support Mechanisms Significantly Aid Software Development (RHP, AW), pp. 168–184.
MODELSMoDELS-2012-RabbiM #agile #development #domain-specific language #workflow
T: A Domain Specific Language for Rapid Workflow Development (FR, WM), pp. 36–52.
ECOOPECOOP-2012-Ancona #induction #object-oriented #semantics
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics (DA), pp. 459–483.
ECOOPECOOP-2012-BonoKM #composition #named
Magda: A New Language for Modularity (VB, JK, MM), pp. 560–588.
ECOOPECOOP-2012-LeeGHM #metaprogramming #named
Marco: Safe, Expressive Macros for Any Language (BL, RG, MH, KSM), pp. 589–613.
ECOOPECOOP-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.
OnwardOnward-2012-Gabriel #programming language
The structure of a programming language revolution (RPG), pp. 195–214.
OnwardOnward-2012-HafizAJ #pattern matching #security
Growing a pattern language (for security) (MH, PA, REJ), pp. 139–158.
OnwardOnward-2012-Heinlein #composition #named #programming language #static typing
MOST-flexiPL: modular, statically typed, flexibly extensible programming language (CH), pp. 159–178.
OnwardOnward-2012-MeyerovichR #named #programming language
Socio-PLT: principles for programming language adoption (LAM, ASR), pp. 39–54.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2012-MullerC #concurrent #towards
Towards a practical secure concurrent language (SM, SC), pp. 57–74.
PLATEAUPLATEAU-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.
PLATEAUPLATEAU-2012-SpinellisKL #comparative #programming language #testing
Comparative language fuzz testing: programming languages vs. fat fingers (DS, VK, PL), pp. 25–34.
PLATEAUPLATEAU-2012-UrmaM #evolution #programming language #query #source code
Programming language evolution via source code query languages (RGU, AM), pp. 35–38.
TOOLSTOOLS-EUROPE-2012-FavreLSV #community #named
101companies: A Community Project on Software Technologies and Software Languages (JMF, RL, TS, AV), pp. 58–74.
TOOLSTOOLS-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.
TOOLSTOOLS-EUROPE-2012-SoekenWD #behaviour #development #natural language #using
Assisted Behavior Driven Development Using Natural Language Processing (MS, RW, RD), pp. 269–287.
GPCEGPCE-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.
LOPSTRLOPSTR-2012-ChristiansenHLP #data analysis #declarative #pipes and filters
A Declarative Pipeline Language for Complex Data Analysis (HC, CTH, OTL, MP), pp. 17–34.
PPDPPPDP-2012-PlasmeijerLMAK #functional #programming
Task-oriented programming in a pure functional language (RP, BL, SM, PA, PWMK), pp. 195–206.
PADLPADL-2012-BradyH #domain-specific language #embedded #programming
Resource-Safe Systems Programming with Embedded Domain Specific Languages (EB, KH), pp. 242–257.
PADLPADL-2012-BromanN #equation #modelling #object-oriented #semantics
Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages (DB, HN), pp. 258–272.
POPLPOPL-2012-HeideggerBT #contract #scripting language
Access permission contracts for scripting languages (PH, AB, PT), pp. 111–122.
POPLPOPL-2012-MonsantoFHW #compilation #network #programming language #runtime
A compiler and run-time system for network programming languages (CM, NF, RH, DW), pp. 217–230.
POPLPOPL-2012-Rexford #network #programmable #programming language
Programming languages for programmable networks (JR), pp. 215–216.
POPLPOPL-2012-YangYS #automation #policy #privacy
A language for automatically enforcing privacy policies (JY, KY, ASL), pp. 85–96.
RERE-2012-BerenbachSN #industrial #modelling #requirements
The use of a requirements modeling language for industrial applications (BB, FS, HN), pp. 285–290.
RERE-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.
RERE-2012-ShakerAW #feature model #modelling #requirements
A feature-oriented requirements modelling language (PS, JMA, SW), pp. 151–160.
RERE-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.
REFSQREFSQ-2012-QureshiJP #adaptation #modelling #requirements #self #towards
Towards a Requirements Modeling Language for Self-Adaptive Systems (NAQ, IJ, AP), pp. 263–279.
SACSAC-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.
SACSAC-2012-BromanFHA #comparison #domain-specific language #implementation
A comparison of two metacompilation approaches to implementing a complex domain-specific language (DB, PF, GH, ), pp. 1919–1921.
SACSAC-2012-ChiprianovKR #architecture #enterprise #modelling
Extending Enterprise Architecture Modeling Languages: application to telecommunications service creation (VC, YK, SR), pp. 1661–1666.
SACSAC-2012-GjondrekajLPT #adaptation #coordination #modelling
Modeling adaptation with a tuple-based coordination language (EG, ML, RP, FT), pp. 1522–1527.
SACSAC-2012-MetivierBCKL #constraints #declarative
A constraint language for declarative pattern discovery (JPM, PB, BC, MK, SL), pp. 119–125.
SACSAC-2012-PozzaniC #named #query #sql
ST4SQL: a spatio-temporal query language dealing with granularities (GP, CC), pp. 23–25.
SACSAC-2012-PriamiQZ #biology #graph #imperative #self
An imperative language of self-modifying graphs for biological systems (CP, PQ, RZ), pp. 1903–1909.
SACSAC-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.
FSEFSE-2012-CugolaGPT #adaptation #declarative #mobile #named
SelfMotion: a declarative language for adaptive service-oriented mobile apps (GC, CG, LSP, GT), p. 7.
FSEFSE-2012-DiGiuseppeJ #automation #fault #semantics
Semantic fault diagnosis: automatic natural-language fault descriptions (ND, JAJ), p. 23.
FSEFSE-2012-XiaoPTX #automation #documentation #policy #security
Automated extraction of security policies from natural-language software documents (XX, AMP, ST, TX), p. 12.
ICSEICSE-2012-AtkinsonGK #domain-specific language
Symbiotic general-purpose and domain-specific languages (CA, RG, BK), pp. 1269–1272.
ICSEICSE-2012-Faghih #modelling
Model translations among big-step modeling languages (FF), pp. 1555–1558.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-2012-PanditaXZXOP #api #natural language #specification
Inferring method specifications from natural language API descriptions (RP, XX, HZ, TX, SO, AMP), pp. 815–825.
ICSEICSE-2012-VoelterP #composition
Language modularity with the MPS language workbench (MV, VP), pp. 1449–1450.
LDTALDTA-2012-ErdwegGR #composition
Language composition untangled (SE, PGG, TR), p. 7.
LDTALDTA-2012-JongeV #refactoring
A language generic solution for name binding preservation in refactorings (MdJ, EV), p. 2.
LDTALDTA-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.
LDTALDTA-2012-Voigtlander #bidirectional #programming language
Programming language approaches to bidirectional transformation (JV), p. 1.
SLESLE-2012-HillsKV #metalanguage #type safety
Meta-language Support for Type-Safe Access to External Resources (MH, PK, JJV), pp. 372–391.
PLEASEPLEASE-2012-AcherMHCL #feature model #modelling #tool support
Languages and tools for managing feature models (MA, RM, PH, PC, PL), pp. 25–28.
LCTESLCTES-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.
PPoPPPPoPP-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.
PPoPPPPoPP-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.
PPoPPPPoPP-2012-LeissaHW #programming
Extending a C-like language for portable SIMD programming (RL, SH, IW), pp. 65–74.
CAVCAV-2012-LahiriHKR #imperative #named #semantics #source code
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs (SKL, CH, MK, HR), pp. 712–717.
CSLCSL-2012-GrandjeanO #complexity
Descriptive complexity for pictures languages (EG, FO), pp. 274–288.
ICLPICLP-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.
ICLPICLP-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.
ICSTICST-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.
ICSTICST-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.
ICSTICST-2012-Li #automation #testing
A Smart Structured Test Automation Language (SSTAL) (NL), pp. 471–474.
LICSLICS-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.
LICSLICS-2012-JainMS #complexity
The Complexity of Verbal Languages over Groups (SJ, AM, FS), pp. 405–414.
LICSLICS-2012-Jancar #decidability #equivalence #first-order
Decidability of DPDA Language Equivalence via First-Order Grammars (PJ), pp. 415–424.
LICSLICS-2012-KrebsS #first-order
Non-definability of Languages by Generalized First-order Formulas over (N, +) (AK, AVS), pp. 451–460.
ECSAECSA-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.
ECSAECSA-2011-DemirliT #architecture
Software Language Engineering of Architectural Viewpoints (ED, BT), pp. 336–343.
ECSAECSA-2011-SilvaB #architecture #specification #using
A Model for Specifying Rationale Using an Architecture Description Language (LdS, DB), pp. 319–327.
ASEASE-2011-AcherCLF11a #feature model #modelling
Decomposing feature models: language, environment, and applications (MA, PC, PL, RBF), pp. 600–603.
ASEASE-2011-BacchelliCLM #documentation #natural language #semiparsing
Extracting structured data from natural language documents with island parsing (AB, AC, ML, AM), pp. 476–479.
ASEASE-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.
ASEASE-2011-KimmigMM #natural language #query #source code
Querying source code with natural language (MK, MM, MM), pp. 376–379.
ASEASE-2011-Li #consistency #natural language #requirements #towards
Toward consistency checking of natural language temporal requirements (WL), pp. 651–655.
DACDAC-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.
DocEngDocEng-2011-CardosoJLRC #independence #performance
An efficient language-independent method to extract content from news webpages (ETC, IVJ, ESL, RR, PC), pp. 121–128.
ICDARICDAR-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.
ICDARICDAR-2011-LiMV #visual notation
Symbol Knowledge Extraction from a Simple Graphical Language (JL, HM, CVG), pp. 608–612.
ICDARICDAR-2011-SaabniE #independence #using
Language-Independent Text Lines Extraction Using Seam Carving (RS, JES), pp. 563–568.
ICDARICDAR-2011-Smith #modelling
Limits on the Application of Frequency-Based Language Models to OCR (RS), pp. 538–542.
ICDARICDAR-2011-SongXZYZ #algorithm #documentation #image #multi
A Handwritten Character Extraction Algorithm for Multi-language Document Image (YS, GX, YZ, LY, LZ), pp. 93–98.
PODSPODS-2011-AbiteboulBGA #data transformation #rule-based #web
A rule-based language for web data management (SA, MB, AG, ÉA), pp. 293–304.
VLDBVLDB-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, , EJS), pp. 1272–1283.
VLDBVLDB-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.
CSEETCSEET-2011-NanzTPM #assessment #concurrent #education #empirical
Empirical assessment of languages for teaching concurrency: Methodology and application (SN, FT, MP, BM), pp. 477–481.
ITiCSEITiCSE-2011-BowerM #comparison #learning
Continual and explicit comparison to promote proactive facilitation during second computer language learning (MB, AM), pp. 218–222.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2011-OliveiraMR11a #case study #natural language #programming
Natural language in introductory programming: an experimental study (OLO, AMM, NTR), p. 363.
ITiCSEITiCSE-2011-TremblayL
A marking language for the oto assignment marking tool (GT, PL), pp. 148–152.
ESOPESOP-2011-KoutavasH #encryption #higher-order #testing
A Testing Theory for a Higher-Order Cryptographic Language — (Extended Abstract) (VK, MH), pp. 358–377.
FASEFASE-2011-EsmaeilsabzaliD #modelling #quality #semantics
Semantic Quality Attributes for Big-Step Modelling Languages (SE, NAD), pp. 65–80.
FoSSaCSFoSSaCS-2011-Hoshino #functional #linear #programming language
A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy (NH), pp. 320–334.
FoSSaCSFoSSaCS-2011-MollerS #context-free grammar #html #validation
HTML Validation of Context-Free Languages (AM, MS), pp. 426–440.
ICPCICPC-J-2009-StefikG11 #empirical #programming language
Empirical studies on programming language stimuli (AS, EG), pp. 65–99.
SCAMSCAM-J-2009-LammelZ11 #grammar recovery #java #specification
Recovering grammar relationships for the Java Language Specification (RL, VZ), pp. 333–378.
ICPCICPC-2011-StefikSSS #programming language #towards
Toward Intuitive Programming Languages (AS, SS, KS, MS), pp. 213–214.
ICSMEICSM-2011-RastkarMB #generative #natural language #source code #summary
Generating natural language summaries for crosscutting source code concerns (SR, GCM, AWJB), pp. 103–112.
MSRMSR-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.
MSRMSR-2011-KarusG #case study #evolution #open source
A study of language usage evolution in open source software (SK, HCG), pp. 13–22.
PEPMPEPM-2011-Mogensen #partial evaluation
Partial evaluation of the reversible language janus (TÆM), pp. 23–32.
PEPMPEPM-2011-WangG #embedded #programming #protocol
An embedded language for programming protocol stacks in embedded systems (YW, VG), pp. 63–72.
PLDIPLDI-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.
PLDIPLDI-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.
PLDIPLDI-2011-PrabhuGZJA #commutative #parallel #programming #set
Commutative set: a language extension for implicit parallel programming (PP, SG, YZ, NPJ, DIA), pp. 1–11.
PLDIPLDI-2011-Tobin-HochstadtSCFF #library
Languages as libraries (STH, VSA, RC, MF, MF), pp. 132–141.
DLTDLT-J-2009-BertoniCR11 #context-free grammar #problem
The Inclusion Problem of Context-Free Languages: Some Tractable Cases (AB, CC, RR), pp. 289–299.
DLTDLT-J-2009-BrzozowskiGS11 #formal method #theorem
Closures in Formal Languages and Kuratowski’s Theorem (JAB, EG, JS), pp. 301–321.
DLTDLT-J-2009-Fazekas11 #regular expression
Powers of Regular Languages (SZF), pp. 323–330.
DLTDLT-J-2009-GazdagN11 #theorem
A Kleene Theorem for Bisemigroup and binoid Languages (ZG, ZLN), pp. 427–446.
CIAACIAA-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.
DLTDLT-J-2010-Giammarresi11 #subclass
Exploring inside Tiling Recognizable Picture Languages to Find Deterministic subclasses (DG), pp. 1519–1532.
DLTDLT-J-2010-JiraskovaM11 #complexity #regular expression
Complexity in Union-Free Regular Languages (GJ, TM), pp. 1639–1653.
AFLAFL-2011-BrzozowskiJLS #complexity #regular expression
Quotient Complexity of Bifix-, Factor-, and Subword-Free Regular Languages (JAB, GJ, BL, JS), pp. 123–137.
AFLAFL-2011-BrzozowskiL #complexity
Quotient Complexity of Star-Free Languages (JAB, BL), pp. 138–152.
AFLAFL-2011-CanoJ
Varieties of Languages and Frontier Check (AC, EJ), pp. 153–167.
AFLAFL-2011-HolzerJK
The Chop of Languages (MH, SJ, MK), pp. 197–210.
AFLAFL-2011-IbarraS #bound #linear
Characterizations of Bounded Semilinear Languages by One-Way and Two-way Deterministic Machines (OHI, SS), pp. 211–224.
AFLAFL-2011-Ito #strict
K-Restricted Duplication Closure of Languages (MI), pp. 28–33.
AFLAFL-2011-Pin #equation
Equational descriptions of languages (JÉP), pp. 50–63.
CIAACIAA-2011-BechetDF #strict
Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages (DB, AJD, AF), pp. 42–52.
CIAACIAA-2011-HolzerKM #complexity #nondeterminism
Nondeterministic State Complexity of Star-Free Languages (MH, MK, KM), pp. 178–189.
DLTDLT-2011-BattaglinoFFR #encoding #regular expression
Encoding Centered Polyominoes by Means of a Regular Language (DB, JMF, AF, SR), pp. 464–465.
DLTDLT-2011-BonizzoniJ #constant
Regular Splicing Languages Must Have a Constant (PB, NJ), pp. 82–92.
DLTDLT-2011-BrzozowskiY #complexity
Syntactic Complexity of Ideal and Closed Languages (JAB, YY), pp. 117–128.
DLTDLT-2011-ChaturvediOT #game studies #infinity
Languages vs. ω-Languages in Regular Infinite Games (NC, JO, WT), pp. 180–191.
DLTDLT-2011-HolzerKL
Nodes Connected by Path Languages (MH, MK, UL), pp. 276–287.
DLTDLT-2011-HundeshagenO #automaton #regular expression
Characterizing the Regular Languages by Nonforgetting Restarting Automata (NH, FO), pp. 288–299.
DLTDLT-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.
DLTDLT-2011-SelivanovK #algebra #regular expression
Boolean Algebras of Regular Languages (VLS, AK), pp. 386–396.
DLTDLT-2011-Shur
Growth Properties of Power-Free Languages (AMS), pp. 28–43.
ICALPICALP-v2-2011-BenediktPR #cost analysis
The Cost of Traveling between Languages (MB, GP, CR), pp. 234–245.
ICALPICALP-v2-2011-CartonCP #linear #order #regular expression #word
Regular Languages of Words over Countable Linear Orderings (OC, TC, GP), pp. 125–136.
ICALPICALP-v2-2011-SuenagaH #hybrid #modelling #programming
Programming with Infinitesimals: A While-Language for Hybrid System Modeling (KS, IH), pp. 392–403.
LATALATA-2011-AnselmoGM #classification #string
Classification of String Languages via Tiling Recognizable Picture Languages (MA, DG, MM), pp. 105–116.
LATALATA-2011-BerglundBH
Recognizing Shuffled Languages (MB, HB, JH), pp. 142–154.
LATALATA-2011-CaseJLOSS #automation #learning #pattern matching #subclass
Automatic Learning of Subclasses of Pattern Languages (JC, SJ, TDL, YSO, PS, FS), pp. 192–203.
LATALATA-2011-CharlierDHS #finite
Finite Orbits of Language Operations (EC, MD, TH, JS), pp. 204–215.
LATALATA-2011-ChatterjeeF
Finitary Languages (KC, NF), pp. 216–226.
LATALATA-2011-Gelderie #automaton #regular expression
Classifying Regular Languages via Cascade Products of Automata (MG), pp. 286–297.
SFMSFM-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.
CEFPCEFP-2011-Pali
Extending Little Languages into Big Systems (GP), pp. 499–516.
ICFPICFP-2011-AhmedB #continuation #multi #semantics
An equivalence-preserving CPS translation via multi-language semantics (AA, MB), pp. 431–444.
ICFPICFP-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.
ICFPICFP-2011-FisherFWZ #named #programming #tool support
Forest: a language and toolkit for programming with filestores (KF, NF, DW, KQZ), pp. 292–306.
ICFPICFP-2011-FosterHFMRSW #named #network #programming language
Frenetic: a network programming language (NF, RH, MJF, CM, JR, AS, DW), pp. 279–291.
ICFPICFP-2011-OhoriU #database #ml #programming language #standard
Making standard ML a practical database programming language (AO, KU), pp. 307–319.
ICFPICFP-2011-UenoOO #functional #garbage collection #performance
An efficient non-moving garbage collector for functional languages (KU, AO, TO), pp. 196–208.
IFLIFL-2011-PerssonAS #embedded #monad
Generic Monadic Constructs for Embedded Languages (AP, EA, JS), pp. 85–99.
IFLIFL-2011-Thomsen #functional #logic #optimisation #using
Describing and Optimising Reversible Logic Using a Functional Language (MKT), pp. 148–163.
GT-VMTGT-VMT-2011-BottoniF #diagrams #specification #visual notation
A visual language for temporal specifications based on Spider diagrams (PB, AF).
GT-VMTGT-VMT-2011-BrugginkH #decidability #graph
Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages (HJSB, MH).
CHICHI-2011-EdgeSCZL #learning #mobile #named
MicroMandarin: mobile language learning in context (DE, ES, KC, JZ, JAL), pp. 3169–3178.
CHICHI-2011-HailpernDHKDH #named #towards
ACES: promoting empathy towards aphasia through language distortion emulation software (JMH, MD, AH, KK, GD, JH), pp. 609–618.
CHICHI-2011-TrustyT #learning #web
Augmenting the web for second language vocabulary learning (AT, KNT), pp. 3179–3188.
CSCWCSCW-2011-HautasaariBII #collaboration #grid
Intercultural collaboration with the language grid toolbox (AMJH, NBA, RI, TI), pp. 579–580.
CSCWCSCW-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.
HCIDUXU-v1-2011-Hasan #multi #online #visual notation #word
Multi-language Online Word Processor for Learners and the Visually Impaired (SIH), pp. 256–260.
HCIHCD-2011-KimKK #people
The Impact of Robots Language Form on People’s Perception of Robots (YK, SSK, MK), pp. 253–261.
HCIHIMI-v2-2011-HosonoIMSNTY
Service Science Method to Create Pictograms Referring to Sign Languages (NH, HI, HM, MS, YN, YT, SY), pp. 123–130.
HCIIDGD-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.
AdaEuropeAdaEurope-2011-Burns #hardware #parallel #programming language #realtime
Programming Languages for Real-Time Applications Executing on Parallel Hardware (AB), pp. 193–195.
AdaEuropeAdaEurope-2011-Hatton #evolution #natural language #on the
On the Evolution of Unnatural Language (LH), pp. 219–225.
AdaEuropeAdaEurope-2011-Ploedereder #manycore #programming language
Programming Languages Meet Multicore (EP), pp. 189–192.
AdaEuropeAdaEurope-2011-Taft #implementation #manycore #parallel #programming #specification
Multicore Programming in ParaSail — Parallel Specification and Implementation Language (STT), pp. 196–200.
AdaSIGAda-2011-Rogers #safety
Language choice for safety critical applications (JSR), pp. 81–90.
AdaSIGAda-2011-Taft #implementation #parallel #specification
Experimenting with parasail: parallel specification and implementation language (STT), pp. 11–12.
CAiSECAiSE-2011-FriedrichMP #generative #natural language #process
Process Model Generation from Natural Language Text (FF, JM, FP), pp. 482–496.
CAiSECAiSE-2011-SonnenbergHHMB #modelling
The REA-DSL: A Domain Specific Modeling Language for Business Models (CS, CH, BH, DM, AMB), pp. 252–266.
EDOCEDOC-2011-WoutersG #execution #modelling #named
xOWL: An Executable Modeling Language for Domain Experts (LW, MPG), pp. 215–224.
ICEISICEIS-J-2011-AliPTD11a #query
Incorporating Data Concerns into Query Languages for Data Services (MIA, RP, HLT, SD), pp. 132–145.
ICEISICEIS-J-2011-BajwaC #modelling #natural language #specification #uml
From Natural Language Software Specifications to UML Class Models (ISB, MAC), pp. 224–237.
ICEISICEIS-v2-2011-BajwaNCA #interface #modelling #natural language
A Controlled Natural Language Interface to Class Models (ISB, MAN, AAC, SA), pp. 102–110.
CIKMCIKM-2011-BarbosaB #crawling #modelling
Focusing on novelty: a crawling strategy to build diverse language models (LB, SB), pp. 755–764.
CIKMCIKM-2011-KarimzadehganZ #documentation #modelling #query #retrieval
Improving retrieval accuracy of difficult queries through generalizing negative document language models (MK, CZ), pp. 27–36.
CIKMCIKM-2011-KumarLB #modelling
Supervised language modeling for temporal resolution of texts (AK, ML, JB), pp. 2069–2072.
CIKMCIKM-2011-LinTC #classification #independence #sentiment #using #word
Language-independent sentiment classification using three common words (ZL, ST, XC), pp. 1041–1046.
CIKMCIKM-2011-MagdyJ #performance #using
An efficient method for using machine translation technologies in cross-language patent search (WM, GJFJ), pp. 1925–1928.
CIKMCIKM-2011-MomtaziK #retrieval
Trained trigger language model for sentence retrieval in QA: bridging the vocabulary gap (SM, DK), pp. 2005–2008.
CIKMCIKM-2011-WangYZ #approach
A language model approach to capture commercial intent and information relevance for sponsored search (LW, MY, YZ), pp. 599–604.
CIKMCIKM-2011-YiA #query #web
Discovering missing click-through query language information for web search (XY, JA), pp. 153–162.
ECIRECIR-2011-DuanZ #concurrent #modelling #retrieval #thread
Exploiting Thread Structures to Improve Smoothing of Language Models for Forum Post Retrieval (HD, CZ), pp. 350–361.
ECIRECIR-2011-HerbertSG #information retrieval #query
Combining Query Translation Techniques to Improve Cross-Language Information Retrieval (BH, GS, IG), pp. 712–715.
ECIRECIR-2011-ZhouH #comprehension #learning #natural language #random
Learning Conditional Random Fields from Unaligned Data for Natural Language Understanding (DZ, YH), pp. 283–288.
ICMLICML-2011-SocherLNM #natural language #network #parsing #recursion
Parsing Natural Scenes and Natural Language with Recursive Neural Networks (RS, CCYL, AYN, CDM), pp. 129–136.
ICMLICML-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.
KDDKDD-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.
KDIRKDIR-2011-CamelinDHQL #comprehension #concept
Concept Discovery for Language Understanding in an Information-query Dialogue System (NC, BD, SH, DQ, FL), pp. 24–29.
KDIRKDIR-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.
KEODKEOD-2011-BelouaerBM
Spatial Knowledge in Planning Language (LB, MB, AIM), pp. 71–80.
KEODKEOD-2011-Kral #recognition
Features for Named Entity Recognition in Czech Language (PK), pp. 437–441.
KEODKEOD-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.
SEKESEKE-2011-BarrosNHT #case study #natural language #specification
The ucsCNL: A Controlled Natural Language for Use Case Specifications (FAB, LN, EH, DT), pp. 250–253.
SEKESEKE-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.
SIGIRSIGIR-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.
SIGIRSIGIR-2011-LevelingMJ
An investigation of decompounding for cross-language patent search (JL, WM, GJFJ), pp. 1169–1170.
SIGIRSIGIR-2011-TsagkiasRW #geometry #modelling
Hypergeometric language models for republished article finding (MT, MdR, WW), pp. 485–494.
SIGIRSIGIR-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.
BXBX-2011-Foster #bidirectional
Languages for Bidirectional Transformations (NF), p. 49.
BXBX-2011-Glueck #programming language
Principles of Reversible Programming Languages (RG), p. 50.
BXBX-2011-Gogolla #metamodelling
Direction Neutral Language Transformation with Metamodels (MG), p. 57.
BXBX-2011-Greenyer #bidirectional #model transformation
Unified (Bidirectional) Transformation Language (JG), p. 58.
BXBX-2011-Yokoyama #programming language
A reversible programming language (TY), p. 65.
ECMFAECMFA-2011-PfeifferW
Taming the Confusion of Languages (RHP, AW), pp. 312–328.
ECMFAECMFA-2011-RumpeSVW #agile #development #domain-specific language
Agile Development with Domain Specific Languages (BR, MS, SV, IW), pp. 387–388.
ECMFAECMFA-2011-Tolvanen #domain-specific language #modelling
Creating Domain-Specific Modelling Languages That Work: Hands-On (JPT), pp. 393–394.
ICMTICMT-2011-BergmannURV #emf #graph #modelling #query
A Graph Query Language for EMF Models (GB, ZU, IR, DV), pp. 167–182.
ICMTICMT-2011-HornE #model transformation
The GReTL Transformation Language (TH, JE), pp. 183–197.
ICMTICMT-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.
ECOOPECOOP-2011-SteimannKP #constraints #eiffel #refactoring
A Refactoring Constraint Language and Its Application to Eiffel (FS, CK, JvP), pp. 255–280.
OnwardOnward-2011-Adamczyk #on the
On the language metaphor (PA), pp. 121–128.
OnwardOnward-2011-AnslowMM #evaluation #programming language #tool support #usability
Evaluation and usability of programming languages and tools: (PLATEAU) (CA, SM, ERMH), pp. 119–120.
OnwardOnward-2011-Derk #perspective #programming language #what
What makes a programming language popular?: an essay from a historical perspective (MD), pp. 163–166.
OnwardOnward-2011-MarceauFK #error message #fault #interactive
Mind your language: on novices’ interactions with error messages (GM, KF, SK), pp. 3–18.
OnwardOnward-2011-NevesGF #stack
Language support for asynchronous event handling in the invocation call stack (CRGdN, EMG, CTF), pp. 177–180.
OnwardOnward-2011-Orchard #design #programming language
The four Rs of programming language design (DAO), pp. 157–162.
OOPSLAOOPSLA-2011-AcarCR #parallel #scheduling
Oracle scheduling: controlling granularity in implicitly parallel languages (UAA, AC, MR), pp. 499–518.
OOPSLAOOPSLA-2011-AustinDF
Virtual values for language extension (THA, TD, CF), pp. 921–938.
OOPSLAOOPSLA-2011-ErdwegRKO #named
SugarJ: library-based syntactic language extensibility (SE, TR, CK, KO), pp. 391–406.
OOPSLAOOPSLA-2011-HarrisAIM #composition #named
AC: composable asynchronous IO for native languages (TH, MA, RI, RM), pp. 903–920.
OOPSLAOOPSLA-2011-KatsVV #development #testing
Integrated language definition testing: enabling test-driven language development (LCLK, RV, EV), pp. 139–154.
OOPSLAOOPSLA-2011-LorenzR #named #programming
Cedalion: a language for language oriented programming (DHL, BR), pp. 733–752.
OOPSLAOOPSLA-2011-VerwaestBLN #flexibility #lightweight
Flexible object layouts: enabling lightweight language extensions by intercepting slot access (TV, CB, ML, ON), pp. 959–972.
PLATEAUPLATEAU-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.
PLATEAUPLATEAU-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.
PLATEAUPLATEAU-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.
TOOLSTOOLS-EUROPE-2011-BockischSMA #bibliography #execution
An Overview of ALIA4J — An Execution Model for Advanced-Dispatching Languages (CB, AS, MM, MA), pp. 131–146.
TOOLSTOOLS-EUROPE-2011-SchwarzLN #dependence #injection #named
Seuss: Better Class Responsibilities through Language-Based Dependency Injection (NS, ML, ON), pp. 276–289.
GPCEGPCE-J-2005-SiekL11 #in the large #programming
A language for generic programming in the large (JGS, AL), pp. 423–465.
GPCEGPCE-2011-ErdwegKRKOV #editing #library
Growing a language environment with editor libraries (SE, LCLK, TR, CK, KO, EV), pp. 167–176.
GPCEGPCE-2011-LindemanKV #domain-specific language
Declaratively defining domain-specific language debuggers (RTL, LCLK, EV), pp. 127–136.
LOPSTRLOPSTR-2011-Almendros-JimenezCGS #declarative #functional #xquery
A Declarative Embedding of XQuery in a Functional-Logic Language (JMAJ, RC, YGR, FSP), pp. 42–56.
LOPSTRLOPSTR-2011-FernandezKN #graph grammar
A Strategy Language for Graph Rewriting (MF, HK, ON), pp. 173–188.
LOPSTRLOPSTR-2011-Gallagher #analysis #logic programming #source code #using
Analysis of Logic Programs Using Regular Tree Languages — (Extended Abstract) (JPG), pp. 1–3.
LOPSTRLOPSTR-2011-Henglein #domain-specific language #implementation #symbolic computation
Dynamic Symbolic Computation for Domain-Specific Language Implementation (FH), pp. 4–24.
LOPSTRLOPSTR-2011-MoralesHH #composition #logic
Modular Extensions for Modular (Logic) Languages (JFM, MVH, RH), pp. 139–154.
PPDPPPDP-2011-SauthoffJG #declarative #programming
Bellman’s GAP: a declarative language for dynamic programming (GS, SJ, RG), pp. 29–40.
PADLPADL-2011-CaballeroGS #functional #xpath
Integrating XPath with the Functional-Logic Language Toy (RC, YGR, FSP), pp. 145–159.
PADLPADL-2011-HolkBWHCL #communication #declarative #named
Kanor — A Declarative Language for Explicit Communication (EH, WEB, JW, TH, AC, AL), pp. 190–204.
PADLPADL-2011-Kaivola #execution #framework #functional #validation
Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework (RK), p. 1.
PADLPADL-2011-Mooney #learning
Learning Language from Its Perceptual Context (RJM), pp. 2–4.
POPLPOPL-2011-BocchinoHHAAWS #nondeterminism #parallel
Safe nondeterminism in a deterministic-by-default parallel language (RLBJ, SH, NH, SVA, VSA, AW, TS), pp. 535–548.
POPLPOPL-2011-GordonHHJS #concurrent #verification
Robin Milner 1934--2010: verification, languages, and concurrency (ADG, RH, JH, AJ, PS), pp. 473–474.
POPLPOPL-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.
RERE-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.
SACSAC-2011-AcherCLF #domain-specific language #feature model #modelling
A domain-specific language for managing feature models (MA, PC, PL, RBF), pp. 1333–1340.
SACSAC-2011-CoupeyF #adaptation #component #framework #functional
A formal framework for a functional language with adaptable components (PC, CF), pp. 1297–1298.
SACSAC-2011-DinkelakerEM #embedded #incremental #syntax
Incremental concrete syntax for embedded languages (TD, ME, MM), pp. 1309–1316.
SACSAC-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.
SACSAC-2011-Norta #collaboration
A choreography language for eBusiness collaboration (AN), pp. 468–469.
SACSAC-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-FSEESEC-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.
GTTSEGTTSE-2011-Blasband #compilation #legacy
Compilation of Legacy Languages in the 21st Century (DB), pp. 1–54.
GTTSEGTTSE-2011-HeidenreichJKSW #modelling
Model-Based Language Engineering with EMFText (FH, JJ, SK, MS, CW), pp. 322–345.
GTTSEGTTSE-2011-Voelter #composition #ide
Language and IDE Modularization and Composition with MPS (MV), pp. 383–430.
ICSEICSE-2011-AldrichGHMNSSSTW #programming language
Permission-based programming languages (JA, RG, MH, MM, KN, DS, SS, JS, ÉT, RW), pp. 828–831.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-2011-BosS #domain-specific language #forensics
Bringing domain-specific languages to digital forensics (JvdB, TvdS), pp. 671–680.
LDTALDTA-2011-JohnstoneSB #named
LDT: a language definition technique (AJ, ES, MvdB), p. 9.
SLESLE-2011-Czarnecki #design #modelling #variability
Designing Variability Modeling Languages (KC), p. 222.
SLESLE-2011-ErwigW #design #exclamation #process #semantics
Semantics First! — Rethinking the Language Design Process (ME, EW), pp. 243–262.
SLESLE-2011-KaminskiW #attribute grammar #functional #programming language
Integrating Attribute Grammar and Functional Programming Language Features (TK, EVW), pp. 263–282.
SLESLE-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.
SLESLE-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.
SLESLE-2011-TombelleVR #approach #modelling #reuse
Reusing Pattern Solutions in Modeling: A Generic Approach Based on a Role Language (CT, GV, ER), pp. 139–159.
SLESLE-2011-Wojciechowski #communication #concurrent #scripting language
Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages (PTW), pp. 378–387.
SPLCSPLC-2011-TolvanenK #domain-specific language #modelling #product line
Creating Domain-Specific Modeling Languages for Product Lines (JPT, SK), p. 358.
SPLCSPLC-2011-VolterV #domain-specific language #product line #using
Product Line Engineering Using Domain-Specific Languages (MV, EV), pp. 70–79.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2011-HoangFJ #compilation
Exploring circuit timing-aware language and compilation (GH, RBF, RJ), pp. 345–356.
ASPLOSASPLOS-2011-SchupbachBRP #approach #declarative
A declarative language approach to device configuration (AS, AB, TR, SP), pp. 119–132.
CCCC-2011-Axelsen #imperative #programming language
Clean Translation of an Imperative Reversible Programming Language (HBA), pp. 144–163.
CGOCGO-2011-Altman #tool support
The language, optimizer, and tools mess (ERA).
CGOCGO-2011-AnselWCOEA #algorithm #compilation
Language and compiler support for auto-tuning variable-accuracy algorithms (JA, YLW, CPC, MO, AE, SPA), pp. 85–96.
CGOCGO-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.
LCTESLCTES-2011-AlbertAGZ #analysis #parallel
Task-level analysis for a language with async/finish parallelism (EA, PA, SG, DZ), pp. 21–30.
LCTESLCTES-2011-BenvenisteBCP #compilation #hybrid
Divide and recycle: types and compilation for a hybrid synchronous language (AB, TB, BC, MP), pp. 61–70.
PPoPPPPoPP-2011-CatanzaroGK #compilation #embedded #named #parallel
Copperhead: compiling an embedded data parallel language (BCC, MG, KK), pp. 47–56.
CADECADE-2011-Ranta #logic #what
Translating between Language and Logic: What Is Easy and What Is Difficult (AR), pp. 5–25.
CADECADE-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.
CAVCAV-2011-KieferMOWW #automaton #equivalence #probability
Language Equivalence for Probabilistic Automata (SK, ASM, JO, BW, JW), pp. 526–540.
ICLPICLP-2011-CasolaryL #programming #representation #set
Representing the Language of the Causal Calculator in Answer Set Programming (MC, JL), pp. 51–61.
ICLPICLP-2011-Wilson #axiom #implementation
Implementation of Axiomatic Language (WWW), pp. 290–295.
ICLPICLP-2011-ZomboriCS #functional #prolog #static typing #type checking
Static Type Checking for the Q Functional Language in Prolog (ZZ, JC, PS), pp. 62–72.
ICLPICLP-J-2011-Haemmerle #concurrent #constraints #linear #logic
Observational equivalences for linear logic concurrent constraint languages (RH), pp. 469–485.
ICSTICST-2011-AtkinsonBHS #framework #testing #towards
Towards a Language and Framework for Penurious Testing (CA, FB, OH, MS), pp. 31–39.
ICTSSICTSS-2011-EnderlinDGO #contract #named #php #specification #testing
Praspel: A Specification Language for Contract-Based Testing in PHP (IE, FD, AG, ABO), pp. 64–79.
LICSLICS-2011-CarayolHS
Qualitative Tree Languages (AC, AH, OS), pp. 13–22.
LICSLICS-2011-KufleitnerL #infinity #word
Languages of Dot-Depth One over Infinite Words (MK, AL), pp. 23–32.
RTARTA-2011-FalkeKS #analysis #c #compilation #source code #termination #using
Termination Analysis of C Programs Using Compiler Intermediate Languages (SF, DK, CS), pp. 41–50.
ECSAECSA-2010-RuscioMMPP #architecture #framework #named
ByADL: An MDE Framework for Building Extensible Architecture Description Languages (DDR, IM, HM, PP, AP), pp. 527–531.
ASEASE-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.
ASEASE-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.
CASECASE-2010-LeeFBSSFS #behaviour #evaluation #framework #modelling
Product modeling framework and language for behavior evaluation (JHL, SJF, CB, HWS, RS, XF, RDS), pp. 136–143.
DACDAC-2010-GajskiAS #question #synthesis #what
What input-language is the best choice for high level synthesis (HLS)? (DG, TMA, SS), pp. 857–858.
DRRDRR-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.
DRRDRR-2010-HuangDC #modelling #recognition #word
A word language model based contextual language processing on Chinese character recognition (CH, XD, YC), pp. 1–10.
HTHT-2010-GippB #approach #detection #identification #independence
Citation based plagiarism detection: a new approach to identify plagiarized work language independently (BG, JB), pp. 273–274.
HTHT-2010-LiuFZ #recommendation #social
Speak the same language with your friends: augmenting tag recommenders with social relations (KL, BF, WZ), pp. 45–50.
PODSPODS-2010-BarceloHLW #query
Expressive languages for path queries over graph-structured data (PB, CAH, LL, PTW), pp. 3–14.
PODSPODS-2010-DeutchKM #fixpoint #markov #on the #probability #query
On probabilistic fixpoint and Markov chain query languages (DD, CK, TM), pp. 215–226.
PODSPODS-2010-GeladeIMN #approximate #xml
Simplifying XML schema: single-type approximations of regular tree languages (WG, TI, WM, FN), pp. 251–260.
SIGMODSIGMOD-2010-ArmbrustTFFPLTT #named #performance #query
PIQL: a performance insightful query language (MA, ST, AF, MJF, DAP, NL, BT, JT), pp. 1207–1210.
SIGMODSIGMOD-2010-CampbellKE #sql
Extreme scale with full SQL language support in microsoft SQL Azure (DGC, GK, NE), pp. 1021–1024.
SIGMODSIGMOD-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.
VLDBVLDB-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.
ITiCSEITiCSE-2010-MarcosFM #modelling
Modeling with Plato: the unified modeling language in a cultural context (LdM, FF, JJM), pp. 249–253.
ESOPESOP-2010-BaillotGM #functional #linear #logic
A PolyTime Functional Language from Light Linear Logic (PB, MG, VM), pp. 104–124.
ESOPESOP-2010-SouleHGGAKW #calculus
A Universal Calculus for Stream Processing Languages (RS, MH, RG, BG, HA, VK, KLW), pp. 507–528.
FASEFASE-2010-EsmaeilsabzaliD #modelling #semantics
Prescriptive Semantics for Big-Step Modelling Languages (SE, NAD), pp. 158–172.
TACASTACAS-2010-LeinoR #design #encoding #logic #polymorphism #verification
A Polymorphic Intermediate Verification Language: Design and Logical Encoding (KRML, PR), pp. 312–327.
WRLAWRLA-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.
WRLAWRLA-2010-SerbanutaR #named #programming language #semantics
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages (TFS, GR), pp. 104–122.
ICPCICPC-2010-AbebeT #concept #natural language #parsing
Natural Language Parsing of Program Element Names for Concept Extraction (SLA, PT), pp. 156–159.
ICPCICPC-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.
ICSMEICSM-2010-HasanSBA #process
Analyzing natural-language artifacts of the software process (MH, ES, DB, MHA), pp. 1–5.
SCAMSCAM-2010-BrixtelFLBR #clone detection #detection #independence
Language-Independent Clone Detection Applied to Plagiarism Detection (RB, MF, BL, CB, RR), pp. 77–86.
SCAMSCAM-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.
WCREWCRE-2010-Boughanmi #analysis #multi
Multi-Language and Heterogeneously-licensed Software Analysis (FB), pp. 293–296.
PEPMPEPM-2010-Siek #metalanguage
General purpose languages should be metalanguages (JGS), pp. 3–4.
PLDIPLDI-2010-LeeWHGM #debugging #detection #interface #named
Jinn: synthesizing dynamic bug detectors for foreign language interfaces (BL, BW, MH, RG, KSM), pp. 36–49.
PLDIPLDI-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.
PLDIPLDI-2010-TateCH #assembly #object-oriented
Inferable object-oriented typed assembly language (RT, JC, CH), pp. 424–435.
PLDIPLDI-2010-XiW
A context-free markup language for semi-structured text (QX, DW), pp. 221–232.
FLOPSFLOPS-2010-RemyY
A Church-Style Intermediate Language for MLF (DR, BY), pp. 24–39.
AFLAFL-J-2008-AfoninK10 #on the #regular expression
On the Structure of Finitely Generated Semigroups of Unary Regular Languages (SA, EK), pp. 689–704.
AFLAFL-J-2008-KlimaP10a
Literally Idempotent Languages and their Varieties — Two Letter Case (OK, LP), pp. 761–780.
DLTDLT-J-2008-Ada10 #communication #complexity #nondeterminism #on the #regular expression
On the Non-Deterministic Communication Complexity of Regular Languages (AA), pp. 479–493.
DLTDLT-J-2008-BassinoGN10 #complexity #finite
The Average State Complexity of Rational Operations on Finite Languages (FB, LG, CN), pp. 495–516.
DLTDLT-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.
DLTDLT-J-2008-KlimaP10
Hierarchies of Piecewise Testable Languages (OK, LP), pp. 517–533.
CIAACIAA-2010-ChamparnaudDJ #geometry
Regular Geometrical Languages and Tiling the Plane (JMC, JPD, HJ), pp. 69–78.
CIAACIAA-2010-DiekertK #complexity #regular expression
Complexity Results and the Growths of Hairpin Completions of Regular Languages (Extended Abstract) (VD, SK), pp. 105–114.
CIAACIAA-2010-Johnson #natural language #using
Uniformizing Rational Relations for Natural Language Applications Using Weighted Determinization (JHJ), pp. 173–180.
DLTDLT-2010-Giammarresi #2d
A Brief Excursion Inside the Class of Tiling Recognizable Two-Dimensional Languages (DG), pp. 4–15.
DLTDLT-2010-JiraskovaM #complexity #regular expression
Complexity in Union-Free Regular Languages (GJ, TM), pp. 255–266.
DLTDLT-2010-LehtinenO #equation #on the
On Language Equations XXK = XXL and XM = N over a Unary Alphabet (TL, AO), pp. 291–302.
DLTDLT-2010-MarinK #revisited
Regular Hedge Language Factorization Revisited (MM, TK), pp. 328–339.
DLTDLT-2010-PribavkinaR #complexity #regular expression
State Complexity of Prefix, Suffix, Bifix and Infix Operators on Regular Languages (EVP, ER), pp. 376–386.
DLTDLT-2010-Rigo #formal method
Numeration Systems: A Link between Number Theory and Formal Language Theory (MR), pp. 33–53.
ICALPICALP-v2-2010-HabermehlMW #petri net
The Downward-Closure of Petri Net Languages (PH, RM, HW), pp. 466–477.
LATALATA-2010-Brzozowski #complexity
Complexity in Convex Languages (JAB), pp. 1–15.
LATALATA-2010-ChamparnaudDJ #geometry #regular expression
Geometricity of Binary Regular Languages (JMC, JPD, HJ), pp. 178–189.
LATALATA-2010-Clark #modelling
Three Learnable Models for the Description of Language (AC), pp. 16–31.
LATALATA-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.
LATALATA-2010-Leupold #context-free grammar #word
Primitive Words Are Unavoidable for Context-Free Languages (PL), pp. 403–413.
LATALATA-2010-NagyO
CD-Systems of Stateless Deterministic R(1)-Automata Accept All Rational Trace Languages (BN, FO), pp. 463–474.
LATALATA-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.
LATALATA-2010-YoshinakaKS #context-free grammar #multi
Chomsky-Schützenberger-Type Characterization of Multiple Context-Free Languages (RY, YK, HS), pp. 596–607.
IFMIFM-2010-DiosMP #pointer
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation (JdD, MM, RP), pp. 305–319.
ICFPICFP-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.
ICFPICFP-2010-CrestaniS #case study #experience #programming language #student
Experience report: growing programming languages for beginning students (MC, MS), pp. 229–234.
ICFPICFP-2010-Gordon #metalanguage #ml #named #question
ML: metalanguage or object language? (MJCG), pp. 1–2.
ICFPICFP-2010-McCreightCT #compilation #framework #garbage collection
A certified framework for compiling and executing garbage-collected languages (AM, TC, APT), pp. 273–284.
ICFPICFP-2010-StampoulisS #logic #named
VeriML: typed computation of logical terms inside a language with effects (AS, ZS), pp. 333–344.
ICFPICFP-2010-Tobin-HochstadtF #logic
Logical types for untyped languages (STH, MF), pp. 117–128.
IFLIFL-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.
IFLIFL-2010-BoeijinkHK #functional #lazy evaluation
Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages (AB, PKFH, JK), pp. 54–71.
GT-VMTGT-VMT-2010-BlumeBK #graph #invariant
Recognizable Graph Languages for Checking Invariants (CB, HJSB, BK).
GT-VMTGT-VMT-2010-SyrianiV #model transformation
De-/Re-constructing Model Transformation Languages (ES, HV).
ICGTICGT-2010-Blume #graph #verification
Recognizable Graph Languages for the Verification of Dynamic Systems (CB), pp. 384–387.
CHICHI-2010-CavenderOBL #collaboration #online
Asl-stem forum: enabling sign language to grow through online collaboration (AC, DSO, JPB, REL), pp. 2075–2078.
CHICHI-2010-MaFC #named
SoundNet: investigating a language composed of environmental sounds (XM, CF, PRC), pp. 1945–1954.
CHICHI-2010-Rantanen
Indexicality of language and the art of creating treasures (MR), pp. 301–304.
CHICHI-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.
CSCWCSCW-2010-ScholandTP #analysis #network #social
Social language network analysis (AJS, YRT, JWP), pp. 23–26.
SOFTVISSOFTVIS-2010-RobertsonCL #memory management #named #visualisation
AllocRay: memory allocation visualization for unmanaged languages (GGR, TMC, BL), pp. 43–52.
EDOCEDOC-2010-BajwaBL #constraints #generative #natural language #ocl #specification
OCL Constraints Generation from Natural Language Specification (ISB, BB, MGL), pp. 204–213.
EDOCEDOC-2010-Gronmo #aspect-oriented #graph transformation #question
Can Graph Transformation Make Aspect Languages for BPEL Redundant? (RG), pp. 153–162.
ICEISICEIS-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.
ICEISICEIS-AIDSS-2010-MajdoubiTG #modelling #representation #semantics
Thesaurus based Semantic Representation in Language Modeling for Medical Article Indexing (JM, MT, FG), pp. 65–74.
ICEISICEIS-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.
ICEISICEIS-ISAS-2010-BaraoS #bibliography #perspective
The SNARE Language Overview (AB, ARdS), pp. 344–349.
ICEISICEIS-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.
CIKMCIKM-2010-ChubakR #natural language
Index structures for efficiently searching natural language text (PC, DR), pp. 689–698.
CIKMCIKM-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.
CIKMCIKM-2010-KobdaniSBKH #natural language #re-engineering #relational
Relational feature engineering of natural language processing (HK, HS, AB, WK, GH), pp. 1705–1708.
CIKMCIKM-2010-LiuWMKC #information retrieval #natural language
Weighting common syntactic structures for natural language based information retrieval (CL, HW, SIM, EK, DC), pp. 1485–1488.
CIKMCIKM-2010-YangZ #analysis #multi
Language pyramid and multi-scale text analysis (SHY, HZ), pp. 639–648.
ECIRECIR-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.
ECIRECIR-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.
ECIRECIR-2010-BerberichBAW #approach #modelling
A Language Modeling Approach for Temporal Information Needs (KB, SJB, OA, GW), pp. 13–25.
ECIRECIR-2010-GottronL #comparison #identification
A Comparison of Language Identification Approaches on Short, Query-Style Texts (TG, NL), pp. 611–614.
ECIRECIR-2010-KapteinHK #how #modelling #question
How Different Are Language Models andWord Clouds? (RK, DH, JK), pp. 556–568.
ECIRECIR-2010-Lapata #image #information retrieval #multi #natural language
Image and Natural Language Processing for Multimedia Information Retrieval (ML), p. 12.
ECIRECIR-2010-Shi #information retrieval #mining #web
Mining OOV Translations from Mixed-Language Web Pages for Cross Language Information Retrieval (LS), pp. 471–482.
ECIRECIR-2010-SteinPT #web
Retrieving Customary Web Language to Assist Writers (BS, MP, MT), pp. 631–635.
ECIRECIR-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.
ICMLICML-2010-GerrishB #approach
A Language-based Approach to Measuring Scholarly Impact (SG, DMB), pp. 375–382.
ICPRICPR-2010-AkceB #probability
A Probabilistic Language Model for Hand Drawings (AA, TB), pp. 109–112.
ICPRICPR-2010-ChakrabortyG #recognition #speech
Role of Synthetically Generated Samples on Speech Recognition in a Resource-Scarce Language (RC, UG), pp. 1618–1621.
ICPRICPR-2010-HuangT #recognition
A Vision-Based Taiwanese Sign Language Recognition (CLH, BLT), pp. 3683–3686.
ICPRICPR-2010-LutfYL #identification #using
Offline Arabic Handwriting Identification Using Language Diacritics (ML, XY, HL), pp. 1912–1915.
ICPRICPR-2010-MehtaSJBJ
Recognizing Sign Language from Brain Imaging (NAM, TS, MMJ, KOB, GAJ), pp. 3842–3845.
ICPRICPR-2010-YangL10a #random #recognition #robust
Robust Sign Language Recognition with Hierarchical Conditional Random Fields (HDY, SWL), pp. 2202–2205.
ICPRICPR-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.
ICPRICPR-2010-ZhangSQ10a #automation #keyword
Automatic Pronunciation Transliteration for Chinese-English Mixed Language Keyword Spotting (SZ, ZS, YQ), pp. 1610–1613.
KEODKEOD-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.
KEODKEOD-2010-Ruiz-MartinezVMH #natural language #ontology
Populating Biomedical Ontologies from Natural Language Texts (JMRM, RVG, RMB, AGH), pp. 27–36.
KMISKMIS-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.
KRKR-2010-BienvenuLW #logic
From Preference Logics to Preference Languages, and Back (MB, JL, NW).
SEKESEKE-2010-KhwajaU #execution #implementation #realtime #specification
Intertwining Implementation with the RealSpec Executable Real-Time Specification Language (AAK, JEU), pp. 649–652.
SEKESEKE-2010-SubburajU #design #specification
Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language (VHS, JEU), pp. 668–671.
SEKESEKE-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.
SIGIRSIGIR-2010-AwadallahRW #classification
Language-model-based pro/con classification of political text (RA, MR, GW), pp. 747–748.
SIGIRSIGIR-2010-Barron-Cedeno #detection #on the #reuse
On the mono- and cross-language detection of text reuse and plagiarism (ABC), p. 914.
SIGIRSIGIR-2010-MomtaziK #information retrieval
Hierarchical pitman-yor language model for information retrieval (SM, DK), pp. 793–794.
SIGIRSIGIR-2010-RothK #modelling #retrieval #using
Cross-language retrieval using link-based language models (BR, DK), pp. 773–774.
SIGIRSIGIR-2010-WangLG #information retrieval #multi #web
Multi-style language model for web scale information retrieval (KW, XL, JG), pp. 467–474.
ECMFAECMFA-2010-Vallecillo #modelling #on the
On the Combination of Domain Specific Modeling Languages (AV), pp. 305–320.
ECMFAECMFA-2010-WalterPSE #domain model
Joint Language and Domain Engineering (TW, FSP, SS, JE), pp. 321–336.
MODELSMoDELS-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.
MODELSMoDELS-v1-2010-MaderC #modelling #traceability #visual notation
A Visual Traceability Modeling Language (PM, JCH), pp. 226–240.
MODELSMoDELS-v2-2010-EsmaeilsabzaliDA #framework #modelling #requirements
A Common Framework for Synchronization in Requirements Modelling Languages (SE, NAD, JMA), pp. 198–212.
MODELSMoDELS-v2-2010-Voelter #development #embedded #projectional
Embedded Software Development with Projectional Language Workbenches (MV), pp. 32–46.
ECOOPECOOP-2010-HeideggerT #scripting language
Recency Types for Analyzing Scripting Languages (PH, PT), pp. 200–224.
ECOOPECOOP-2010-RenggliGN #tool support
Embedding Languages without Breaking Tools (LR, TG, ON), pp. 380–404.
OOPSLAOOPSLA-2010-AuerbachBCR #architecture #named
Lime: a Java-compatible and synthesizable language for heterogeneous architectures (JSA, DFB, PC, RMR), pp. 89–108.
OOPSLAOOPSLA-2010-ChafiDMRSHOO #parallel
Language virtualization for heterogeneous parallel computing (HC, ZD, AM, TR, AKS, PH, MO, KO), pp. 835–847.
OOPSLAOOPSLA-2010-DavisK #abstraction
Registration-based language abstractions (SD, GK), pp. 754–773.
OOPSLAOOPSLA-2010-KatsV #declarative #ide #specification #spoofax
The spoofax language workbench: rules for declarative specification of languages and IDEs (LCLK, EV), pp. 444–463.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2010-ServettoZ #composition #java #named
MetaFJig: a meta-circular composition language for Java-like classes (MS, EZ), pp. 464–483.
OOPSLAOOPSLA-2010-WegielK #type safety
Cross-language, type-safe, and transparent object sharing for co-located managed runtimes (MW, CK), pp. 223–240.
TOOLSTOOLS-EUROPE-2010-ArnaudDDPBS #execution
Read-Only Execution for Dynamic Languages (JBA, MD, SD, DP, AB, MS), pp. 117–136.
TOOLSTOOLS-EUROPE-2010-Xu #domain-specific language #embedded #generative #named
EriLex: An Embedded Domain Specific Language Generator (HX), pp. 192–212.
GPCEGPCE-J-2007-FrisbyKWA10 #algebra #combinator
Constructing language processors with algebra combinators (NF, GK, PW, PA), pp. 543–572.
GPCEGPCE-2010-AtkinsonFL
ABI compatibility through a customizable language (KA, MF, GL), pp. 147–156.
GPCEGPCE-2010-Erwig #research #variability
A language for software variation research (ME), pp. 3–12.
GPCEGPCE-2010-HoferO #component #composition #domain-specific language #scala
Modular domain-specific language components in scala (CH, KO), pp. 83–92.
GPCEGPCE-2010-Lammel
The hitchhiker’s guide to software languages (RL), pp. 1–2.
GPCEGPCE-2010-PorkolabS #domain-specific language #generative #integration #library #parsing
Domain-specific language integration with compile-time parser generator library (ZP, ÁS), pp. 137–146.
LOPSTRLOPSTR-2010-AlbertGRP #composition #generative #imperative #testing
Compositional CLP-Based Test Data Generation for Imperative Languages (EA, MGZ, JMR, GP), pp. 99–116.
PADLPADL-2010-Costa #implementation #on the
On the Implementation of the CLP(BN) Language (VSC), pp. 234–248.
PADLPADL-2010-GrumbachW #distributed #programming #rule-based
Netlog, a Rule-Based Language for Distributed Programming (SG, FW), pp. 88–103.
PADLPADL-2010-WangG #approach #domain-specific language #implementation #protocol #stack
A Domain-Specific Language Approach to Protocol Stack Implementation (YW, VG), pp. 183–185.
POPLPOPL-2010-Chlipala #compilation #functional
A verified compiler for an impure functional language (AC), pp. 93–106.
POPLPOPL-2010-WrigstadNLOV #scripting language
Integrating typed and untyped code in a scripting language (TW, FZN, SL, , JV), pp. 377–388.
RERE-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.
RERE-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.
RERE-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.
REFSQREFSQ-2010-BruijnD #ambiguity #case study #natural language #requirements
Ambiguity in Natural Language Software Requirements: A Case Study (FdB, HLD), pp. 233–247.
SACSAC-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.
SACSAC-2010-FahndrichBL #contract #embedded
Embedded contract languages (MF, MB, FL), pp. 2103–2110.
SACSAC-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.
SACSAC-2010-KrajcaV #functional #memory management #parallel #transaction
Software transactional memory for implicitly parallel functional language (PK, VV), pp. 2123–2130.
SACSAC-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.
SACSAC-2010-MatteucciPS #named #natural language
CNL4DSA: a controlled natural language for data sharing agreements (IM, MP, MLS), pp. 616–620.
SACSAC-2010-MissenBC #detection #using
Using passage-based language model for opinion detection in blogs (MMSM, MB, GC), pp. 1821–1822.
SACSAC-2010-ReisS #constant #programming language
General constant expressions for system programming languages (GDR, BS), pp. 2131–2136.
SACSAC-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.
FSEFSE-2010-WuLWXLLGGZZ #data flow
Language-based replay via data flow cut (MW, FL, XW, ZX, HL, XL, ZG, HG, LZ, ZZ), pp. 197–206.
ICSEICSE-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.
ICSEICSE-2010-Badreddin #named #programming language
Umple: a model-oriented programming language (OBB), pp. 337–338.
ICSEICSE-2010-Malavolta #architecture #generative
Providing support for creating next generation software architecture languages (IM), pp. 517–518.
ICSEICSE-2010-WurschGRG #developer #natural language #query
Supporting developers with natural language queries (MW, GG, GR, HG), pp. 165–174.
ICSEICSE-2010-ZhongTXZW #api #migration #mining
Mining API mapping for language migration (HZ, ST, TX, LZ, QW), pp. 195–204.
LDTALDTA-2009-AndersenB10 #algebra
Syntactic Language Extension via an Algebra of Languages and Transformations (JA, CB), pp. 19–35.
LDTALDTA-2009-ClarkT10 #formal method
Formalizing Homogeneous Language Embeddings (TC, LT), pp. 75–88.
LDTALDTA-2009-EngelenB10 #modelling #visual notation
Integrating Textual and Graphical Modelling Languages (LE, MvdB), pp. 105–120.
LDTALDTA-2009-KatsKV10 #composition #domain-specific language #editing #plugin
Domain-Specific Languages for Composable Editor Plugins (LCLK, KTK, EV), pp. 149–163.
LDTALDTA-2010-Bagge #implementation
Language description for front end implementation (AHB), p. 9.
LDTALDTA-2010-BrandMSH #case study #domain-specific language #experience
Formally specified type checkers for domain specific languages: experience report (MvdB, APvdM, AS, ATH), p. 12.
LDTALDTA-2010-Giavitto #domain-specific language #simulation
A domain specific language for complex natural and artificial systems simulations (JLG), p. 1.
LDTALDTA-2010-JansenPKA #functional #workflow
Embedding a web-based workflow management system in a functional language (JMJ, RP, PWMK, PA), p. 7.
LDTALDTA-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.
SLESLE-2010-AtkinsonKG #modelling
The Level-Agnostic Modeling Language (CA, BK, BG), pp. 266–275.
SLESLE-2010-BarrocaLAFS #model transformation #named
DSLTrans: A Turing Incomplete Transformation Language (BB, LL, VA, RF, VS), pp. 296–305.
SLESLE-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.
SLESLE-2010-CicchettiREP #bidirectional #model transformation #named
JTL: A Bidirectional and Change Propagating Transformation Language (AC, DDR, RE, AP), pp. 183–202.
SLESLE-2010-Erwig #research #variability
A Language for Software Variation Research (ME), p. 1.
SLESLE-2010-FavreGLP #analysis #empirical
Empirical Language Analysis in Software Linguistics (JMF, DG, RL, EP), pp. 316–326.
SLESLE-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.
SLESLE-2010-ZaytsevL #documentation
A Unified Format for Language Documents (VZ, RL), pp. 206–225.
ASPLOSASPLOS-2010-HarrisTCU #architecture #multi #runtime
Dynamic filtering: multi-purpose architecture support for language runtime systems (TH, ST, AC, OSÜ), pp. 39–52.
CCCC-2010-IuCZ #database #imperative #named #query
JReq: Database Queries in Imperative Languages (MYI, EC, WZ), pp. 84–103.
CGOCGO-2010-WilliamsMG #scripting language
Dynamic interpretation for dynamic scripting languages (KW, JM, DG), pp. 278–287.
ISMMISMM-2010-AlbertGG #garbage collection #memory management #parametricity #requirements
Parametric inference of memory requirements for garbage collected languages (EA, SG, MGZ), pp. 121–130.
ICLPICLP-2010-Demeyer10 #concurrent #declarative #program analysis #programming
Program Analysis to Support Concurrent Programming in Declarative Languages (RD), pp. 248–254.
ICLPICLP-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.
ICLPICLP-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.
ICSTICST-2010-SinhaSP #automation #case study #named #natural language
Text2Test: Automated Inspection of Natural Language Use Cases (AS, SMSJ, AMP), pp. 155–164.
LICSLICS-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.
LICSLICS-2010-Laird #game studies #polymorphism #programming language #semantics
Game Semantics for a Polymorphic Programming Language (JL), pp. 41–49.
WICSA-ECSAWICSA-ECSA-2009-Weyns #multi #pattern matching
A pattern language for multi-agent systems (DW), pp. 191–200.
ASEASE-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.
ASEASE-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.
ASEASE-2009-Wright #interactive #modelling #web
A Modelling Language for Interactive Web Applications (JMW), pp. 689–692.
ASEASE-2009-ZhongZXM #api #documentation #natural language #specification
Inferring Resource Specifications from Natural Language API Documentation (HZ, LZ, TX, HM), pp. 307–318.
DATEDATE-2009-BraunesS #generative
Generating the trace qualification configuration for MCDS from a high level language (JB, RGS), pp. 1560–1563.
DocEngDocEng-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.
DocEngDocEng-2009-RijsselbergenKVMW
Movie script markup language (DVR, BVDK, MV, EM, RVdW), pp. 161–170.
DocEngDocEng-2009-SoaresMS #declarative #hypermedia #imperative
Relating declarative hypermedia objects and imperative objects through the NCL glue language (LFGS, MFM, FS), pp. 222–230.
ICDARICDAR-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.
ICDARICDAR-2009-WangJW #identification #performance
High Performance Chinese/English Mixed OCR with Character Level Language Identification (KW, JJ, QW), pp. 406–410.
ICDARICDAR-2009-WangYL #recognition
Integrating Language Model in Handwritten Chinese Text Recognition (QFW, FY, CLL), pp. 1036–1040.
ICDARICDAR-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2009-IsardY #distributed #programming language #using
Distributed data-parallel computing using a high-level programming language (MI, YY), pp. 987–994.
ITiCSEITiCSE-2009-Almeida-MartinezUV #education #named #visualisation
VAST: a visualization-based educational tool for language processors courses (FJAM, JUF, JÁVI), p. 342.
ITiCSEITiCSE-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.
ESOPESOP-2009-BuscemiM #distributed #process
Abstract Processes in Orchestration Languages (MGB, HCM), pp. 301–315.
ESOPESOP-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.
ESOPESOP-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.
ESOPESOP-2009-Reynolds #category theory #design #programming language #using
Using Category Theory to Design Programming Languages (JCR), pp. 62–63.
FoSSaCSFoSSaCS-2009-AlurDMW #on the
On ω-Languages Defined by Mean-Payoff Conditions (RA, AD, OM, GW), pp. 333–347.
ICPCICPC-J-2008-VidacsBG09 #c #c++ #preprocessor #slicing
Combining preprocessor slicing with C/C++ language slicing (LV, ÁB, TG), pp. 399–413.
CSMRCSMR-2009-LuciaDGR #behaviour #identification #parsing #visual notation
Behavioral Pattern Identification through Visual Language Parsing and Code Instrumentation (ADL, VD, CG, MR), pp. 99–108.
ICPCICPC-2009-ForwardLB #analysis #comprehension
Improving program comprehension by enhancing program constructs: An analysis of the Umple language (AF, TCL, DB), pp. 311–312.
ICPCICPC-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.
ICSMEICSM-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.
SCAMSCAM-2009-AlikacemS #framework #metric
A Metric Extraction Framework Based on a High-Level Description Language (EHA, HAS), pp. 159–167.
SCAMSCAM-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.
SCAMSCAM-2009-LammelZ #grammar recovery #java #specification
Recovering Grammar Relationships for the Java Language Specification (RL, VZ), pp. 178–186.
WCREWCRE-1999-FerzundAW99a #debugging
Bug-Inducing Language Constructs (JF, SNA, FW), pp. 155–159.
PLDIPLDI-2009-AnselCWOZEA #algorithm #compilation #named
PetaBricks: a language and compiler for algorithmic choice (JA, CPC, YLW, MO, QZ, AE, SPA), pp. 38–49.
PLDIPLDI-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.
PLDIPLDI-2009-HammerAC #named #self
CEAL: a C-based language for self-adjusting computation (MAH, UAA, YC), pp. 25–37.
PLDIPLDI-2009-HooimeijerW #constraints #regular expression #set
A decision procedure for subset constraints over regular languages (PH, WW), pp. 188–198.
PLDIPLDI-2009-ZeeKR #imperative #proving #source code
An integrated proof language for imperative programs (KZ, VK, MCR), pp. 338–351.
CIAACIAA-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.
CIAACIAA-J-2008-DixonES09 #analysis
Analysis of Bit-Split Languages for Packet Scanning and Experiments with Wildcard Matching (RD, ÖE, TS), pp. 597–612.
CIAACIAA-J-2008-Pighizzini09 #automaton
Deterministic Pushdown Automata and Unary Languages (GP), pp. 629–645.
CIAACIAA-2009-VuilleminG #automaton #normalisation #regular expression
Compact Normal Form for Regular Languages as Xor Automata (JV, NG), pp. 24–33.
DLTDLT-2009-BehleKR #quantifier #regular expression
Regular Languages Definable by Majority Quantifiers with Two Variables (CB, AK, SR), pp. 91–102.
DLTDLT-2009-BertoniCR #context-free grammar #problem
The Inclusion Problem of Context-Free Languages: Some Tractable Cases (AB, CC, RR), pp. 103–112.
DLTDLT-2009-BrzozowskiGS #formal method #theorem
Closures in Formal Languages and Kuratowski’s Theorem (JAB, EG, JS), pp. 125–144.
DLTDLT-2009-Egecioglu #approximate #context-free grammar
Strongly Regular Grammars and Regular Approximation of Context-Free Languages (ÖE), pp. 207–220.
DLTDLT-2009-Fazekas #regular expression
Powers of Regular Languages (SZF), pp. 221–227.
DLTDLT-2009-JeandelT #logic
Subshifts, Languages and Logic (EJ, GT), pp. 288–299.
DLTDLT-2009-Kanazawa #context-free grammar #multi
The Pumping Lemma for Well-Nested Multiple Context-Free Languages (MK), pp. 312–325.
DLTDLT-2009-Shur #bound
Two-Sided Bounds for the Growth Rates of Power-Free Languages (AMS), pp. 466–477.
DLTDLT-2009-Zetzsche #matrix #petri net
Erasing in Petri Net Languages and Matrix Grammars (GZ), pp. 490–501.
ICALPICALP-v2-2009-BrancoP #equation #polynomial #regular expression
Equations Defining the Polynomial Closure of a Lattice of Regular Languages (MJJB, JÉP), pp. 115–126.
ICALPICALP-v2-2009-PlaceS #decidability
A Decidable Characterization of Locally Testable Tree Languages (TP, LS), pp. 285–296.
LATALATA-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.
LATALATA-2009-AfoninG #regular expression
Minimal Union-Free Decompositions of Regular Languages (SA, DG), pp. 83–92.
LATALATA-2009-Akama #commutative #learning
Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory (YA), pp. 93–104.
LATALATA-2009-BonizzoniFMM
Picture Languages Generated by Assembling Tiles (PB, CF, ARSM, GM), pp. 224–235.
LATALATA-2009-BordihnHK #problem #subclass
Undecidability of Operation Problems for T0L Languages and Subclasses (HB, MH, MK), pp. 236–246.
LATALATA-2009-BrzozowskiSX #problem
Decision Problems for Convex Languages (JAB, JS, ZX), pp. 247–258.
LATALATA-2009-Courcelle #algorithm #graph #higher-order #logic #monad
Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications (BC), pp. 19–22.
LATALATA-2009-HanSY #complexity #regular expression
State Complexity of Combined Operations for Prefix-Free Regular Languages (YSH, KS, SY), pp. 398–409.
LATALATA-2009-NakamuraHT #predict
Prediction of Creole Emergence in Spatial Language Dynamics (MN, TH, ST), pp. 614–625.
LATALATA-2009-Onodera #locality #using
New Morphic Characterizations of Languages in Chomsky Hierarchy Using Insertion and Locality (KO), pp. 648–659.
LATALATA-2009-Strassburger #theorem
A Kleene Theorem for Forest Languages (LS), pp. 715–727.
FMFM-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.
CEFPCEFP-2009-FluetBFRRSX #functional #parallel #programming
Programming in Manticore, a Heterogenous Parallel Functional Language (MF, LB, NF, MR, JHR, AS, YX), pp. 94–145.
ICFPICFP-2009-Pierce #education #programming language #proving #using
λ, the ultimate TA: using a proof assistant to teach programming language foundations (BCP), pp. 121–122.
ICFPICFP-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.
CHICHI-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.
CHICHI-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.
HCIHCD-2009-AnandBCD #case study #interface
Tailoring Interface for Spanish Language: A Case Study with CHICA System (VA, PGB, AEC, SMD), pp. 398–407.
HCIHCI-NIMT-2009-PedroRBBA #domain-specific language #syntax #visual notation
Composing Visual Syntax for Domain Specific Languages (LP, MR, DB, BB, VA), pp. 889–898.
HCIHCI-NIMT-2009-TamadaOU #c #education
Robot Helps Teachers for Education of the C Language Beginners (HT, AO, HU), pp. 377–384.
HCIHCI-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.
HCIHIMI-II-2009-YangL #empirical #web
An Empirical Study the Effects of Language Factors on Web Site Use Intention (HJY, YLL), pp. 94–102.
HCIIDGD-2009-BoseS #hypermedia
The Use of Hypertext as a Vocabulary Acquisition Strategy for English as Second Language Learners (DB, DS), pp. 147–155.
HCIIDGD-2009-PetriePS #locality #navigation
Internationalization and Localization of Websites: Navigation in English Language and Chinese Language Sites (HP, CP, WS), pp. 293–300.
AdaEuropeAdaEurope-2009-ZoviV #programming language #requirements
Requirements on the Target Programming Language for High-Integrity MDE (AZ, TV), pp. 1–15.
AdaSIGAda-2009-Brosgol #c# #dot-net #framework
An introduction to the C# language and .NET infrastructure (BB), pp. 3–4.
AdaSIGAda-2009-Jennings #named #re-engineering #tool support
SPARK: the libre language and toolset for high-assurance software engineering (TJ), pp. 9–10.
AdaSIGAda-2009-Ochem #ada #multi #programming
Multi-language programming with Ada (QO), pp. 19–20.
AdaSIGAda-2009-TardieuP #ada #programming language
Complementing Ada with other programming languages (ST, AP), pp. 105–114.
CAiSECAiSE-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.
EDOCEDOC-2009-GovernatoriI #modelling #network #policy #reasoning #social
Modelling and Reasoning Languages for Social Networks Policies (GG, RI), pp. 193–200.
EDOCEDOC-2009-MilanovicG #modelling #process #towards
Towards a Language for Rule-Enhanced Business Process Modeling (MM, DG), pp. 64–73.
EDOCEDOC-2009-QuartelEJS #architecture #enterprise #modelling #requirements
A Goal-Oriented Requirements Modelling Language for Enterprise Architecture (DACQ, WE, HJ, MvS), pp. 3–13.
ICEISICEIS-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.
ICEISICEIS-DISI-2009-NunesAAS #domain-specific language #framework
A Domain Specific Language for the I* Framework (CN, JA, VA, CTLLS), pp. 158–163.
CIKMCIKM-2009-CaoCCJZ #categorisation #modelling #retrieval
The use of categorization information in language models for question retrieval (XC, GC, BC, CSJ, CZ), pp. 265–274.
CIKMCIKM-2009-DriesNR #network #query
A query language for analyzing networks (AD, SN, LDR), pp. 485–494.
CIKMCIKM-2009-ElbassuoniRSSW #query #ranking
Language-model-based ranking for queries on RDF-graphs (SE, MR, RS, MS, GW), pp. 977–986.
CIKMCIKM-2009-HuangSN #documentation #graph #word
Smoothing document language model with local word graph (YH, LS, JYN), pp. 1943–1946.
CIKMCIKM-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.
CIKMCIKM-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.
CIKMCIKM-2009-PuH #clustering #feedback #pseudo #semantics #using
Pseudo relevance feedback using semantic clustering in relevance language model (QP, DH), pp. 1931–1934.
CIKMCIKM-2009-Shi #adaptation #information retrieval #mining #web
Adaptive web mining of bilingual lexicons for cross language information retrieval (LS), pp. 1561–1564.
ECIRECIR-2009-MaisonnasseGC #concept #modelling
Model Fusion in Conceptual Language Modeling (LM, ÉG, JPC), pp. 240–251.
ECIRECIR-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.
ICMLICML-2009-MartinsSX #approximate #natural language #parsing
Polyhedral outer approximations with application to natural language parsing (AFTM, NAS, EPX), pp. 713–720.
ICMLICML-2009-Smith #natural language #predict #summary #tutorial
Tutorial summary: Structured prediction for natural language processing (NAS), p. 20.
KDIRKDIR-2009-EnguixDJ #mining #natural language
DNA and Natural Languages — Text Mining (GBE, VD, MDJL), pp. 140–145.
KDIRKDIR-2009-GoyalBM #query #using
Entailment of Causal Queries in Narratives using Action Language (PG, LB, TMM), pp. 112–118.
KDIRKDIR-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.
KDIRKDIR-2009-SchmidtGG #information management
Language Technology for Information Systems (PS, MG, GG), pp. 259–262.
MLDMMLDM-2009-MendesA #approach #mining #natural language
Pattern Mining with Natural Language Processing: An Exploratory Approach (ACM, CA), pp. 266–279.
SEKESEKE-2009-Al-SharifJ09a #debugging
Language Support for Event-based Debugging (ZAS, CLJ), pp. 392–399.
SEKESEKE-2009-CachiaM #development #lifecycle #modelling
A Language for Modeling Software Development Life Cycles (EC, MM), pp. 499–504.
SEKESEKE-2009-KornerB #natural language #ontology #specification
Improving Natural Language Specifications with Ontologies (SJK, TB), pp. 552–557.
SEKESEKE-2009-SarkarCCB #concept #graph #multi #specification
Object Specification Language for Graph Based Conceptual level Multidimensional Data Model (AS, SC, NC, SB), pp. 694–607.
SEKESEKE-2009-TorresGP #java #modelling #persistent
MD-JPA Profile: A Model Driven Language for Java Persistence (AT, RdMG, MSP), pp. 727–732.
SIGIRSIGIR-2009-LvZ #information retrieval #modelling
Positional language models for information retrieval (YL, CZ), pp. 299–306.
SIGIRSIGIR-2009-McCarley
Cross language name matching (JSM), pp. 660–661.
SIGIRSIGIR-2009-McNameeNM
Addressing morphological variation in alphabetic languages (PM, CKN, JM), pp. 75–82.
SIGIRSIGIR-2009-ParaparLB #documentation #modelling
Compression-based document length prior for language models (JP, DEL, AB), pp. 652–653.
SIGIRSIGIR-2009-Schanda #detection
Novelty detection across different source types and languages (JS), p. 854.
SIGIRSIGIR-2009-ShaparenkoJ #documentation #identification #modelling
Identifying the original contribution of a document via language modeling (BS, TJ), pp. 696–697.
SIGIRSIGIR-2009-ZhaoY #information retrieval #proximity
A proximity language model for information retrieval (JZ, YY), pp. 291–298.
ECMFAECMDA-FA-2009-ChenM #consistency #guidelines #uml
A Language-Theoretic View on Guidelines and Consistency Rules of UML (ZC, GM), pp. 66–81.
ECMFAECMDA-FA-2009-GronmoMO #comparison #model transformation
Comparison of Three Model Transformation Languages (RG, BMP, GKO), pp. 2–17.
ECMFAECMDA-FA-2009-IzquierdoM #domain-specific language #legacy #modelling
A Domain Specific Language for Extracting Models in Software Modernization (JLCI, JGM), pp. 82–97.
ECMFAECMDA-FA-2009-Kolovos #comparison #modelling
Establishing Correspondences between Models with the Epsilon Comparison Language (DSK), pp. 146–157.
ICMTICMT-2009-CuadradoJMB #navigation
Experiments with a High-Level Navigation Language (JSC, FJ, JGM, JB), pp. 229–238.
ICMTICMT-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.
MODELSMoDELS-2009-CengarleGR #modelling #variability
Variability within Modeling Language Definitions (MVC, HG, BR), pp. 670–684.
MODELSMoDELS-2009-Chimiak-Opoka #constraints #ocl
OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.
MODELSMoDELS-2009-EsfahaniMSGM #composition #modelling
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems (NE, SM, JPS, HG, DAM), pp. 591–605.
MODELSMoDELS-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.
MODELSMoDELS-2009-GerthKE #independence #modelling #process
Language-Independent Change Management of Process Models (CG, JMK, GE), pp. 152–166.
MODELSMoDELS-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.
MODELSMoDELS-2009-JohannesZFCKP #composition
Abstracting Complex Languages through Transformation and Composition (JJ, SZ, MAF, AC, DSK, RFP), pp. 546–550.
MODELSMoDELS-2009-KleinerAB #parsing
Parsing SBVR-Based Controlled Languages (MK, PA, JB), pp. 122–136.
MODELSMoDELS-2009-MilanovicGWH #modelling #process
Rule-Enhanced Business Process Modeling Language for Service Choreographies (MM, DG, GW, MH), pp. 337–341.
MODELSMoDELS-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.
MODELSMoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing
Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
MODELSMoDELS-2009-WalterPS #domain-specific language #framework #named #ontology
OntoDSL: An Ontology-Based Framework for Domain-Specific Languages (TW, FSP, SS), pp. 408–422.
MODELSMoDELS-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.
MODELSMoDELS-2009-CengarleGR #modelling #variability
Variability within Modeling Language Definitions (MVC, HG, BR), pp. 670–684.
MODELSMoDELS-2009-Chimiak-Opoka #constraints #ocl
OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.
MODELSMoDELS-2009-EsfahaniMSGM #composition #modelling
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems (NE, SM, JPS, HG, DAM), pp. 591–605.
MODELSMoDELS-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.
MODELSMoDELS-2009-GerthKE #independence #modelling #process
Language-Independent Change Management of Process Models (CG, JMK, GE), pp. 152–166.
MODELSMoDELS-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.
MODELSMoDELS-2009-JohannesZFCKP #composition
Abstracting Complex Languages through Transformation and Composition (JJ, SZ, MAF, AC, DSK, RFP), pp. 546–550.
MODELSMoDELS-2009-KleinerAB #parsing
Parsing SBVR-Based Controlled Languages (MK, PA, JB), pp. 122–136.
MODELSMoDELS-2009-MilanovicGWH #modelling #process
Rule-Enhanced Business Process Modeling Language for Service Choreographies (MM, DG, GW, MH), pp. 337–341.
MODELSMoDELS-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.
MODELSMoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing
Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
MODELSMoDELS-2009-WalterPS #domain-specific language #framework #named #ontology
OntoDSL: An Ontology-Based Framework for Domain-Specific Languages (TW, FSP, SS), pp. 408–422.
MODELSMoDELS-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.
ECOOPECOOP-2009-AnconaL #induction #object-oriented #type system
Coinductive Type Systems for Object-Oriented Languages (DA, GL), pp. 2–26.
OOPSLAOOPSLA-2009-BaniassadM
An exploration of program as language (ELAB, CGM), pp. 547–556.
OOPSLAOOPSLA-2009-CharlesFSDV #eclipse #ide
Accelerating the creation of customized, language-Specific IDEs in Eclipse (PC, RMF, SMSJ, ED, JJV), pp. 191–206.
OOPSLAOOPSLA-2009-FurrAF #scripting language #static typing #type system
Profile-guided static typing for dynamic scripting languages (MF, Jh(A, JSF), pp. 283–300.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2009-KnollM #named #pattern matching
pi: a pattern language (RK, MM), pp. 503–522.
OOPSLAOOPSLA-2009-MeyerovichGBCGBK #ajax #named #programming language
Flapjax: a programming language for Ajax applications (LAM, AG, JPB, GHC, MG, AB, SK), pp. 1–20.
OOPSLAOOPSLA-2009-OverbeyJ #programming language #refactoring #tool support
Regrowing a language: refactoring tools allow programming languages to evolve (JLO, REJ), pp. 493–502.
TOOLSTOOLS-EUROPE-2009-BebenitaCGF #compilation #object-oriented
Stream-Based Dynamic Compilation for Object-Oriented Languages (MB, MC, AG, MF), pp. 77–95.
TOOLSTOOLS-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.
TOOLSTOOLS-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.
TOOLSTOOLS-EUROPE-2009-KloseO #aspect-oriented #classification #framework #monitoring #runtime
A Classification Framework for Pointcut Languages in Runtime Monitoring (KK, KO), pp. 289–307.
TOOLSTOOLS-EUROPE-2009-RutleRLW #diagrams #formal method #modelling
A Diagrammatic Formalisation of MOF-Based Modelling Languages (AR, AR, YL, UW), pp. 37–56.
TOOLSTOOLS-EUROPE-2009-SadilekW #grammarware #semantics #using
Using Grammarware Languages to Define Operational Semantics of Modelled Languages (DAS, GW), pp. 348–356.
GPCEGPCE-2009-HeidenreichJSWB #generative
Generating safe template languages (FH, JJ, MS, CW, MB), pp. 99–108.
GPCEGPCE-2009-KongCY #parsing
Abstract parsing for two-staged languages with concatenation (SK, WC, KY), pp. 109–116.
GPCEGPCE-2009-LiuGS #framework #invariant
A language and framework for invariant-driven transformations (YAL, MG, SDS), pp. 55–64.
PPDPPPDP-2009-Tarau #data transformation #declarative #embedded #model transformation
An embedded declarative data transformation language (PT), pp. 171–182.
PPDPPPDP-2009-ZhuDFJMPW #ad hoc #distributed
Language support for processing distributed ad hoc data (KQZ, DSD, KF, LJ, YM, VSP, DW), pp. 243–254.
POPLPOPL-2009-Harris #memory management #transaction
Language constructs for transactional memory (TH), p. 1.
POPLPOPL-2009-JonssonN #call-by #higher-order #supercompilation
Positive supercompilation for a higher order call-by-value language (PAJ, JN), pp. 277–288.
POPLPOPL-2009-TozawaTOM #php
Copy-on-write in the PHP language (AT, MT, TO, YM), pp. 200–212.
RERE-2009-EsmaeilsabzaliDAN #modelling #semantics
Semantic Criteria for Choosing a Language for Big-Step Models (SE, NAD, JMA, JN), pp. 181–190.
RERE-2009-GhanavatiAP #analysis #evaluation
Compliance Analysis Based on a Goal-oriented Requirement Language Evaluation Methodology (SG, DA, LP), pp. 133–142.
RERE-2009-Weber-JahnkeO #fault #natural language #requirements
Finding Defects in Natural Language Confidentiality Requirements (JHWJ, AO), pp. 213–222.
SACSAC-2009-AmoR #named #query
CPref-SQL: a query language supporting conditional preferences (SdA, MRR), pp. 1573–1577.
SACSAC-2009-BiggarVG #compilation #scripting language
A practical solution for scripting language compilers (PB, EdV, DG), pp. 1916–1923.
SACSAC-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.
SACSAC-2009-KumarPV
A light-weight summarizer based on language model with relative entropy (CK, PP, VV), pp. 1752–1753.
SACSAC-2009-Mogensen #game studies #specification
Troll, a language for specifying dice-rolls (TÆM), pp. 1910–1915.
SACSAC-2009-SchippersHH #implementation
An implementation substrate for languages composing modularized crosscutting concerns (HS, MH, RH), pp. 1944–1951.
SACSAC-2009-SoaresRCB #declarative #xml
Variable handling in time-based XML declarative languages (LFGS, RFR, RC, SDJB), pp. 1821–1828.
GTTSEGTTSE-2009-GjosaeterP #compilation #education #metamodelling
Teaching Computer Language Handling — From Compiler Theory to Meta-modelling (TG, AP), pp. 446–460.
GTTSEGTTSE-2009-JezequelBF #modelling
Model Driven Language Engineering with Kermeta (JMJ, OB, FF), pp. 201–221.
GTTSEGTTSE-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.
GTTSEGTTSE-2009-Sloane #kiama #lightweight
Lightweight Language Processing in Kiama (AMS), pp. 408–425.
GTTSEGTTSE-2009-Zaytsev #convergence #framework
Language Convergence Infrastructure (VZ), pp. 481–497.
ICSEICSE-2009-ApelKL #automation #composition #independence #named
FEATUREHOUSE: Language-independent, automated software composition (SA, CK, CL), pp. 221–231.
SLESLE-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.
SLESLE-2009-Bagge
Yet Another Language Extension Scheme (AHB), pp. 123–132.
SLESLE-2009-HemelV #domain-specific language #framework #independence #named
PIL: A Platform Independent Language for Retargetable DSLs (ZH, EV), pp. 224–243.
SLESLE-2009-HerrmannsdoerferRW #evolution
Language Evolution in Practice: The History of GMF (MH, DR, GW), pp. 3–22.
SLESLE-2009-IrazabalP #data type #model transformation #modelling
Model Transformation Languages Relying on Models as ADTs (JI, CP), pp. 133–143.
SLESLE-2009-KalninaKCS #synthesis #visual notation
Graphical Template Language for Transformation Synthesis (EK, AK, EC, AS), pp. 244–253.
SLESLE-2009-LairdB #domain-specific language #evolution #towards
Towards Dynamic Evolution of Domain Specific Languages (PL, SB), pp. 144–153.
SLESLE-2009-RenggliDN
Language Boxes (LR, MD, ON), pp. 274–293.
SLESLE-2009-SpiewakZ #database #named #query #scala
ScalaQL: Language-Integrated Database Queries for Scala (DS, TZ), pp. 154–163.
SLESLE-2009-WendeTZ #approach #composition #towards
A Role-Based Approach towards Modular Language Engineering (CW, NT, SZ), pp. 254–273.
SLESLE-2009-ZschalerKDPR #metamodelling
Domain-Specific Metamodelling Languages for Software Language Engineering (SZ, DSK, ND, RFP, AR), pp. 334–353.
SLESLE-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.
SPLCSPLC-2009-Voelter #domain-specific language #product line #using
Using domain specific languages for product line engineering (MV), p. 329.
SPLCSPLC-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.
HPDCHPDC-2009-ZimaHCC
Model-guided autotuning of high-productivity languages for petascale computing (HPZ, MWH, CC, JC), pp. 151–166.
ISMMISMM-2009-AlbertGG #analysis #garbage collection
Live heap space analysis for languages with garbage collection (EA, SG, MGZ), pp. 129–138.
CSLCSL-2009-Bojanczyk #algebra
Algebra for Tree Languages (MB), p. 1.
CSLCSL-2009-GheerbrantC #linear
Craig Interpolation for Linear Temporal Languages (AG, BtC), pp. 287–301.
ICLPICLP-2009-Ashley-RollmanLGPC #independence #scalability
A Language for Large Ensembles of Independently Executing Nodes (MPAR, PL, SCG, PP, JC), pp. 265–280.
ICLPICLP-2009-BottalicoB #biology #constraints
Constraint Based Languages for Biological Reactions (MB, SB), pp. 561–562.
ICLPICLP-2009-CampliB #concurrent #constraints
Capturing Fair Computations on Concurrent Constraint Language (PC, SB), pp. 559–560.
ICLPICLP-2009-Inclezan #composition
Modular Action Language ALM (DI), pp. 542–543.
ICLPICLP-2009-Paolucci #natural language #research #summary #tool support
Research Summary: Intelligent Natural Language Processing Techniques and Tools (AP), pp. 536–537.
ICLPICLP-2009-Todorova #natural language #prolog #using
Answering Questions from Natural Language Using A-Prolog (YT), pp. 544–546.
LICSLICS-2009-ChatterjeeDH
Expressiveness and Closure Properties for Quantitative Languages (KC, LD, TAH), pp. 199–208.
ECSAECSA-2008-BernardoB #algebra #architecture #process
Non-synchronous Communications in Process Algebraic Architectural Description Languages (MB, EB), pp. 3–18.
ECSAECSA-2008-MohammadA #architecture #component #named
TADL — An Architecture Description Language for Trustworthy Component-Based Systems (MM, VSA), pp. 290–297.
ECSAECSA-2008-TerraV #architecture #constraints #dependence #towards
Towards a Dependency Constraint Language to Manage Software Architectures (RT, MTdOV), pp. 256–263.
WICSAWICSA-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.
ASEASE-2008-KollmannG #specification #static analysis #student
A Specification Language for Static Analysis of Student Exercises (CK, MG), pp. 355–358.
ASEASE-2008-MalavoltaMP #architecture #framework #named #tool support
DUALLY: A framework for Architectural Languages and Tools Interoperability (IM, HM, PP), pp. 483–484.
ASEASE-2008-UbayashiONYT #named #uml
AspectM: UML-Based Extensible AOM Language (NU, GO, KN, JY, TT), pp. 501–502.
DATEDATE-2008-SteinhorstH #model checking #specification #using
Model Checking of Analog Systems using an Analog Specification Language (SS, LH), pp. 324–329.
DocEngDocEng-2008-BlouinBL #named
Malan: a mapping language for the data manipulation (AB, OB, SL), pp. 66–75.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2008-OlstonRSKT
Pig latin: a not-so-foreign language for data processing (CO, BR, US, RK, AT), pp. 1099–1110.
VLDBVLDB-2008-BaykanHW #identification #web
Web page language identification based on URLs (EB, MRH, IW), pp. 176–187.
VLDBVLDB-2008-TerwilligerMB #query #sql #xml
Language-integrated querying of XML data in SQL server (JFT, SM, PAB), pp. 1396–1399.
ITiCSEITiCSE-2008-BarchinoMG #assessment
An interoperable assessment language proposal (RB, LdM, JMG), p. 357.
ITiCSEITiCSE-2008-SandersL #programming language #python #student
Students’ perceptions of python as a first programming language at wits (IDS, SL), p. 365.
ITiCSEITiCSE-2008-SierraCF #learning
An environment for supporting active learning in courses on language processing (JLS, AMFPC, AFV), pp. 128–132.
ESOPESOP-2008-Cheney #query #regular expression #type system #xml
Regular Expression Subtyping for XML Query and Update Languages (JC), pp. 32–47.
FASEFASE-2008-CamaraSC #composition #interpreter #named
Clint: A Composition Language Interpreter (Tool Paper) (JC, GS, CC), pp. 423–427.
FASEFASE-2008-DaviesBM #distributed #optimisation
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications (JJD, ARB, AM), pp. 407–422.
FASEFASE-2008-EhrigEEP #consistency #integration #modelling #visual notation
Consistent Integration of Models Based on Views of Visual Languages (HE, KE, CE, UP), pp. 62–76.
FoSSaCSFoSSaCS-2008-BarrasB #calculus #dependent type #programming language
The Implicit Calculus of Constructions as a Programming Language with Dependent Types (BB, BB), pp. 365–379.
TACASTACAS-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.
TACASTACAS-2008-LiS
Trusted Source Translation of a Total Function Language (GL, KS), pp. 471–485.
CSMRCSMR-2008-LajiosSV #metric
Supporting Language Conversion by Metric Based Reports (GL, DS, FV), pp. 314–316.
ICPCICPC-2008-VidacsJBG #c #c++ #preprocessor #slicing
Combining Preprocessor Slicing with C/C++ Language Slicing (LV, JJ, ÁB, TG), pp. 163–171.
WCREWCRE-2008-GeestVDV #domain-specific language #generative
Generating Version Convertors for Domain-Specific Languages (GdG, SV, AvD, EV), pp. 197–201.
WCREWCRE-2008-Muliawan #higher-order #model transformation #using
Extending a Model Transformation Language Using Higher Order Transformations (OM), pp. 315–318.
WCREWCRE-2008-Vermolen #evolution
Software Language Evolution (SV), pp. 323–326.
PEPMPEPM-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.
PEPMPEPM-2008-HageH #lazy evaluation
Heap recycling for lazy languages (JH, SH), pp. 189–197.
PEPMPEPM-2008-JancuraP #framework #ide #integration #programming language
Generic framework for integration of programming languages into netbeans ide (JJ, DP), pp. 123–124.
SASSAS-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.
SASSAS-2008-KiddLR #reduction
Language Strength Reduction (NK, AL, TWR), pp. 283–298.
FLOPSFLOPS-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.
DLTDLT-J-2007-HanS08 #complexity #finite
State Complexity of Union and Intersection of Finite Languages (YSH, KS), pp. 581–595.
DLTDLT-J-2007-Jez08 #boolean grammar
Conjunctive Grammars Generate Non-Regular Unary Languages (AJ), pp. 597–615.
DLTDLT-J-2007-Ravikumar08 #ambiguity #context-free grammar
The Benford-Newcomb Distribution and Unambiguous Context-Free Languages (BR), pp. 717–727.
DLTDLT-J-2007-Selivanov08
Fine Hierarchy of Regular Aperiodic ω-Languages (VLS), pp. 649–675.
AFLAFL-2008-AfoninK #regular expression
Semigroups of regular languages over a one letter alphabet are rational (SA, EK), pp. 61–73.
AFLAFL-2008-AngB
Continuous Languages (TA, JAB), pp. 74–85.
AFLAFL-2008-DassowT
Subregularly Tree Controlled Grammars and Languages (JD, BT), pp. 158–169.
AFLAFL-2008-GazdagN #theorem
A Kleene Theorem for Binoid Languages (ZG, ZLN), pp. 170–182.
AFLAFL-2008-KlimaP
Literally idempotent languages and their varieties — two letter case (OK, LP), pp. 220–231.
AFLAFL-2008-Szathmary #natural language
In silico Evolutionary Developmental Neurobiology and the Origin of Natural Language (Abstract) (ES), p. 353.
CIAACIAA-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.
CIAACIAA-2008-DixonES #analysis
Automata-Theoretic Analysis of Bit-Split Languages for Packet Scanning (RD, ÖE, TS), pp. 141–150.
CIAACIAA-2008-DolzhenkoJ #2d #complexity #on the #transducer
On Complexity of Two Dimensional Languages Generated by Transducers (ED, NJ), pp. 181–190.
CIAACIAA-2008-GarciaPAR #automaton #finite #learning #nondeterminism #regular expression #using
Learning Regular Languages Using Nondeterministic Finite Automata (PG, MVdP, GIA, JR), pp. 92–101.
CIAACIAA-2008-Pighizzini #automaton
Deterministic Pushdown Automata and Unary Languages (GP), pp. 232–241.
CIAACIAA-2008-Salomaa
Language Decompositions, Primality, and Trajectory-Based Operations (KS), pp. 17–22.
DLTDLT-2008-Ada #communication #complexity #nondeterminism #on the #regular expression
On the Non-deterministic Communication Complexity of Regular Languages (AA), pp. 96–107.
DLTDLT-2008-DAlessandroV #formal method
Well Quasi-orders in Formal Language Theory (FD, SV), pp. 84–95.
DLTDLT-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.
DLTDLT-2008-GeffertMP #automaton #regular expression #representation
More Concise Representation of Regular Languages by Automata and Regular Expressions (VG, CM, BP), pp. 359–370.
DLTDLT-2008-Jiraskova #complexity #on the #regular expression
On the State Complexity of Complements, Stars, and Reversals of Regular Languages (GJ), pp. 431–442.
DLTDLT-2008-KlimaP
Hierarchies of Piecewise Testable Languages (OK, LP), pp. 479–490.
DLTDLT-2008-SelivanovW #complexity
Complexity of Topological Properties of Regular ω-Languages (VLS, KWW), pp. 529–542.
ICALPICALP-A-2008-Courcelle #aspect-oriented #graph #higher-order #logic #monad
Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects (BC), pp. 1–13.
ICALPICALP-B-2008-BojanczykS #first-order #logic #quantifier
Tree Languages Defined in First-Order Logic with One Quantifier Alternation (MB, LS), pp. 233–245.
ICALPICALP-B-2008-GehrkeGP #equation #regular expression
Duality and Equational Theory of Regular Languages (MG, SG, JÉP), pp. 246–257.
ICALPICALP-B-2008-YokoyamaAG #theorem
Reversible Flowchart Languages and the Structured Reversible Program Theorem (TY, HBA, RG), pp. 258–270.
LATALATA-2008-Crespi-ReghizziP #set
Consensual Definition of Languages by Regular Sets (SCR, PSP), pp. 196–208.
LATALATA-2008-Domaratzki #formal method #tool support
Formal Language Tools for Template-Guided DNA Recombination (MD), pp. 3–5.
LATALATA-2008-KlimaP #morphism
Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups (OK, LP), pp. 299–310.
LATALATA-2008-Klunder #automaton #finite #using
Characterization of Star-Connected Languages Using Finite Automata (BK), pp. 311–320.
LATALATA-2008-OttoP #2d #taxonomy
A Two-Dimensional Taxonomy of Proper Languages of Lexicalized FRR-Automata (FO, MP), pp. 409–420.
LATALATA-2008-SalomaaSY
Length Codes, Products of Languages and Primality (AS, KS, SY), pp. 476–486.
FMFM-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.
FMFM-2008-MateescuT #concurrent #model checking
A Model Checking Language for Concurrent Value-Passing Systems (RM, DT), pp. 148–164.
SEFMSEFM-2008-DjokoDF #aspect-oriented
Specialized Aspect Languages Preserving Classes of Properties (SDD, RD, PF), pp. 227–236.
SFMSFM-2008-DemattePR #tutorial
The BlenX Language: A Tutorial (LD, CP, AR), pp. 313–365.
ICFPICFP-2008-Danvy #programming language
Defunctionalized interpreters for programming languages (OD), pp. 131–142.
ICFPICFP-2008-FluetRR #framework #parallel #scheduling
A scheduling framework for general-purpose parallel languages (MF, MR, JHR), pp. 241–252.
ICFPICFP-2008-JiaVMZZSZ #named #programming language
AURA: a programming language for authorization and audit (LJ, JAV, KM, JZ, LZ, JS, SZ), pp. 27–38.
IFLIFL-2008-GiorgidzeN #functional #haskell #hybrid #modelling
Embedding a Functional Hybrid Modelling Language in Haskell (GG, HN), pp. 138–155.
IFLIFL-2008-SvenssonSC #embedded #named #parallel #programming
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors (JS, MS, KC), pp. 156–173.
IFLIFL-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-VMTGT-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-VMTGT-VMT-2006-RensinkN08 #graph transformation #qvt #semantics
Graph Transformation Semantics for a QVT Language (AR, RN), pp. 51–62.
GT-VMTGT-VMT-2006-XuLW08 #reasoning #visual notation
BPSL Modeler — Visual Notation Language for Intuitive Business Property Reasoning (KX, YL, CW), pp. 211–220.
GT-VMTGT-VMT-2008-HassanMS #design #implementation #interactive #programming language
Interaction nets: programming language design and implementation (AH, IM, SS).
GT-VMTGT-VMT-2008-Weinell #graph #query #reduction
Extending Graph Query Languages by Reduction (EW).
ICGTICGT-2008-BrugginkK #graph #on the
On the Recognizability of Arrow and Graph Languages (HJSB, BK), pp. 336–350.
ICGTICGT-2008-Weinell #graph
Transformation-Based Operationalization of Graph Languages (EW), pp. 520–522.
CSCWCSCW-2008-GillFGO
The language of emotion in short blog texts (AJG, RMF, DG, JO), pp. 299–302.
SOFTVISSOFTVIS-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.
AdaSIGAda-2008-Brosgol #assessment #named #safety
MP1: languages for safety-critical software: issues and assessment (BMB), pp. 7–8.
AdaSIGAda-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.
AdaSIGAda-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.
AdaSIGAda-2008-SwardW #architecture #enterprise #multi #using
A multi-language service-oriented architecture using an enterprise service bus (RES, KJW), pp. 85–90.
CAiSECAiSE-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.
ICEISICEIS-DISI-2008-Favre
From Stone Age to Information Age: (Software) Languages through the Ages (JMF), p. 21.
ICEISICEIS-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.
ICEISICEIS-DISI-2008-PapastefanatosVSAPV #automation #database #evolution
Language Extensions for the Automation of Database Schema Evolution (GP, PV, AS, KA, FP, YV), pp. 74–81.
ICEISICEIS-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.
ICEISICEIS-ISAS2-2008-AmiratO #architecture #modelling #reasoning #representation
Representation and Reasoning Models for C3 Architecture Description Language (AA, MO), pp. 207–212.
CIKMCIKM-2008-BordognaCPR #clustering #documentation #web
A language for manipulating clustered web documents results (GB, AC, GP, SR), pp. 23–32.
CIKMCIKM-2008-Domingos #information management #logic #markov
Markov logic: a unifying language for knowledge and information management (PMD), p. 519.
CIKMCIKM-2008-HeW #feedback #information retrieval
Translation enhancement: a new relevance feedback method for cross-language information retrieval (DH, DW), pp. 729–738.
CIKMCIKM-2008-LinZ #novel #statistics
A novel statistical chinese language model and its application in pinyin-to-character conversion (BL, JZ), pp. 1433–1434.
CIKMCIKM-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.
CIKMCIKM-2008-NurmiLBFKP #natural language #retrieval
Natural language retrieval of grocery products (PN, EL, WLB, PF, JK, PP), pp. 1413–1414.
CIKMCIKM-2008-RogatiYC #corpus #information retrieval #optimisation
Corpus microsurgery: criteria optimization for medical cross-language ir (MR, YY, JGC), pp. 1365–1366.
CIKMCIKM-2008-ThomoV #automaton #integration #xml
Rewriting of visibly pushdown languages for xml data integration (AT, SV), pp. 521–530.
ECIRECIR-2008-BenderskyK #documentation #modelling #retrieval
Utilizing Passage-Based Language Models for Document Retrieval (MB, OK), pp. 162–174.
ECIRECIR-2008-BlancoB #documentation #modelling #probability
Probabilistic Document Length Priors for Language Models (RB, AB), pp. 394–405.
ECIRECIR-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.
ECIRECIR-2008-MarlowCRA #multi #web
Exploring the Effects of Language Skills on Multilingual Web Search (JM, PDC, JMCR, JA), pp. 126–137.
ECIRECIR-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.
ECIRECIR-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.
ECIRECIR-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.
ECIRECIR-2008-WiegandK #classification #modelling #optimisation
Optimizing Language Models for Polarity Classification (MW, DK), pp. 612–616.
ICMLICML-2008-ChenM #learning
Learning to sportscast: a test of grounded language acquisition (DLC, RJM), pp. 128–135.
ICMLICML-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.
ICPRICPR-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.
ICPRICPR-2008-MatsuoSS #automation #generative #recognition
Automatic generation of HMM topology for sign language recognition (TM, YS, NS), pp. 1–4.
ICPRICPR-2008-SaitohMK #analysis #performance
Analysis of efficient lip reading method for various languages (TS, KM, RK), pp. 1–4.
SEKESEKE-2008-EzenwoyeS #approach #reliability #web #web service
A Language-based Approach to Addressing Reliability in Composite Web Services (OE, SMS), pp. 649–654.
SEKESEKE-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.
SEKESEKE-2008-JinB #database #fuzzy #relational
A Fuzzy Trigger Language for Relational Database Systems (YJ, TB), pp. 367–370.
SEKESEKE-2008-KhwajaU #execution #modelling #named #specification
RealSpec: an Executable Specification Language for Modeling Resources (AAK, JEU), pp. 97–102.
SEKESEKE-2008-KraftBS #clone detection #detection
Cross-language Clone Detection (NAK, BWB, RKS), pp. 54–59.
SEKESEKE-2008-PatroneR #bound #logic #programming language
Sharing Application Logic Across Programming Language Boundaries (DSP, BR), pp. 227–231.
SEKESEKE-2008-QayyumO #architecture #dot-net
.NET Extensions to the p-architecture Description Languages (ZQ, FO), pp. 244–249.
SIGIRSIGIR-2008-BanchsK #information retrieval
Exploiting MDS Projections for Cross-language IR (REB, AK), pp. 863–864.
SIGIRSIGIR-2008-Diaz08a #feedback #modelling
Improving relevance feedback in language modeling with score regularization (FDD), pp. 807–808.
SIGIRSIGIR-2008-FortunaRPGM
Cross-lingual search over 22 european languages (BF, JR, BP, MG, DM), p. 883.
SIGIRSIGIR-2008-KapteinLHK #modelling #using #web
Using parsimonious language models on web data (RK, RL, DH, JK), pp. 763–764.
SIGIRSIGIR-2008-Kurland #approach #clustering #documentation #ranking
The opposite of smoothing: a language model approach to ranking query-specific document clusters (OK), pp. 171–178.
SIGIRSIGIR-2008-MeiZZ #framework #graph #modelling #optimisation
A general optimization framework for smoothing language models on graph structures (QM, DZ, CZ), pp. 611–618.
SIGIRSIGIR-2008-Murray #library #modelling #process
Extending language modeling techniques to models of search and browsing activity in a digital library (GCM), p. 900.
SIGIRSIGIR-2008-NaKKL #information retrieval #proximity
Exploiting proximity feature in bigram language model for information retrieval (SHN, JK, ISK, JHL), pp. 821–822.
SIGIRSIGIR-2008-Trieschnigg #information retrieval
Biomedical cross-language information retrieval (DT), p. 897.
SIGIRSIGIR-2008-TrieschniggMRK #concept #modelling #using
Measuring concept relatedness using language models (DT, EM, MdR, WK), pp. 823–824.
SIGIRSIGIR-2008-WuH #interactive #named
Ice-tea: an interactive cross-language search engine with translation enhancement (DW, DH), p. 882.
BXBX-2008-Axelsen
Languages Short Talk 2 (HBA), p. 2.
BXBX-2008-Axelsen1
Reversible Flowchart Languages (HA), p. 36.
BXBX-2008-Cunha
Languages and Applications Short Talk 6 (JC), p. 13.
BXBX-2008-Czarnecki1 #bidirectional #modelling
Bidirectional Transformations for Framework-Specific Modeling Languages (KC), p. 45.
BXBX-2008-Fisher
Languages and Applications Short Talk 5 (KF), p. 12.
BXBX-2008-Foster
Languages Short Talk 7 (NF), p. 7.
BXBX-2008-Glueck
Languages Short Talk 1 (RG), p. 1.
BXBX-2008-Glueck1 #programming language #tutorial
Reversible Programming Languages (tutorial) (RG), p. 35.
BXBX-2008-Hu
Languages Short Talk 6 (ZH), p. 6.
BXBX-2008-Kato
Languages and Applications Short Talk 7 (HK), p. 14.
BXBX-2008-Laemmel
Languages and Applications Short Talk 3 (RL), p. 10.
BXBX-2008-Lutterkort
Languages and Applications Short Talk 4 (DL), p. 11.
BXBX-2008-Matsuda
Languages Short Talk 3 (KM), p. 3.
BXBX-2008-Mu
Languages and Applications Short Talk 1 (SCM), p. 8.
BXBX-2008-Nakano
Languages Short Talk 4 (KN), p. 4.
BXBX-2008-Voigtlaender
Languages and Applications Short Talk 2 (JV), p. 9.
BXBX-2008-Wang
Languages Short Talk 5 (MW), p. 5.
ECMFAECMDA-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.
ECMFAECMDA-FA-2008-RosePKP #generative
The Epsilon Generation Language (LMR, RFP, DSK, FP), pp. 1–16.
ECMFAECMDA-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.
ICMTICMT-2008-KolovosPP #model transformation
The Epsilon Transformation Language (DSK, RFP, FP), pp. 46–60.
ICMTICMT-2008-Kurtev #model transformation
Application of Reflection in Model Transformation Languages (IK), pp. 199–213.
ICMTICMT-2008-Wagelaar #composition #model transformation #rule-based
Composition Techniques for Rule-Based Model Transformation Languages (DW), pp. 152–167.
MODELSMoDELS-2008-HemelVV #modelling #named #object-oriented #web #workflow
WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications (ZH, RV, EV), pp. 113–127.
MODELSMoDELS-2008-KelsenM #approach #lightweight #modelling #semantics
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
MODELSMoDELS-2008-VermolenV #co-evolution #evolution
Heterogeneous Coupled Evolution of Software Languages (SV, EV), pp. 630–644.
MODELSMoDELS-2008-ZamaniKB #enterprise #pattern matching #verification
A Pattern Language Verifier for Web-Based Enterprise Applications (BZ, SK, GB), pp. 553–567.
MODELSMoDELS-2008-HemelVV #modelling #named #object-oriented #web #workflow
WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications (ZH, RV, EV), pp. 113–127.
MODELSMoDELS-2008-KelsenM #approach #lightweight #modelling #semantics
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
MODELSMoDELS-2008-VermolenV #co-evolution #evolution
Heterogeneous Coupled Evolution of Software Languages (SV, EV), pp. 630–644.
MODELSMoDELS-2008-ZamaniKB #enterprise #pattern matching #verification
A Pattern Language Verifier for Web-Based Enterprise Applications (BZ, SK, GB), pp. 553–567.
ECOOPECOOP-2008-DemskyD #named #robust
Bristlecone: A Language for Robust Software Systems (BD, AD), pp. 490–515.
ECOOPECOOP-2008-Gray #inheritance
Safe Cross-Language Inheritance (KEG), pp. 52–75.
ECOOPECOOP-2008-HavingaBA #aspect-oriented #prototype
Prototyping and Composing Aspect Languages (WH, LB, MA), pp. 180–206.
ECOOPECOOP-2008-RajanL #named #quantifier
Ptolemy: A Language with Quantified, Typed Events (HR, GTL), pp. 155–179.
OOPSLAOOPSLA-2008-NystromSPG #object-oriented
Constrained types for object-oriented languages (NN, VAS, JP, CG), pp. 457–474.
OOPSLAOOPSLA-2008-SimpkinsBIM #adaptation #learning #programming language #towards
Towards adaptive programming: integrating reinforcement learning into a programming language (CS, SB, CLIJ, MM), pp. 603–614.
OOPSLAOOPSLA-2008-WillisPN #java #query
Caching and incrementalisation in the java query language (DW, DJP, JN), pp. 1–18.
TOOLSTOOLS-EUROPE-2008-BettiniBV #composition #java
Object Incompleteness and Dynamic Composition in Java-Like Languages (LB, VB, BV), pp. 198–217.
TOOLSTOOLS-EUROPE-2008-KrahnRV #composition #development #domain-specific language #named
MontiCore: Modular Development of Textual Domain Specific Languages (HK, BR, SV), pp. 297–315.
TOOLSTOOLS-EUROPE-2008-NielsenE #composition #optimisation #static typing
Optimizing Dynamic Class Composition in a Statically Typed Language (ABN, EE), pp. 161–177.
GPCEGPCE-2008-Batory #modelling #using
Using modern mathematics as an FOSD modeling language (DSB), pp. 35–44.
GPCEGPCE-2008-MercadalPCL #coordination #domain-specific language #named
Pantaxou: a domain-specific language for developing safe coordination services (JM, NP, CC, JLL), pp. 149–160.
PPDPPPDP-2008-MeraLCH #automaton #estimation #execution #towards
Towards execution time estimation in abstract machine-based languages (EM, PLG, MC, MVH), pp. 174–184.
PPDPPPDP-2008-PaoliniP #linear #programming language #semantics
Semantically linear programming languages (LP, MP), pp. 97–107.
SACSAC-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.
SACSAC-2008-BeckerRHST #xml
A generic XML language for characterising objects to support digital preservation (CB, AR, VH, JS, MT), pp. 402–406.
SACSAC-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.
SACSAC-2008-GomezKV
Aggregation languages for moving object and places of interest (LIG, BK, AAV), pp. 857–862.
SACSAC-2008-Mevius #modelling #novel #process
A novel modeling language for tool-based business process engineering (MvM), pp. 590–591.
SACSAC-2008-RebeloSLFC #aspectj #contract #implementation #java #modelling
Implementing Java modeling language contracts with AspectJ (HR, SS, RMFL, LF, MC), pp. 228–233.
SACSAC-2008-RossiT #execution #modelling #named #process
EPML: an executable process modeling language for process-aware applications (DR, ET), pp. 132–133.
SACSAC-2008-TeleckenML #specification #visual notation
Applying markup language resources in the specification of visual alphabets and visual sentences (TLT, EVM, JVdL), pp. 222–227.
FSEFSE-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.
ICSEICSE-2008-ReichertKSMH #analysis #network #protocol
A language for advanced protocol analysis in automotive networks (TR, EK, WS, AM, DH), pp. 593–602.
ICSEICSE-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.
ATEMATEM-J-2006-FavreGLW #named
Editorial — Software language engineering (JMF, DG, RL, AW), pp. 161–164.
ATEMATEM-J-2006-HeymansSTBMC #diagrams #feature model
Evaluating formal properties of feature diagram languages (PH, PYS, JCT, YB, RM, AC), pp. 281–302.
ATEMATEM-J-2006-LohmannRW #aspect-oriented #prolog
Aspect-oriented prolog in a language processing context (WL, GR, GW), pp. 241–259.
LDTALDTA-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.
LDTALDTA-2007-KallebergV08 #compilation #model transformation
Fusing a Transformation Language with an Open Compiler (KTK, EV), pp. 21–36.
LDTALDTA-2007-KlintKV08 #ide #parametricity
Language Parametric Module Management for IDEs (PK, ATK, JJV), pp. 3–19.
SLESLE-2008-BastenK #fact extraction #named #parametricity #source code
DeFacto: Language-Parametric Fact Extraction from Source Code (BB, PK), pp. 265–284.
SLESLE-2008-Brand #modelling
Model-Driven Engineering Meets Generic Language Technology (MvdB), pp. 8–15.
SLESLE-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.
SLESLE-2008-GjosaeterIP #case study #named
Sudoku — A Language Description Case Study (TG, IFI, AP), pp. 305–321.
SLESLE-2008-GorpKJ #higher-order #integration #model transformation
Transformation Language Integration Based on Profiles and Higher Order Transformations (PVG, AK, DJ), pp. 208–226.
SLESLE-2008-HageK #analysis #library #named
Neon: A Library for Language Usage Analysis (JH, PvK), pp. 35–53.
SLESLE-2008-Kleppe
The Field of Software Language Engineering (AK), pp. 1–7.
SLESLE-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.
SLESLE-2008-SanchezLFG #process #product line #specification
Engineering Languages for Specifying Product-Derivation Processes in Software Product Lines (PS, NL, LF, AG), pp. 188–207.
SPLCSPLC-2008-HaugenMOOS #domain-specific language #standard #variability
Adding Standardized Variability to Domain Specific Languages (ØH, BMP, JO, GKO, AS), pp. 139–148.
SPLCSPLC-2008-SantosKL #automation #domain-specific language #generative #modelling
Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications (ALS, KK, AL), pp. 149–158.
ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
CGOCGO-2008-MurphyMSSA #type safety
Fault-safe code motion for type-safe languages (BRM, VM, FTS, TS, ARAT), pp. 144–154.
LCTESLCTES-2008-BiernackiCHP #code generation #composition #data flow
Clock-directed modular code generation for synchronous data-flow languages (DB, JLC, GH, MP), pp. 121–130.
LCTESLCTES-2008-CohenK #named #regular expression
EventScript: an event-processing language based on regular expressions with actions (NHC, KTK), pp. 111–120.
OSDIOSDI-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.
PPoPPPPoPP-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.
CSLCSL-2008-ChatterjeeDH
Quantitative Languages (KC, LD, TAH), pp. 385–400.
CSLCSL-2008-ColcombetL #calculus #problem #μ-calculus
The Nesting-Depth of Disjunctive μ-Calculus for Tree Languages and the Limitedness Problem (TC, CL), pp. 416–430.
CSLCSL-2008-Place #logic
Characterization of Logics over Ranked Tree Languages (TP), pp. 401–415.
ICLPICLP-2008-BuccafurriCL #logic #reasoning #semantics #social
A Logic Language with Stable Model Semantics for Social Reasoning (FB, GC, RL), pp. 718–723.
ICLPICLP-2008-CiprianoDM #compilation #declarative #modelling
Compiling and Executing Declarative Modeling Languages to Gecode (RC, AD, JM), pp. 744–748.
ICLPICLP-2008-PiancastelliO #logic #multi #web
A Multi-theory Logic Language for the World Wide Web (GP, AO), pp. 769–773.
IJCARIJCAR-2008-BenzmullerRS #higher-order #logic #named
THF0 — The Core of the TPTP Language for Higher-Order Logic (CB, FR, GS), pp. 491–506.
LICSLICS-2008-BojanczykSS
Piecewise Testable Tree Languages (MB, LS, HS), pp. 442–451.
RTARTA-2008-JacquemardR
Closure of Hedge-Automata Languages by Hedge Rewriting (FJ, MR), pp. 157–171.
VMCAIVMCAI-2008-JonesH
CTL as an Intermediate Language (NDJ, RRH), p. 4.
VMCAIVMCAI-2008-Pistoia #program analysis #programming language #security
Program Analysis and Programming Languages for Security (MP), p. 7.
WICSAWICSA-2007-OliveiraW #approach #architecture #modelling
A Model-Driven Approach to Extract Views from an Architecture Description Language (CO, MW), p. 7.
ASEASE-2007-Alexander #design #named
Rosetta: language support for system-level design (PA), p. 577.
ASEASE-2007-CharlesFS #eclipse #framework #ide #named
IMP: a meta-tooling platform for creating language-specific ides in eclipse (PC, RMF, SMSJ), pp. 485–488.
ASEASE-2007-HoskingG #domain-specific language #implementation #tool support #visual notation
Meta tools for implementing domain specific visual languages (JGH, JCG), p. 576.
ASEASE-2007-Leavens #java #ml #modelling #tutorial
Tutorial on JML, the java modeling language (GTL), p. 573.
DACDAC-2007-BhattacharyaRS #process
Language Extensions to SystemC: Process Control Constructs (BB, JR, SS), pp. 35–38.
DACDAC-2007-GoldgeisserCD #hardware #modelling
Modeling Safe Operating Area in Hardware Description Languages (LBG, EC, ZD), pp. 377–382.
DATEDATE-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.
DocEngDocEng-2007-PuginI #semantics
Combination of transformation and schema languages described by a complete formal semantics (CP, RI), pp. 222–224.
DocEngDocEng-2007-ThompsonKS #declarative #xml
Declarative extensions of XML languages (SJT, PRK, PS), pp. 89–91.
HTHT-2007-ZhouGTB #automation #generative #hypermedia #modelling #named
LLAMA: automatic hypertext generation utilizing language models (DZ, JG, MT, TJB), pp. 77–80.
ICDARICDAR-2007-Furmaniak #segmentation #using
Unsupervised Newspaper Segmentation Using Language Context (RF), pp. 1263–1267.
ICDARICDAR-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.
ICDARICDAR-2007-LuLT #categorisation #identification
Identification of Latin-Based Languages through Character Stroke Categorization (SJL, LL, CLT), pp. 352–356.
ICDARICDAR-2007-NamboodiriNJ #on the #using
On Using Classical Poetry Structure for Indian Language Post-Processing (AMN, PJN, CVJ), pp. 1238–1242.
ICDARICDAR-2007-ProchassonVM #modelling
Language Models for Handwritten Short Message Services (EP, CVG, EM), pp. 83–87.
ICDARICDAR-2007-YoshidaN #approach #documentation #modelling #parsing #web
Web Document Parsing: A New Approach to Modeling Layout-Language Relations (MY, HN), pp. 203–207.
ICDARICDAR-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.
PODSPODS-2007-BadiaV #query
Non-linear prefixes in query languages (AB, SV), pp. 185–194.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
VLDBVLDB-2007-AntovaKO #query
Query language support for incomplete information in the MayBMS system (LA, CK, DO), pp. 1422–1425.
ITiCSEITiCSE-2007-Albin-Clark #implementation #multi #named #pseudo
MaBL: a tool for mapping pseudocode to multiple implementation languages (AAC), p. 315.
ITiCSEITiCSE-2007-RodgerLR #automaton #formal method #interactive
Increasing interaction and support in the formal languages and automata theory course (SHR, JL, SR), pp. 58–62.
WRLAWRLA-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.
WRLAWRLA-2006-FarzanM07 #partial order #programming language #reduction #semantics
Partial Order Reduction for Rewriting Semantics of Programming Languages (AF, JM), pp. 61–78.
WRLAWRLA-2006-HillsSR07 #framework #generative #performance
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters (MH, TS, GR), pp. 215–231.
ESOPESOP-2007-BuscemiM #constraints #named #specification
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements (MGB, UM), pp. 18–32.
ESOPESOP-2007-EnnalsG #multi
Multi-language Synchronization (RE, DG), pp. 475–489.
ESOPESOP-2007-HaackPSS #java
Immutable Objects for a Java-Like Language (CH, EP, JS, AS), pp. 347–362.
ESOPESOP-2007-MantelR #classification #security #what
Controlling the What and Where of Declassification in Language-Based Security (HM, AR), pp. 141–156.
ESOPESOP-2007-Pitts #equivalence #higher-order
Techniques for Contextual Equivalence in Higher-Order, Typed Languages (AMP), p. 1.
FASEFASE-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.
FASEFASE-2007-GaoHW #flexibility #modelling
Flexible and Extensible Notations for Modeling Languages (JG, MPEH, EVW), pp. 102–116.
FoSSaCSFoSSaCS-2007-TozawaM #complexity #context-free grammar
Complexity Results on Balanced Context-Free Languages (AT, YM), pp. 346–360.
PASTEPASTE-2007-PollockVSHFM #natural language #program analysis
Introducing natural language program analysis (LLP, KVS, DCS, EH, ZPF, KM), pp. 15–16.
PASTEPASTE-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.
WCREWCRE-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.
PEPMPEPM-2007-EllnerT #semantics #visual notation
The semantics of graphical languages (SE, WT), pp. 122–133.
PEPMPEPM-2007-FischerMM #named #programming
Tasks: language support for event-driven programming (JF, RM, TDM), pp. 134–143.
PEPMPEPM-2007-YokoyamaG #programming language #self
A reversible programming language and its invertible self-interpreter (TY, RG), pp. 144–153.
PLDIPLDI-2007-Chlipala #assembly #compilation #λ-calculus
A certified type-preserving compiler from λ calculus to assembly language (AC), pp. 54–65.
PLDIPLDI-2007-KillianABJV #distributed #named
Mace: language support for building distributed systems (CEK, JWA, RB, RJ, AV), pp. 179–188.
PLDIPLDI-2007-PerryMRLAW #assembly #fault tolerance
Fault-tolerant typed assembly language (FP, LWM, GAR, JL, DIA, DW), pp. 42–53.
SASSAS-2007-ChenWWKC #aspect-oriented #compilation #functional
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages (KC, SCW, MW, SCK, CHC), pp. 34–51.
SASSAS-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.
SASSAS-2007-Mycroft #analysis #design #evolution #hardware #motivation #programming language
Programming Language Design and Analysis Motivated by Hardware Evolution (AM), pp. 18–33.
CIAACIAA-J-2006-Glockler07 #automaton
Forgetting Automata and Unary Languages (JG), pp. 813–827.
CIAACIAA-2007-AckermanS #performance #regular expression
Efficient Enumeration of Regular Languages (MA, JS), pp. 226–242.
CIAACIAA-2007-AnselmoGM #2d #automaton
Tiling Automaton: A Computational Model for Recogn