Stem imper$ (all stems)

107 papers:

PEPM-2015-PoulsenMT #abstract interpretation #imperative #morphism #polymorphism

Imperative Polymorphism by Store-Based Types as Abstract Interpretations (CBP, PDM, PT), pp. 3–8.

PLDI-2015-ChuJT #automation #imperative #induction #proving #source code

Automatic induction proofs of data-structures in imperative programs (DHC, JJ, MTT), pp. 457–466.

ICFP-2015-NeisHKMDV #compilation #higher-order #imperative #named

Pilsner: a compositionally verified compiler for a higher-order imperative language (GN, CKH, JOK, CM, DD, VV), pp. 166–178.

ECMFA-2015-DiskinMC #category theory #imperative #model management #visual notation

A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical (ZD, TSEM, KC), pp. 154–170.

ICLP-J-2015-AngelisFPP #correctness #horn clause #imperative #proving #source code

Proving correctness of imperative programs by linearizing constrained Horn clauses (EDA, FF, AP, MP), pp. 635–650.

ICEIS-v3-2014-SilvaOAL #declarative #empirical #imperative #process

Declarative Versus Imperative Business Process Languages — A Controlled Experiment (NCS, CALdO, FALAA, RMFL), pp. 394–401.

OOPSLA-2014-RadoiFRS #imperative #pipes and filters

Translating imperative code to MapReduce (CR, SJF, RMR, MS), pp. 909–927.

PPDP-2014-DouenceT #imperative #programming

Lazier Imperative Programming (RD, NT), pp. 7–18.

POPL-2014-Birkedal #composition #concurrent #higher-order #imperative #reasoning #source code

Modular reasoning about concurrent higher-order imperative programs (LB), pp. 1–2.

SAS-2013-Komondoor #abstract interpretation #imperative #precise #slicing #source code

Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation (RK), pp. 259–282.

ESEC-FSE-2013-GyoriFDL #functional #imperative #programming #refactoring

Crossing the gap from imperative to functional programming through refactoring (AG, LF, DD, JL), pp. 543–553.

ICSE-2013-FranklinGLD #automation #functional #imperative #named #programming #refactoring

LAMBDAFICATOR: from imperative to functional programming through automated refactoring (LF, AG, JL, DD), pp. 1287–1290.

CAV-2013-BiondiLTW #imperative #named #security

QUAIL: A Quantitative Security Analyzer for Imperative Code (FB, AL, LMT, AW), pp. 702–707.

SAS-2012-CacheraJJK #imperative #invariant #polynomial #source code

Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases (DC, TPJ, AJ, FK), pp. 58–74.

SEFM-2012-NikolicPZ #imperative #modelling #rule-based #simulation

A Rule-Based and Imperative Language for Biochemical Modeling and Simulation (DN, CP, RZ), pp. 16–32.

SAC-2012-PriamiQZ #biology #graph #imperative #self

An imperative language of self-modifying graphs for biological systems (CP, PQ, RZ), pp. 1903–1909.

ICSE-2012-PankratiusSG #empirical #functional #imperative #java #manycore #programming #scala

Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and Java (VP, FS, GG), pp. 123–133.

CAV-2012-LahiriHKR #imperative #named #semantics #source code

SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs (SKL, CH, MK, HR), pp. 712–717.

SAS-2011-ZulegerGSV #abstraction #analysis #bound #imperative #source code

Bound Analysis of Imperative Programs with the Size-Change Abstraction (FZ, SG, MS, HV), pp. 280–297.

ICFP-2011-Chargueraud #imperative #source code #verification

Characteristic formulae for the verification of imperative programs (AC), pp. 418–430.

OOPSLA-2011-DemetrescuFR #constraints #data flow #imperative #programming

Reactive imperative programming with dataflow constraints (CD, IF, AR), pp. 407–426.

ICSE-2011-MilicevicRYJ #declarative #execution #imperative

Unifying execution of imperative and declarative code (AM, DR, KY, DJ), pp. 511–520.

CC-2011-Axelsen #imperative #programming language

Clean Translation of an Imperative Reversible Programming Language (HBA), pp. 144–163.

CADE-2011-WiesMK #data type #imperative #performance

An Efficient Decision Procedure for Imperative Tree Data Structures (TW, MM, VK), pp. 476–491.

LICS-2011-ChurchillLM #game studies #imperative #proving #semantics #source code

Imperative Programs as Proofs via Game Semantics (MC, JL, GM), pp. 65–74.

EDOC-2010-AmarLCN #aspect-oriented #imperative #programming #using

Using Aspect-Oriented Programming to Trace Imperative Transformations (BA, HL, BC, CN), pp. 143–152.

LOPSTR-2010-AlbertGRP #composition #generative #imperative #testing

Compositional CLP-Based Test Data Generation for Imperative Languages (EA, MGZ, JMR, GP), pp. 99–116.

CC-2010-IuCZ #database #imperative #named #query

JReq: Database Queries in Imperative Languages (MYI, EC, WZ), pp. 84–103.

ICLP-J-2010-Gomez-ZamalloaAP #generative #imperative #object-oriented #testing

Test case generation for object-oriented imperative languages in CLP (MGZ, EA, GP), pp. 659–674.

DATE-2009-VecchieTS #compilation #execution #imperative

Separate compilation and execution of imperative synchronous modules (EV, JPT, KS), pp. 1580–1583.

DocEng-2009-SoaresMS #declarative #hypermedia #imperative

Relating declarative hypermedia objects and imperative objects through the NCL glue language (LFGS, MFM, FS), pp. 222–230.

PLDI-2009-ZeeKR #imperative #proving #source code

An integrated proof language for imperative programs (KZ, VK, MCR), pp. 338–351.

ICFP-2009-ChlipalaMMSW #effectiveness #higher-order #imperative #interactive #proving #source code

Effective interactive proofs for higher-order imperative programs (AC, JGM, GM, AS, RW), pp. 79–90.

CADE-2009-FalkeK #analysis #approach #automation #imperative #source code #term rewriting #termination

A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs (SF, DK), pp. 277–293.

ICFP-2008-NanevskiMSGB #dependent type #imperative #named #source code

Ynot: dependent types for imperative programs (AN, GM, AS, PG, LB), pp. 229–240.

QAPL-2008-Smith #abstract interpretation #imperative #probability #source code #using

Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions (MJAS), pp. 43–59.

POPL-2008-AcarAB #imperative #self

Imperative self-adjusting computation (UAA, AA, MB), pp. 309–322.

TAP-2008-VelroyenR #imperative #source code

Non-termination Checking for Imperative Programs (HV, PR), pp. 154–170.

SIGAda-2007-Lau #imperative #reasoning #source code #using

Using SPARK for a beginner’s course on reasoning about imperative programs (KKL), pp. 75–78.

ESOP-2006-KoutavasW #bisimulation #imperative

Bisimulations for Untyped Imperative Objects (VK, MW), pp. 146–161.

KR-2006-Jauregui #imperative #logic #semantics

Semantical Considerations for a Logic of Actions: An Imperative Manifesto (VJ), pp. 371–376.

POPL-2006-KoutavasW #bisimulation #higher-order #imperative #reasoning #source code

Small bisimulations for reasoning about higher-order imperative programs (VK, MW), pp. 141–152.

ICSM-2005-Maciaszek #architecture #enterprise #information management

Developing Supportable Enterprise Information Systems — Architectural, Managerial, and Engineering Imperatives (LAM), pp. 721–722.

SEFM-2005-OlssonW #correctness #imperative #induction #proving #source code

Customised Induction Rules for Proving Correctness of Imperative Programs (OO, AW), pp. 180–189.

ICFP-2005-BergerHY #alias #analysis #higher-order #imperative #logic

A logical analysis of aliasing in imperative higher-order functions (MB, KH, NY), pp. 280–293.

ICFP-2005-WestbrookSW #approach #imperative #programming

A language-based approach to functionally correct imperative programming (EMW, AS, IW), pp. 268–279.

ICEIS-v2-2005-LinhalisM #component #execution #imperative #natural language

Execution of Imperative Natural Language Requisitions Based on UNL Interlingua and Software Components (FL, DdAM), pp. 254–259.

LICS-2005-HondaYB #higher-order #imperative #logic

An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (KH, NY, MB), pp. 270–279.

PEPM-2004-Debois #imperative #optimisation #partial evaluation

Imperative program optimization by partial evaluation (SD), pp. 113–122.

SAS-2004-Colon #algebra #approximate #imperative #relational #semantics #source code

Approximating the Algebraic Relational Semantics of Imperative Programs (MC), pp. 296–311.

IFM-2004-VilasARGD #imperative #incremental #logic #modelling #semantics #specification

A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models (AFV, JJPA, RPDR, AGS, JGD), pp. 382–401.

CHI-2004-SchianoES #category theory #imperative

Categorical imperative NOT: facial affect is perceived continuously (DJS, SME, KS), pp. 49–56.

ICEIS-v3-2004-Kanungo #imperative #ontology

Integrating Process- and Object-Approaches: An Ontological Imperative (SK), pp. 237–244.

LOPSTR-2004-BossiPR #imperative #security

Unwinding Conditions for Security in Imperative Languages (AB, CP, SR), pp. 85–100.

LOPSTR-2004-Colon #constraints #imperative #source code #synthesis #theorem proving

Schema-Guided Synthesis of Imperative Programs by Constraint Solving (MC), pp. 166–181.

PPDP-2004-LiquoriS #calculus #imperative #named

iRho: an imperative rewriting calculus (LL, BPS), pp. 167–178.

SAC-J-2003-ShinjoKP04 #imperative #interface #performance

Efficient mediators with closures for handling dynamic interfaces in an imperative language (YS, TK, CP), pp. 351–357.

LICS-2004-NaumannB #imperative #invariant #reasoning #towards

Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (DAN, MB), pp. 313–323.

RE-2003-ChardonD #approach #imperative #metric #process #requirements

One Approach to the Metric Baselining Imperative for Requirements Processes (RC, MD), p. 292.

ESOP-2002-Grossman #imperative

Existential Types for Imperative Languages (DG), pp. 21–35.

PLDI-2002-FahndrichD #imperative #linear #programming

Adoption and Focus: Practical Linear Types for Imperative Programming (MF, RD), pp. 13–24.

SAS-2001-BertranBCN #communication #concurrent #imperative #parallel #source code

Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs (MB, FXB, AC, MN), pp. 20–39.

PPDP-2001-Naumann #imperative #modelling #programming #relational

Ideal Models for Pointwise Relational and State-Free Imperative Programming (DAN), pp. 4–15.

CC-2001-LaceyM #imperative #program transformation

Imperative Program Transformation by Rewriting (DL, OdM), pp. 52–68.

ICALP-2000-CalcagnoMT #approach #imperative #multi #programming

Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming (CC, EM, WT), pp. 25–36.

SAIG-2000-CalcagnoM #imperative #multi

Multi-Stage Imperative Languages: A Conservative Extension Result (CC, EM), pp. 92–107.

LICS-2000-Xi #dependent type #imperative #programming

Imperative Programming with Dependent Types (HX), pp. 375–387.

ASE-1999-StarkI #automation #imperative #proving #synthesis #theorem proving #towards

Towards Automatic Imperative Program Synthesis Through Proof Planning (JS, AI), pp. 44–51.

LOPSTR-1999-PeraltaG #approach #imperative #using

Imperative Program Specialisation: An Approach Using CLP (JCP, JPG), pp. 102–117.

ESOP-1998-JayS #exclamation #functional #imperative

The Functional Imperative: Shape! (CBJ, PS), pp. 139–153.

SAS-1998-PeraltaGS #analysis #constraints #imperative #logic programming #source code

Analysis of Imperative Programs through Analysis of Constraint Logic Programs (JCP, JPG, HS), pp. 246–261.

ICFP-1998-Scholz #combinator #imperative #library #monad #programming

Imperative Streams — A Monadic Combinator Library for Synchronous Programming (ES), pp. 261–272.

ECOOP-1998-AlagicSG #imperative #java #orthogonal

Orthogonal to the Java Imperative (SA, JS, DG), pp. 212–233.

ECOOP-1998-BonoF #calculus #first-order #imperative

An Imperative, First-Order Calculus with Object Extension (VB, KF), pp. 462–497.

LOPSTR-1998-BellotR #imperative #logic #source code #synthesis

Logical Synthesis of Imperative O. O. Programs (PB, BR), pp. 316–318.

POPL-1998-AriolaS #calculus #call-by #correctness #imperative #monad

Correctness of Monadic State: An Imperative Call-by-Need Calculus (ZMA, AS), pp. 62–74.

POPL-1998-SmithV #concurrent #data flow #imperative #multi #thread

Secure Information Flow in a Multi-Threaded Imperative Language (GS, DMV), pp. 355–364.

ASE-1997-SwardH #imperative #legacy

Extracting Objects from Legacy Imperative Code (RRS, TCH), p. 98–?.

PEPM-1997-HornofN #analysis #imperative

Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity (LH, JN), pp. 63–73.

ICFP-1997-DussartHT #imperative

Type Specialization for Imperative Languages (DD, JH, PT), pp. 204–216.

POPL-1997-AptS #imperative #programming

Search and Imperative Programming (KRA, AS), pp. 67–79.

ICSE-1997-Yourdon #developer #re-engineering

Beyond Software Engineering: Ten Imperatives for the Successful Software Developer at the End of the Decade (Abstract) (EY), p. 538.

HPDC-1996-BotorogK #algorithm #distributed #imperative #named #performance #programming

Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming (GHB, HK), pp. 243–252.

ESOP-J-1994-GiegerichK95 #comparison #functional #imperative

A Comparison of Imperative and Purely Functional Suffix Tree Constructions (RG, SK), pp. 187–218.

PEPM-1995-DasRH #analysis #imperative #semantics #source code

Semantic Foundations of Binding Time Analysis for Imperative Programs (MD, TWR, PVH), pp. 100–110.

FPCA-1995-QuintonRW #functional #imperative #source code

Deriving Imperative Code from Functional Programs (PQ, SVR, DW), pp. 36–44.

ASF+SDF-1995-Heering #algebra #imperative #source code

An Algebraic Machine for Imperative Programs (JH), pp. 27–28.

ILPS-1995-Wadler #how #imperative

How to Declare an Imperative (PW), pp. 18–32.

OOPSLA-1994-LopezFB #constraints #imperative #implementation #programming language #virtual machine

Implementing Constraint Imperative Programming Languages: The Kaleidospace’93 Virtual Machine (GL, BNFB, AB), pp. 259–271.

PLDI-1993-Bourdoncle #debugging #higher-order #imperative

Abstract Debugging of Higher-Order Imperative Languages (FB), pp. 46–55.

PLILP-1993-JourdanLMR #declarative #imperative

Embedding Declarative Subprograms into Imperative Constructs (MJ, FL, FM, PR), pp. 414–415.

POPL-1993-JonesW #functional #imperative #programming

Imperative Functional Programming (SLPJ, PW), pp. 71–84.

ESEC-1993-Bourdoncle #abstract interpretation #debugging #imperative #source code

Assertion-based Debugging of Imperative Programs by Abstract Interpretation (FB), pp. 501–516.

CAV-1993-Gordon #imperative #source code #verification

A Verifier and Timing Analyser for Simple Imperative Programs (Abstract) (MJCG), p. 320.

PEPM-1992-Field #imperative #program analysis #semantics #source code

A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis (JF), pp. 98–107.

PLDI-1992-HendrenHN #abstraction #analysis #data type #imperative #pointer #recursion #source code

Abstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs (LJH, JH, AN), pp. 249–260.

POPL-1992-NirkheP #imperative #partial evaluation #programming language #realtime

Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems (VN, WP), pp. 269–280.

PEPM-1991-Meyer #imperative #partial evaluation

Techniques for Partial Evaluation of Imperative Languages (UM), pp. 94–105.

PLILP-1991-GrahamK #functional #imperative

Domesticating Imperative Constructs So That They Can Live in a Functional World (TCNG, GK), pp. 51–62.

PLDI-1990-BallanceMO #dependence #imperative #representation #web

The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages (RAB, ABM, KJO), pp. 257–271.

OOPSLA-ECOOP-1990-Freeman-Benson #constraints #imperative #named #programming

Kaleidoscope: Mixing Objects, Constraints and Imperative Programming (BNFB), pp. 77–88.

CC-1990-ShahmehriF #algorithm #debugging #imperative

Algorithmic Debugging for Imperative Languages with Side-Effects (Abstract) (NS, PF), pp. 226–227.

SEI-1988-Mills #education #re-engineering

Strategic Imperatives in Software Engineering Education (HDM), pp. 9–19.

PLDI-1988-PlebanL #automation #compilation #imperative #programming language

An Automatically Generated, Realistic Compiler for an Imperative Programming Language (UFP, PL), pp. 222–232.

LICS-1987-Goerdt #hoare #imperative #logic

Hoare Logic for λ-Terms as Basis of Hoare Logic for Imperative Languages (AG), pp. 293–299.

LFP-1986-GiffordL #functional #imperative #programming

Integrating Functional and Imperative Programming (DKG, JML), pp. 28–38.

POPL-1985-Leivant #imperative #logic #reasoning #source code

Logical and Mathematical Reasoning about Imperative Programs (DL), pp. 132–140.