Tag #in the large
33 papers:
- ICFP-2018-ElsmanHAO #functional #gpu #higher-order #programming
- Static interpretation of higher-order modules in Futhark: functional GPU programming in the large (ME, TH, DA, CEO), p. 30.
MoDELS-2017-Stevens #bidirectional- Bidirectional Transformations in the Large (PS), pp. 1–11.
ASE-2017-MeftahGRC #mobile #named #peer-to-peer #testing- ANDROFLEET: testing WiFi peer-to-peer mobile apps in the large (LM, MG0, RR, IC), pp. 961–966.
ECOOP-2015-Choi #internet #programming- Programming in the Large for the Internet of Things (JDC), p. 2.
ICSE-v2-2015-AnthonysamyR #privacy #re-engineering- Software Engineering for Privacy in-the-Large (PA, AR), pp. 947–948.
ICMT-2014-HermannGNEBMPEE #graph grammar- Triple Graph Grammars in the Large for Translating Satellite Procedures (FH, SG, NN, HE, BB, GM, AP, TE, CE), pp. 122–137.
ICST-2014-AraujoC #data flow #testing- Data-Flow Testing in the Large (RPAdA, MLC), pp. 81–90.
- ICSE-2012-HanDGZX #debugging #mining #performance #stack
- Performance debugging in the large via mining millions of stack traces (SH, YD, SG, DZ, TX), pp. 145–155.
GPCE-J-2005-SiekL11 #programming- A language for generic programming in the large (JGS, AL), pp. 423–465.
SCAM-2010-Zeller #learning #mining #modelling- Learning from 6,000 Projects: Mining Models in the Large (AZ), pp. 3–6.
GDCSE-2008-Whitehead #design #game studies- Introduction to game design in the large classroom (JW), pp. 61–65.
RE-2007-Finkelstein - Modelling-in-the-Large (AF).
ESEC-FSE-2007-KlarKS #model transformation- Model transformation in the large (FK, AK, AS), pp. 285–294.
- ICSE-2006-HackettDWY #composition
- Modular checking for buffer overflows in the large (BH, MD, DW, ZY), pp. 232–241.
CAV-2003-BoigelotLW #transducer- Iterating Transducers in the Large (BB, AL, PW), pp. 223–235.
CSEET-2001-CarringtonMJ - PSP SM in the Large Class (DAC, BM, DBJ), pp. 81–88.
IWPC-2000-Petre #empirical #how #question- Empirical Studies of Programming-in-the-Large: How? (MP), p. 254.
- GCSE-2000-LudwigH #metaprogramming
- Metaprogramming in the Large (AL, DH), pp. 178–187.
CAiSE-1999-VerhoefF #risk management- Risk Management for IT in the Large (DV, MF), pp. 57–72.
WPC-1997-Favre - Understanding-In-The-Large (JMF), pp. 29–38.
IFL-1997-DidrichGMP #algebra #programming- Programming in the Large: The Algebraic-Functional Language Opal 2α (KD, WG, CM, PP), pp. 322–337.
WCRE-1996-HoltP #named #visualisation- GASE: visualizing Software Evolution-in-the-Large (RCH, JYP), p. 163–?.
ISSTA-1996-MorascaMP #functional #generative #specification #testing- Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications (SM, AM, PSP), pp. 39–52.
VLDB-1994-RosenthalS #challenge #integration #reuse- Data Integration in the Large: The Challenge of Reuse (AR, LJS), pp. 669–675.
ICSM-1994-AmmannC - Inter-Module Renaming and Reorganizing: Examples of Program Manipulation-in-the-Large (MMA, RDC), pp. 354–361.
SEKE-1993-SingletonB #declarative- A Case for Declarative Programming-in-the-Large (PS, PB), pp. 360–362.
- RE-1993-Lefering #incremental #integration #programming #requirements
- An incremental integration tool between requirements engineering and programming in the large (ML), pp. 82–89.
- ICSE-1992-Tichy #named #past present future
- Programming-in-the-Large: Past, Present, and Future (WFT), pp. 362–367.
ESEC-1991-SneltingGS #programming- Inference-Based Support for Programming in the Large (GS, FJG, US), pp. 396–408.
- ICSE-1991-PurtiloLC #prototype
- A Methodology for Prototyping-in-the-Large (JMP, AL, JC), pp. 2–12.
CCPSD-1991-Krieg-BrucknerS #dependent type #higher-order #in the small #inheritance #specification- Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL (BKB, DS), pp. 313–336.
- ICSE-1988-MullerK #named
- Rigi — A System for Programming-in-the-Large (HAM, KK), pp. 80–87.
CCHSC-1988-Levy #type checking- Type Checking in the Large (MRL), pp. 137–145.
