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:
program (40)
logic (36)
model (26)
semant (20)
base (20)

Stem foundat$ (all stems)

249 papers:

FoSSaCSFoSSaCS-2015-AbadiMP #data flow #difference
Foundations of Differential Dataflow (MA, FM, GDP), pp. 71–83.
ICFPICFP-2015-Blanchette0T #perspective #proving #recursion
Foundational extensible corecursion: a proof assistant perspective (JCB, AP, DT), pp. 192–204.
CHICHI-2015-GiaccardiK #approach #experience #human-computer
Foundations of Materials Experience: An Approach for HCI (EG, EK), pp. 2447–2456.
SEKESEKE-2015-Martoglia #information management #named #semantics
AMBIT: Semantic Engine Foundations for Knowledge Management in Context-dependent Applications (RM), pp. 146–151.
SIGIRSIGIR-2015-Kantor #information retrieval
Revisiting the Foundations of IR: Timeless, Yet Timely (PBK), pp. 1125–1127.
ICSEICSE-v2-2015-Stevens #declarative #query
A Declarative Foundation for Comprehensive History Querying (RS), pp. 907–910.
VMCAIVMCAI-2015-PrabhakarS #abstraction #analysis #hybrid
Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems (PP, MGS), pp. 318–335.
CASECASE-2014-NgoS
A time fidelity control foundation for hierarchical discrete-event systems (QHN, KTS), pp. 443–448.
FoSSaCSFoSSaCS-2014-AntonopoulosGHKO #induction #logic #problem
Foundations for Decision Problems in Separation Logic with General Inductive Predicates (TA, NG, CH, MIK, JO), pp. 411–425.
SANERCSMR-WCRE-2014-Zaytsev #formal method #semiparsing
Formal foundations for semi-parsing (VZ), pp. 313–317.
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.
ICALPICALP-v2-2014-BonsangueRABR #algebra #induction
A Coalgebraic Foundation for Coinductive Union Types (MMB, JR, DA, FSdB, JJMMR), pp. 62–73.
FMFM-2014-BaiHWLLM #formal method #model checking #named #towards
TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms (GB, JH, JW, YL, ZL, AM), pp. 110–126.
ICFPICFP-2014-FredrikssonG #distributed #execution #semantics
Krivine nets: a semantic foundation for distributed execution (OF, DRG), pp. 349–361.
CHICHI-2014-BreretonRSH #design #research
Beyond ethnography: engagement and reciprocity as foundations for design research out here (MB, PR, RS, ALH), pp. 1183–1186.
VISSOFTVISSOFT-2014-BarikLCM #approach #compilation #developer #how #visualisation
How Developers Visualize Compiler Messages: A Foundational Approach to Notification Construction (TB, KL, SC, ERMH), pp. 87–96.
HILTHILT-2014-Seidewitz #execution #modelling #uml
UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.
ICEISICEIS-v2-2014-PodlouckyP #formal method #simulation #towards #validation
Towards Formal Foundations for BORM ORD Validation and Simulation (MP, RP), pp. 315–322.
ICEISICEIS-v2-2014-XuLL #design #estimation #industrial #knowledge-based
Knowledge-based Design Cost Estimation Through Extending Industry Foundation Classes (SX, KL, WL), pp. 161–168.
KDIRKDIR-2014-JohnsonC #clustering #identification #network
Mathematical Foundations of Networks Supporting Cluster Identification (JEJ, JWC), pp. 277–285.
KEODKEOD-2014-BrucatoD #modelling #ontology #simulation
The Minimal Ontology Principle — Philosophical Foundations of OPM-based Modelling and Simulation (JB, DD), pp. 405–409.
KRKR-2014-Morgenstern #concept #reasoning #representation
Representing and Reasoning about Time Travel Narratives: Foundational Concepts (LM).
ECOOPECOOP-2014-MillerHO #concurrent #named #type system
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution (HM, PH, MO), pp. 308–333.
OOPSLAOOPSLA-2014-AminRO #dependent type
Foundations of path-dependent types (NA, TR, MO), pp. 233–249.
POPLPOPL-2014-AndersonFGJKSW #named #network #semantics
NetkAT: semantic foundations for networks (CJA, NF, AG, JBJ, DK, CS, DW), pp. 113–126.
RERE-2014-ChopraDAGMS #named
Protos: Foundations for engineering innovative sociotechnical systems (AKC, FD, FBA, PG, JM, MPS), pp. 53–62.
FSEFSE-2014-OverbeyBH #c #metaprogramming #refactoring
A foundation for refactoring C with macros (JLO, FB, MH), pp. 75–85.
SLESLE-J-2012-GuizzardiZ #concept #modelling #ontology #using
Using a trope-based foundational ontology for bridging different areas of concern in ontology-driven conceptual modeling (GG, VZ), pp. 417–443.
CASECASE-2013-ZhongLEHF #analysis #modelling #process #testing
Modeling and analysis of mammography testing process at a breast imaging center of University of Wisconsin medical foundation (XZ, JL, SME, CH, LF), pp. 611–616.
PODSPODS-2013-CalvaneseGM #analysis #database #perspective #process
Foundations of data-aware process analysis: a database theory perspective (DC, GDG, MM), pp. 1–12.
ITiCSEITiCSE-2013-SheardSCDH #assessment #programming
Assessment of programming: pedagogical foundations of exams (JS, S, AC, DJD, MH), pp. 141–146.
MSRMSR-2013-Gala-PerezRGH #case study #evolution #metric #open source
Intensive metrics for the study of the evolution of open source projects: case studies from apache software foundation projects (SGP, GR, JMGB, IH), pp. 159–168.
MSRMSR-2013-Squire #dataset
Project roles in the apache software foundation: a dataset (MS), pp. 301–304.
ICEISICEIS-J-2013-SuB13a #fine-grained #graph #identification #security
Foundation for Fine-Grained Security and DRM Control Based on a Service Call Graph Context Identification (ZS, FB), pp. 226–241.
ICEISICEIS-v1-2013-Frank #enterprise #modelling #multi #self
Multi-Perspective Enterprise Modelling as a Foundation of Method Engineering and Self-Referential Enterprise Systems (UF), p. IX.
ICEISICEIS-v2-2013-CrawfordBSMM #information management #re-engineering
Knowledge Management and Creativity in Software Engineering — The Foundations of Agility (BC, CLdlB, RS, SM, EM), pp. 265–272.
KEODKEOD-2013-KeetD #ontology
Addressing Issues in Foundational Ontology Mediation (CMK, ZCD), pp. 5–16.
PPDPPPDP-2013-JedynakBB #coq
An operational foundation for the tactic language of Coq (WJ, MB, DB), pp. 25–36.
RERE-2013-0004CB #traceability
Foundations for an expert system in domain-specific traceability (JG, JCH, BB), pp. 42–51.
CADECADE-2013-ChihaniMR #first-order #logic #proving
Foundational Proof Certificates in First-Order Logic (ZC, DM, FR), pp. 162–177.
HTHT-2012-HartigF #execution #linked data #open data #query #traversal
Foundations of traversal based query execution over linked data (OH, JCF), pp. 43–52.
PODSPODS-2012-Pierce #bidirectional #tutorial
Linguistic foundations for bidirectional transformations: invited tutorial (BCP), pp. 61–64.
ESOPESOP-2012-Stroustrup #c++
Foundations of C++ (BS), pp. 1–25.
PLDIPLDI-2012-OliveiraSCLY #calculus #programming
The implicit calculus: a new foundation for generic programming (BCdSO, TS, WC, WL, KY), pp. 35–44.
GT-VMTGT-VMT-2012-LaraG #constraints #visual notation
Inter-Modelling with Graphical Constraints: Foundations and Applications (JdL, EG).
ICGTICGT-2012-GolasLEG #flexibility #formal method #graph grammar #towards
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars — Flexible Relations between Source and Target Elements (UG, LL, HE, HG), pp. 141–155.
CAiSECAiSE-2012-Guizzardi12a #concept #modelling #ontology
Ontological Foundations for Conceptual Modeling with Applications (GG), pp. 695–696.
CIKMCIKM-2012-Sadri #integration #on the #probability
On the foundations of probabilistic information integration (FS), pp. 882–891.
SIGIRSIGIR-2012-Roelleke #information retrieval #modelling
IR models: foundations and relationships (TR), pp. 1187–1188.
GPCEGPCE-2012-DamianiPS #formal method #product line
A formal foundation for dynamic delta-oriented software product lines (FD, LP, IS), pp. 1–10.
POPLPOPL-2012-KammarP #algebra #optimisation
Algebraic foundations for effect-dependent optimisations (OK, GDP), pp. 349–360.
SLESLE-2012-GuizzardiZ #concept #modelling
A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling (GG, VZ), pp. 286–310.
LICSLICS-2012-TraytelPB #category theory #composition #data type #higher-order #logic #proving #theorem proving
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving (DT, AP, JCB), pp. 596–605.
FASEFASE-2011-ZhangZL #api #complexity #graph
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity (QZ, WZ, MRL), pp. 386–400.
ICSMEICSM-2011-Roover #detection #logic #metaprogramming #object-oriented #source code
A logic meta-programming foundation for example-driven pattern detection in object-oriented programs (CDR), pp. 556–561.
PEPMPEPM-2011-Rinard #bound #probability #program analysis #program transformation #source code
Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation (MCR), pp. 79–80.
PLDIPLDI-2011-ParrF #generative #ll #parsing
LL(*): the foundation of the ANTLR parser generator (TP, KF), pp. 425–436.
ICFPICFP-2011-CastagnaX #morphism #parametricity #polymorphism #type system
Set-theoretic foundation of parametric polymorphism and subtyping (GC, ZX), pp. 94–106.
CAiSECAiSE-2011-Guizzardi #concept #ontology
Ontological Foundations for Conceptual Part-Whole Relations: The Case of Collectives and Their Parts (GG), pp. 138–153.
CAiSECAiSE-2011-TranM #evolution #game studies #requirements #towards
Dealing with Known Unknowns: Towards a Game-Theoretic Foundation for Software Requirement Evolution (LMST, FM), pp. 62–76.
CAiSECAiSE-2011-WeidlichMW #approach #process #variability
A Foundational Approach for Managing Process Variability (MW, JM, MW), pp. 267–282.
ICEISICEIS-v2-2011-NetoCMMG #energy #monitoring #quality #towards
Towards an Intelligent System for Monitoring Electrical Energy Quality — Foundations and Motivations (LBN, PHGC, JCCBSdM, LAM, EGG), pp. 40–45.
ICSEICSE-2011-NiuMB #information management #navigation
Information foraging as a foundation for code navigation (NN, AM, GB), pp. 816–819.
ICSEICSE-2011-StaatsWH #revisited #source code #testing
Programs, tests, and oracles: the foundations of testing revisited (MS, MWW, MPEH), pp. 391–400.
DACDAC-2010-Lee #continuation
CPS foundations (EAL), pp. 737–742.
DACDAC-2010-MirhoseiniAK #realtime
Real time emulations: foundation and applications (AM, YA, FK), pp. 623–624.
DACDAC-2010-WeiMP #hardware #security
Gate-level characterization: foundations and hardware security applications (SW, SM, MP), pp. 222–227.
PODSPODS-2010-ArenasPRR
Foundations of schema mapping management (MA, JP, JLR, CR), pp. 227–238.
VLDBVLDB-2010-AgrawalSUW #integration
Foundations of Uncertain-Data Integration (PA, ADS, JDU, JW), pp. 1080–1090.
FoSSaCSFoSSaCS-2010-SchwinghammerYBPR #semantics
A Semantic Foundation for Hidden State (JS, HY, LB, FP, BR), pp. 2–17.
TACASTACAS-2010-CimattiFGSS #formal method #satisfiability
Satisfiability Modulo the Theory of Costs: Foundations and Applications (AC, AF, AG, RS, CS), pp. 99–113.
ICALPICALP-v1-2010-BateniHIM #game studies #network
The Cooperative Game Theory Foundations of Network Bargaining Games (MB, MH, NI, HM), pp. 67–78.
ICGTICGT-2010-Biermann #emf #formal method #graph transformation #model transformation
EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment (EB), pp. 381–383.
ICEISICEIS-ISAS-2010-Tagg #concept #modelling #ontology #towards
Towards a More Relationship-friendly Ontology Foundation for Conceptual Modelling (RT), pp. 368–373.
KEODKEOD-2010-AnjumHY #ontology #verification
Cross Domain Knowledge Verification — Verifying Knowledge in Foundation Ontology based Domain Ontologies (NAA, JAH, BY), pp. 339–342.
SACSAC-2010-BelohlavekV10a #database #logic #query #similarity
Query systems in similarity-based databases: logical foundations, expressive power, and completeness (RB, VV), pp. 1648–1655.
SACSAC-2010-SantosAG #ontology #semantics
An ontology-based semantic foundation for ARIS EPCs (PSSJ, JPAA, GG), pp. 124–130.
ICSEICSE-2010-MedvidovicT #architecture #theory and practice
Software architecture: foundations, theory, and practice (NM, RNT), pp. 471–472.
ICLPICLP-2010-Saeedloei10 #cyber-physical #logic programming
Logic Programming Foundations of Cyber-Physical Systems (NS), pp. 289–293.
RTARTA-2010-Kahrs #revisited
Infinitary Rewriting: Foundations Revisited (SK), pp. 161–176.
WICSA-ECSAWICSA-ECSA-2009-GarlanBSC #architecture #evolution #tool support
Evolution styles: Foundations and tool support for software architecture evolution (DG, JMB, BRS, OC), pp. 131–140.
FASEFASE-2009-BottoniGL #formal method #modelling
Formal Foundation for Pattern-Based Modelling (PB, EG, JdL), pp. 278–293.
FoSSaCSFoSSaCS-2009-Smith #data flow #on the
On the Foundations of Quantitative Information Flow (GS), pp. 288–302.
ICFPICFP-2009-Pierce #education #programming language #proving #using
λ, the ultimate TA: using a proof assistant to teach programming language foundations (BCP), pp. 121–122.
AdaEuropeAdaEurope-2009-Favre #formal method #metamodelling
A Formal Foundation for Metamodeling (LF), pp. 177–191.
ICEISICEIS-ISAS-2009-Kumlander #framework #nondeterminism
Uncertainties Management Framework — Foundational Principles (DK), pp. 103–108.
ICMTICMT-2009-Pierce #bidirectional #programming
Foundations for Bidirectional Programming (BCP), pp. 1–3.
GPCEGPCE-2009-GarciaL #metaprogramming #towards
Toward foundations for type-reflective metaprogramming (RG, AL), pp. 25–34.
PPDPPPDP-2009-CastagnaDGP
Foundations of session types (GC, MDC, EG, LP), pp. 219–230.
POPLPOPL-2009-BrunelDHLM #logic #model checking #using
A foundation for flow-based program matching: using temporal logic and model checking (JB, DD, RRH, JLL, GM), pp. 114–126.
TLCATLCA-2009-TsukadaI #classification #logic
A Logical Foundation for Environment Classifiers (TT, AI), pp. 341–355.
PLDIPLDI-2008-BoehmA #c++ #concurrent #memory management
Foundations of the C++ concurrency memory model (HJB, SVA), pp. 68–78.
FLOPSFLOPS-2008-AbelCD #algebra #on the #proving #type system
On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory (AA, TC, PD), pp. 3–13.
GT-VMTGT-VMT-2008-Vangheluwe #modelling #simulation
Foundations of Modelling and Simulation of Complex Systems (HV).
EDOCEDOC-2008-AlmeidaG #concept #enterprise #modelling #semantics
A Semantic Foundation for Role-Related Concepts in Enterprise Modelling (JPAA, GG), pp. 31–40.
MODELSMoDELS-2008-CraneD #execution #formal method #modelling #set #towards #uml
Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.
MODELSMoDELS-2008-CraneD #execution #formal method #modelling #set #towards #uml
Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.
POPLPOPL-2008-JohannG #data type #programming
Foundations for structured programming with GADTs (PJ, NG), pp. 297–308.
POPLPOPL-2008-Pientka #higher-order #programming #syntax
A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions (BP), pp. 371–382.
REFSQREFSQ-2008-PaechR #quality #requirements
REFSQ’08 International Working Conference on Requirements Engineering: Foundation for Software Quality (BP, CR), pp. 1–5.
ICLPICLP-2008-PearceV #equilibrium #logic #quantifier #set #source code
Quantified Equilibrium Logic and Foundations for Answer Set Programs (DP, AV), pp. 546–560.
ICSTICST-2008-LechnerB #workflow
Workflow Inspector — A Test Tool for Microsoft Workflow Foundation (AL, RB), pp. 498–501.
PODSPODS-2007-DalviS #challenge #probability
Management of probabilistic data: foundations and challenges (NND, DS), pp. 1–12.
FoSSaCSFoSSaCS-2007-Jagadeesan #aspect-oriented #formal method
Formal Foundations for Aspects (RJ), p. 1.
MSRMSR-2007-Gonzalez-BarahonaRH #developer #process
Impact of the Creation of the Mozilla Foundation in the Activity of Developers (JMGB, GR, IH), p. 28.
IFMIFM-2007-AuSC #precise #specification
Precise Scenarios — A Customer-Friendly Foundation for Formal Specifications (OA, RS, JC), pp. 21–36.
REFSQREFSQ-2007-SawyerPH #quality #requirements
REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software Quality (PS, BP, PH), pp. 1–17.
CCCC-2007-SarkarB #linear
Extended Linear Scan: An Alternate Foundation for Global Register Allocation (VS, RB), pp. 141–155.
RTARTA-2007-Pfenning #logic #on the
On a Logical Foundation for Explicit Substitutions (FP), p. 19.
TLCATLCA-2007-Pfenning #logic #on the
On a Logical Foundation for Explicit Substitutions (FP), p. 1.
VLDBVLDB-2006-ChaudhuriW #automation #database
Foundations of Automated Database Tuning (SC, GW), p. 1265.
ITiCSEITiCSE-2006-Boetje #education #re-engineering
Foundational actions: teaching software engineering when time is tight (JB), pp. 285–288.
ESOPESOP-2006-JiaW #automation #named #pointer #reasoning #source code
ILC: A Foundation for Automated Reasoning About Pointer Programs (LJ, DW), pp. 131–145.
ICGTICGT-2006-EhrigOP #category theory #distributed #graph transformation
Categorical Foundations of Distributed Graph Transformation (HE, FO, UP), pp. 215–229.
ICGTICGT-2006-Heckel #graph transformation #tutorial
Introductory Tutorial on Foundations and Applications of Graph Transformation (RH), pp. 461–462.
CHICHI-2006-ArguelloBJKLRW #community #interactive #online
Talk to me: foundations for successful individual-group interactions in online communities (JA, BSB, EJ, REK, KSL, CPR, XW), pp. 959–968.
ICEISICEIS-AIDSS-2006-DebenhamS
A Foundation for Informed Negotiation (JKD, SJS), pp. 23–30.
KDDKDD-2006-HettichP #lessons learnt #mining
Mining for proposal reviewers: lessons learned at the national science foundation (SH, MJP), pp. 862–871.
KRKR-2006-BlumeEH
Redoing the Foundations of Decision Theory (LEB, DAE, JYH), pp. 14–24.
KRKR-2006-CabalarOP #logic #semantics
Logical Foundations of Well-Founded Semantics (PC, SPO, DP), pp. 25–35.
KRKR-2006-ClassenL #knowledge-based #source code #using
Foundations for Knowledge-Based Programs using ES (JC, GL), pp. 318–328.
SPLCSPLC-2006-AsikainenMS #concept #feature model #modelling
A Unified Conceptual Foundation for Feature Modelling (TA, TM, TS), pp. 31–40.
CSLCSL-2006-Truszczynski #algebra #logic
Nonmonotonic Logics and Their Algebraic Foundations (MT), pp. 58–71.
LICSLICS-2006-Dawson #assessment #logic
Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel’s Impact on Logic, Mathematics, and Computer Science (JWD), pp. 339–341.
SIGMODSIGMOD-2005-ChaudhuriW #automation #database
Foundations of automated database tuning (SC, GW), pp. 964–965.
SIGMODSIGMOD-2005-SuciuD #probability #query
Foundations of probabilistic answers to queries (DS, NND), p. 963.
ESOPESOP-2005-RanganathABDH #slicing
A New Foundation for Control-Dependence and Slicing for Modern Program Structures (VPR, TA, AB, MBD, JH), pp. 77–93.
FoSSaCSFoSSaCS-2005-LaneveZ #transaction #web
Foundations of Web Transactions (CL, GZ), pp. 282–298.
SEFMSEFM-2005-Chalin #logic #question #what
Logical Foundations of Program Assertions: What do Practitioners Want? (PC), pp. 383–393.
SEFMSEFM-2005-SadaniSC #framework #petri net #verification
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform (TS, PdSS, JPC), pp. 250–260.
CAiSECAiSE-2005-AnderssonBEIJ #declarative #modelling #process
A Declarative Foundation of Process Models (BA, MB, AE, TI, PJ), pp. 233–247.
SEKESEKE-2005-LiuBY #development #formal method
A Formal Foundation of Code Pattern Based Development (JL, FBB, ILY), pp. 274–279.
POPLPOPL-2005-BruniMM #composition
Theoretical foundations for compensations in flow composition languages (RB, HCM, UM), pp. 209–220.
RTARTA-2005-Felty #approach #semantics #tutorial
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code (APF), pp. 394–406.
TLCATLCA-2005-Felty #approach #semantics #tutorial
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract (APF), p. 10.
PODSPODS-2004-CalvaneseGLR #integration #logic #peer-to-peer
Logical Foundations of Peer-To-Peer Data Integration (DC, GDG, ML, RR), pp. 241–251.
PODSPODS-2004-GutierrezHM #database #semantics #web
Foundations of Semantic Web Databases (CG, CAH, AOM), pp. 95–106.
ITiCSEITiCSE-2004-CunninghamMT
The US national science foundation and the ITiCSE effort (SC, ELM, HGT), p. 258.
SFMSFM-2004-Selic #on the #semantics #standard #uml
On the Semantic Foundations of Standard UML 2.0 (BS), pp. 181–199.
ICFPICFP-2004-AriolaHS #continuation
A type-theoretic foundation of continuations and prompts (ZMA, HH, AS), pp. 40–53.
ICGTICGT-2004-ClarkESW #design #metamodelling #model transformation
Transformation Language Design: A Metamodelling Foundation (TC, AE, PS, JSW), pp. 13–21.
ICEISICEIS-v3-2004-Nobre #complexity #design #learning
Organisational Learning — Foundational Roots for Design for Complexity (ÂLN), pp. 85–93.
KRKR-2004-MeyerFKZ #logic
Logical Foundations of Negotiation: Strategies and Preferences (TAM, NYF, RK, DZ), pp. 311–318.
POPLPOPL-2004-Ford #parsing expression grammar
Parsing expression grammars: a recognition-based syntactic foundation (BF), pp. 111–122.
CCCC-2004-Soffa #optimisation
Developing a Foundation for Code Optimization (MLS), pp. 1–4.
OSDIOSDI-2004-MacCormickMNTZ #abstraction #framework #named
Boxwood: Abstractions as the Foundation for Storage Infrastructure (JM, NM, MN, CAT, LZ), pp. 105–120.
ICLPICLP-2004-CaldonM #implementation
Limiting Resolution: From Foundations to Implementation (PC, EM), pp. 149–164.
ASEASE-2003-HarrisR
Theoretical Foundations of Updating Systems (HH, MR), pp. 291–294.
DACDAC-2003-WongMP #case study #design
Design techniques for sensor appliances: foundations and light compass case study (JLW, SM, MP), pp. 66–71.
FASEFASE-2003-Morasca #approach #metric
Foundations of a Weak Measurement-Theoretic Approach to Software Measurement (SM), pp. 200–215.
FMFME-2003-QinDC #programming #semantics
A Semantic Foundation for TCOZ in Unifying Theories of Programming (SQ, JSD, WNC), pp. 321–340.
PPDPPPDP-2003-WuAS #proving
Foundational proof checkers with small witnesses (DW, AWA, AS), pp. 264–274.
PADLPADL-2003-LiM #constraints #datalog #trust
DATALOG with Constraints: A Foundation for Trust Management Languages (NL, JCM), pp. 58–73.
POPLPOPL-2003-Crary #assembly #towards
Toward a foundational typed assembly language (KC), pp. 198–212.
SACSAC-2003-GuH #internet #protocol #ubiquitous #web
Extended Internet Caching Protocol: A Foundation for Building Ubiquitous Web Caching (WG, AH), pp. 901–907.
CADECADE-2003-CraryS #framework #logic
Foundational Certified Code in a Metalogical Framework (KC, SS), pp. 106–120.
ICLPICLP-2003-BruscoliG #logic programming #proving #tutorial
A Tutorial on Proof Theoretic Foundations of Logic Programming (PB, AG), pp. 109–127.
VLDBVLDB-2002-Date #matter
Foundation Matters (CJD).
VLDBVLDB-2002-Kiessling #database
Foundations of Preferences in Database Systems (WK), pp. 311–322.
CSEETCSEET-2002-GooldH #re-engineering
Foundation Software Engineering Practices for Capstone Projects and Beyond (AG, PH), p. 140–?.
CSEETCSEET-2002-UmphressH #education #learning #process
Software Process as a Foundation for Teaching, Learning and Accrediting (DAU, JAHJ), pp. 160–169.
WRLAWRLA-J-1996-DiaconescuF02 #logic
Logical foundations of CafeOBJ (RD, KF), pp. 289–318.
ICGTICGT-2002-MontanariR #algebra #graph grammar #linear #order
Linear Ordered Graph Grammars and Their Algebraic Foundations (UM, LR), pp. 317–333.
CHICHI-2002-AccotZ #interface
More than dotting the i’s — foundations for crossing-based interfaces (JA, SZ), pp. 73–80.
CAiSECAiSE-2002-Liu #logic #xml
A Logical Foundation for XML (ML), pp. 568–583.
ICLPICLP-2002-Pientka #higher-order #logic programming
A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming (BP), pp. 271–286.
LICSLICS-2002-CalvaneseGL #information management #logic #representation
Description Logics: Foundations for Class-based Knowledge Representation (DC, GDG, ML), pp. 359–370.
LICSLICS-2002-HamidSTMN #approach
A Syntactic Approach to Foundational Proof-Carrying Code (NAH, ZS, VT, SM, ZN), pp. 89–100.
CSEETCSEET-2001-SobelBCMRT #re-engineering
SWEBOK as an International Foundation for Software Engineering Program Accreditation (Panel) (AEKS, DJB, DAC, YM, PNR, JBT), p. 293.
ESOPESOP-2001-HuthJS #program analysis
Modal Transition Systems: A Foundation for Three-Valued Program Analysis (MH, RJ, DAS), pp. 155–169.
FASEFASE-2001-ClarkEK #calculus #metamodelling #semantics #uml
The Metamodelling Language Calculus: Foundation Semantics for UML (TC, AE, SK), pp. 17–31.
FoSSaCSFoSSaCS-2001-KochMP #approach #data access #graph #policy #specification
Foundations for a Graph-Based Approach to the Specification of Access Control Policies (MK, LVM, FPP), pp. 287–302.
ICSMEICSM-2001-Mens #evolution #formal method #object-oriented
A Formal Foundation for Object-Oriented Software Evolution (TM), pp. 549–552.
FLOPSFLOPS-2001-CaballeroLR #debugging #declarative #functional #lazy evaluation #logic programming #source code
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs (RC, FJLF, MRA), pp. 170–184.
ICALPICALP-2001-ViswanathanV #composition #reasoning
Foundations for Circular Compositional Reasoning (MV, RV), pp. 835–847.
FMFME-2001-Airchinnigh #towards
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (MMaA), pp. 396–418.
CSLCSL-2001-PowerT #algebra
An Algebraic Foundation for Higraphs (JP, KT), pp. 145–159.
LICSLICS-2001-Appel
Foundational Proof-Carrying Code (AWA), pp. 247–256.
TLCATLCA-2001-Dowek #modulo theories
The Stratified Foundations as a Theory Modulo (GD), pp. 136–150.
VLDBVLDB-2000-CasatiS #automation #process
Process Automation as the Foundation for E-Business (FC, MCS), pp. 688–691.
FASEFASE-2000-Parisi-PresicceW #configuration management #graph transformation #policy #using
Foundations for Software Configuration Management Policies Using Graph Transformations (FPP, ALW), pp. 304–318.
FoSSaCSFoSSaCS-2000-Thiemann #adaptation #algebra #programming
An Algebraic Foundation for Adaptive Programming (PT), pp. 314–328.
WRLAWRLA-2000-Hilberdink #logic
New Foundations for Rewriting Logic (HH), pp. 43–69.
CSMRCSMR-2000-CoupayeE #deployment #enterprise
Foundations of Enterprise Software Deployment (TC, JE), pp. 65–74.
PEPMPEPM-2000-Pfenning #logic #on the #staged
On the Logical Foundations of Staged Computation (Abstract of Invited Talk) (FP), p. 33.
EDOCEDOC-2000-GenilloudW #concept #modelling
A Foundation for the Concept of Role in Object Modelling (GG, AW), pp. 76–85.
ICEISICEIS-2000-DietzB #modelling #petri net #process #requirements
Petri Net Expressions of Demo Process Models as a Rigid Foundation for Requirements Engineering (JLGD, JB), pp. 267–274.
CIKMCIKM-2000-Albert #multi
Theoretical Foundations of Schema Restructuring in Heterogeneous Multidatabase Systems (JA), pp. 461–470.
TOOLSTOOLS-PACIFIC-2000-Diskin #modelling #on the
On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000) (ZD), pp. 182–189.
GPCEGCSE-2000-TeschkeR #component #modelling #towards
Towards a Foundation of Component-Oriented Software Reference Models (TT, JR), pp. 70–84.
SACSAC-2000-NeumannZ #composition #towards
Towards the Usage of Dynamic Object Aggregations as a Foundation for Composition (GN, UZ), pp. 818–820.
ICSEFoSE-2000-Maibaum #re-engineering #roadmap
Mathematical foundations of software engineering: a roadmap (TSEM), pp. 161–172.
ICLPCL-2000-StorrT #calculus #equation
A New Equational Foundation for the Fluent Calculus (HPS, MT), pp. 733–746.
ICSMEICSM-1999-WoodsCK #architecture #re-engineering #semantics
A Semantic Foundation for Architectural Reengineering and Interchange (SW, SJC, RK), p. 391–?.
HCIHCI-EI-1999-HartsonAWR #classification #framework #problem #usability
The User Action Framework: A Theory-Based Foundation for Inspection and Classification of Usability Problems (HRH, TSA, RCW, LvR), pp. 1058–1062.
HCIHCI-EI-1999-WallachP #architecture #human-computer
Cognitive Architectures — A Theoretical Foundation for HCI (DW, MP), pp. 491–495.
AdaEuropeAdaEurope-1999-Korochkin #ada #education
Ada 95 as a Foundation Language in Computer Engeneering Education in Ukraine (AK), pp. 181–186.
CIKMCIKM-1999-DelisH #information management #representation #string
Binary String Relations: A Foundation for Spatiotemporal Knowledge Representation (VD, TH), pp. 27–37.
ECOOPECOOP-1999-IgarashiP
Foundations for Virtual Types (AI, BCP), pp. 161–185.
CAVCAV-1999-Chou #evaluation
The Mathematical Foundation fo Symbolic Trajectory Evaluation (CTC), pp. 196–207.
ITiCSEITiCSE-1998-Cassel #education #library
A digital library for undergraduate education: goals and status of efforts at the US National Science Foundation (poster) (LNC), p. 272.
KRKR-1998-HaarslevLM #logic #reasoning
Foundations of Spatioterminological Reasoning with Description Logics (VH, CL, RM), pp. 112–123.
KRKR-1998-HaH #geometry
Geometric Foundations for Interval-Based Probabilities (VAH, PH), pp. 582–593.
PPDPALP-PLILP-1998-CosmoLN #game studies #logic programming #semantics
A Game Semantics Foundation for Logic Programming (Extended Abstract) (RDC, JVL, SN), pp. 355–373.
LOPSTRLOPSTR-1998-AyedDFM #program transformation
Mathematical Foundations for Program Transformations (RBA, JD, MF, AM), pp. 319–321.
ICLPJICSLP-1998-Cervesato #compilation #logic programming
Proof-Theoretic Foundation of Compilation in Logic Programming (IC), pp. 115–129.
VLDBVLDB-1997-GyssensL #database #multi
A Foundation for Multi-dimensional Databases (MG, LVSL), pp. 106–115.
ICFPICFP-1997-Crary #higher-order #implementation #type system
Foundations for the Implementation of Higher-Order Subtyping (KC), pp. 125–135.
HCIHCI-CC-1997-Schmidt #concept #design #towards
Cooperative Work: Towards a Conceptual Foundation for CSCW Systems Design (KS), pp. 57–60.
HCIHCI-SEC-1997-MatsushitaMA #interactive #pointer
Lock-On Pointer: A Foundation for Human-Object Interaction (NM, MM, YA), pp. 193–196.
POPLPOPL-1997-OngS #functional
A Curry-Howard Foundation for Functional Computation with Control (CHLO, CAS), pp. 215–227.
RERE-1997-PottsN #requirements
Naturalistic Inquiry and Requirements Engineering: Reconciling Their Theoretical Foundations (CP, WN), pp. 118–127.
ITiCSEITiCSE-1996-ProulxRF #education #how #question #what
Foundations of computer science: what are they and how do we teach them? (VKP, RR, HJF), pp. 42–48.
WRLARWLW-1996-Diaconescu #behaviour #logic #specification
Foundations of behavioural specification in rewriting logic (RD), pp. 226–245.
KRKR-1996-Lemon #logic #semantics
Semantical Foundations of Spatial Logics (OL), pp. 212–219.
ESOPESOP-J-1994-Andrews95 #constraints #implementation #logic programming
Foundational Issues in Implementing Constraint Logic Programming Systems (JHA), pp. 117–147.
PEPMPEPM-1995-DasRH #analysis #imperative #semantics #source code
Semantic Foundations of Binding Time Analysis for Imperative Programs (MD, TWR, PVH), pp. 100–110.
CHICHI-1995-FitzmauriceIB #named #user interface
Bricks: Laying the Foundations for Graspable User Interfaces (GWF, HI, WB), pp. 442–449.
KDDKDD-1995-Siebes #induction #query
Data Surveying: Foundations of an Inductive Query Language (AS), pp. 269–274.
LICSLICS-1995-Constable #experience #type system
Experience with Type Theory as a Foundation for Computer Science (RLC), pp. 266–279.
ESOPESOP-1994-Andrews #constraints #implementation #logic programming
Foundational Issues in Implementing Constraint Logic Programming Systems (JHA), pp. 74–88.
KRKR-1994-LinR #database #how #logic #why
How to Progress a Database (and Why) I. Logical Foundations (FL, RR), pp. 425–436.
SIGIRSIGIR-1994-Cooper #information retrieval #probability #question
The Formalism of Probability Theory in IR: A Foundation for An Encumbrance? (WSC), pp. 242–247.
OOPSLAOOPSLA-1994-KobayashiY #concurrent #object-oriented #programming
Type-Theoretic Foundations for Concurrent Object-Oriented Programming (NK, AY), pp. 31–45.
FSEFSE-1994-Hamlet #dependence #testing
Foundations of Software Testing: Dependability Theory (RGH), pp. 128–139.
LICSLICS-1994-SaraswatJG #concurrent #constraints #programming
Foundations of Timed Concurrent Constraint Programming (VAS, RJ, VG), pp. 71–80.
CSEETSEI-1992-WardleL
Current Founding Opportunities Through the National Science Foundations (CEW, DKL), pp. 415–416.
ICALPICALP-1992-SannellaT #algebra #development #source code #specification #towards
Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations (DS, AT), pp. 656–671.
LISPLFP-1992-JagannathanP #concurrent #multi #performance #thread
A Foundation for an Efficient Multi-Threaded Scheme System (SJ, JP), pp. 345–357.
TOOLSTOOLS-EUROPE-1992-Steinmuller #industrial
Qualifying C++-Foundation Classes for Use in Industrial Applications (US), pp. 47–59.
POPLPOPL-1992-RinardL #semantics
Semantic Foundations of Jade (MCR, MSL), pp. 105–118.
LICSLICS-1992-AbramskyJ #geometry #interactive
New Foundations for the Geometry of Interaction (SA, RJ), pp. 211–222.
POPLPOPL-1991-SaraswatRP #concurrent #constraints #programming #semantics
Semantic Foundations of Concurrent Constraint Programming (VAS, MCR, PP), pp. 333–352.
ICLPICLP-1991-Dung #abduction #logic programming
Negations as Hypotheses: An Abductive Foundation for Logic Programming (PMD), pp. 3–17.
ICLPISLP-1991-HarlandP #linear #logic programming
The Uniform Proof-Theoretic Foundation of Linear Logic Programming (JH, DJP), pp. 304–318.
LICSLICS-1991-Leivant
A Foundational Delineation of Computational Feasiblity (DL), pp. 2–11.
CAiSECAiSE-1990-Capua #automation #named #tool support
FOUNDATION — CASE Tools for the Success of the French Stock Exchange (FDC), p. 3.
POPLPOPL-1990-Mitchell #inheritance #towards
Toward a Typed Foundation for Method Specialization and Inheritance (JCM), pp. 109–124.
LICSLICS-1990-CroleP #fixpoint
New Foundations for Fixpoint Computations (RLC, AMP), pp. 489–497.
CAiSECAiSE-1989-BrodinD #named
Foundation — The Broad Tool (EB, BID).
ICLPNACLP-1989-Minker #logic programming #towards
Toward A Foundation of Disjunctive Logic Programming (JM), pp. 1215–1235.
LICSLICS-1988-ConstableS #recursion
Computational Foundations of Basic Recursive Function Theory (RLC, SFS), pp. 360–371.
LICSLICS-1988-MeseguerM #algebra #monad #petri net
Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory (JM, UM), pp. 155–164.
PODSPODS-1986-Weikum #concurrent #multi
A Theoretical Foundation of Multi-Level Concurrency Control (GW), pp. 31–43.
DACDAC-1983-Simon #named
CAD/CAM — the foundation for Computer Integrated Manufacturing (RLS), pp. 686–700.
ICALPICALP-1983-Abramsky #multi #on the #semantics
On Semantic Foundations for Applicative Multiprogramming (SA), pp. 1–14.
PODSPODS-1982-RotemTK #clustering #design #multi
Foundations for Multifile Design by Application Partitioning (DR, FWT, DGK), pp. 262–267.
STOCSTOC-1982-Kissin #energy
Measuring Energy Consumption in VLSI Circuits: a Foundation (GK), pp. 99–104.
LISPLFP-1982-Bohm #combinator #functional #programming
Combinatory Foundation of Functional Programming (CB), pp. 29–36.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.