Stem axiomat$ (all stems)

108 papers:

FM-2015-SchmittU #axiom #first-order #logic

Axiomatization of Typed First-Order Logic (PHS, MU), pp. 470–486.

ICML-2015-PrasadPR #analysis #axiom #rank

Distributional Rank Aggregation, and an Axiomatic Analysis (AP, HHP, PDR), pp. 2104–2112.

CADE-2015-FultonMQVP #axiom #hybrid #proving #theorem proving

KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (NF, SM, JDQ, MV, AP), pp. 527–538.

CAV-2015-ManskyGZ #axiom #memory management #modelling #specification

An Axiomatic Specification for Sequential Memory Models (WM, DG, SZ), pp. 413–428.

CSL-2015-SanoV #axiom #dependence #logic

Axiomatizing Propositional Dependence Logics (KS, JV), pp. 292–307.

LICS-2015-DasR #axiom #infinity

A Complete Axiomatization of MSO on Infinite Trees (AD, CR), pp. 390–401.

FoSSaCS-2014-DArgenioGL #axiom #bisimulation #metric #probability

Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules (PRD, DG, MDL), pp. 289–303.

CIKM-2014-RahimiSK #analysis #axiom #information retrieval

Axiomatic Analysis of Cross-Language Information Retrieval (RR, AS, IK), pp. 1875–1878.

KR-2014-BjorndahlHP #axiom

Axiomatizing Rationality (AB, JYH, RP).

SIGIR-2014-FangZ #analysis #axiom #information retrieval #modelling #optimisation

Axiomatic analysis and optimization of information retrieval models (HF, CZ), p. 1288.

POPL-2014-Krebbers #axiom #c #nondeterminism #semantics #sequence

An operational and axiomatic semantics for non-determinism and sequence points in C (RK), pp. 101–112.

IJCAR-2014-HorbachS #axiom #locality #reachability

Locality Transfer: From Constrained Axiomatizations to Reachability Predicates (MH, VSS), pp. 192–207.

HIMI-LCCB-2013-GuoZSP #axiom #usability

Value Added by the Axiomatic Usability Method for Evaluating Consumer Electronics (YG, YZ, GS, RWP), pp. 457–466.

CSL-2013-Materzok #axiom #continuation

Axiomatizing Subtyped Delimited Continuations (MM), pp. 521–539.

ICALP-v2-2012-RosuS #axiom #formal method #semantics #towards

Towards a Unified Theory of Operational and Axiomatic Semantics (GR, AS), pp. 351–363.

ECIR-2012-KarimzadehganZ #analysis #axiom #information retrieval

Axiomatic Analysis of Translation Language Model for Information Retrieval (MK, CZ), pp. 268–280.

KR-2012-WilsonM #axiom #diagrams #framework #order

An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities (NW, RM).

CAV-2012-Mador-HaimMSMAOAMSW #axiom #memory management #multi

An Axiomatic Memory Model for POWER Multiprocessors (SMH, LM, SS, KM, JA, SO, RA, MMKM, PS, DW), pp. 495–512.

CSL-2012-Kuroda #axiom #bound #concept #proving

Axiomatizing proof tree concepts in Bounded Arithmetic (SK), pp. 440–454.

RTA-2012-Balabonski #axiom

Axiomatic Sharing-via-Labelling (TB), pp. 85–100.

SMT-2012-ConchonMRI #axiom #float #smt

Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers (SC, GM, CR, MI), pp. 12–21.

DUXU-v2-2011-UangLC #approach #axiom #design

A Product Design Approach by Integrating Axiomatic Design and TRIZ (STU, CLL, MC), pp. 225–233.

HCI-DDA-2011-LiangL #axiom #design

Axiomatic Design for Biometric Icons (SFML, CTL), pp. 98–106.

HIMI-v1-2011-GuoPS #axiom #concept #evaluation #usability

A Conceptual Model of the Axiomatic Usability Evaluation Method (YG, RWP, GS), pp. 93–102.

KDD-2011-JinLH #axiom #network #ranking #similarity

Axiomatic ranking of network role similarity (RJ, VEL, HH), pp. 922–930.

POPL-2011-HengleinN #axiom #induction #regular expression

Regular expression containment: coinductive axiomatization and computational interpretation (FH, LN), pp. 385–398.

SAC-2011-BoscP #axiom #flexibility #fuzzy #on the #retrieval

On three fuzzy connectives for flexible data retrieval and their axiomatization (PB, OP), pp. 1114–1118.

CSL-2011-CardelliLM #axiom #logic #markov #metric

Continuous Markovian Logic — From Complete Axiomatization to the Metric Space of Formulas (LC, KGL, RM), pp. 144–158.

CSL-2011-Polonsky #axiom

Axiomatizing the Quote (AP), pp. 458–469.

ICLP-2011-Wilson #axiom #implementation

Implementation of Axiomatic Language (WWW), pp. 290–295.

VMCAI-2011-JacobsK #axiom #reasoning #specification #towards

Towards Complete Reasoning about Axiomatic Specifications (SJ, VK), pp. 278–293.

PODS-2010-KiferL #axiom #privacy #statistics #towards

Towards an axiomatization of statistical privacy and utility (DK, BRL), pp. 147–158.

PLDI-2010-TorlakVD #axiom #memory management #modelling #named #specification

MemSAT: checking axiomatic specifications of memory models (ET, MV, JD), pp. 341–350.

FLOPS-2010-AlvezL #axiom #similarity #strict

A Complete Axiomatization of Strict Equality (JÁ, FJLF), pp. 118–133.

OOPSLA-2010-DilligDA #abstraction #axiom #invariant #memory management

Symbolic heap abstraction with demand-driven axiomatization of memory invariants (ID, TD, AA), pp. 397–410.

PPDP-2010-KameyamaT #axiom #call-by #equation

Equational axiomatization of call-by-name delimited control (YK, AT), pp. 77–86.

STOC-2009-ImpagliazzoKK #approach #axiom

An axiomatic approach to algebrization (RI, VK, AK), pp. 695–704.

KR-2008-SimariBSK #axiom

Promises Kept, Promises Broken: An Axiomatic and Quantitative Treatment of Fulfillment (GIS, MB, VSS, SK), pp. 59–69.

LICS-2008-Moschovakis #axiom #bound

The Axiomatic Derivation of Absolute Lower Bounds (YNM), p. 405.

ESOP-2007-CenciarelliKS #axiom #java #memory management

The Java Memory Model: Operationally, Denotationally, Axiomatically (PC, AK, ES), pp. 331–346.

HCI-IDU-2007-Yenisey #approach #axiom #design #web

Axiomatic Design Approach for E-Commercial Web Sites (MMY), pp. 308–315.

LICS-2007-CohenD #axiom #encryption

A Complete Axiomatization of Knowledge and Cryptography (MC, MD), pp. 77–88.

SIGIR-2006-FangZ #axiom #information retrieval #semantics

Semantic term matching in axiomatic approaches to information retrieval (HF, CZ), pp. 115–122.

FoSSaCS-2005-DengP #axiom #behaviour #finite #probability

Axiomatizations for Probabilistic Finite-State Behaviors (YD, CP), pp. 110–124.

ICML-2005-Meila #axiom #clustering #perspective

Comparing clusterings: an axiomatic view (MM), pp. 577–584.

SIGIR-2005-FangZ #axiom #information retrieval

An exploration of axiomatic approaches to information retrieval (HF, CZ), pp. 480–487.

FLOPS-2004-Ogawa #algebra #axiom #graph

Complete Axiomatization of an Algebraic Construction of Graphs (MO), pp. 163–179.

KR-2004-CondottaL #axiom #calculus

Axiomatizing the Cyclic Interval Calculus (JFC, GL), pp. 95–105.

ICALP-2003-Hannay #axiom #data type #higher-order

Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types (JEH), pp. 903–917.

ICFP-2003-KameyamaH #axiom #continuation

A sound and complete axiomatization of delimited continuations (YK, MH), pp. 177–188.

KR-2002-RandellW #axiom #composition #scalability

Building Large Composition Tables via Axiomatic Theories (DAR, MW), pp. 26–36.

RTA-2002-Mellies #axiom #revisited

Axiomatic Rewriting Theory VI Residual Theory Revisited (PAM), pp. 24–50.

FoSSaCS-2001-AcetoEI #axiom

Axiomatizing Tropical Semirings (LA, ZÉ, AI), pp. 42–56.

FoSSaCS-2001-Tini #axiom #semantics

An Axiomatic Semantics for the Synchronous Language Gentzen (ST), pp. 394–409.

ICALP-2001-BandiniS #axiom #bisimulation #probability

Axiomatizations for Probabilistic Bisimulation (EB, RS), pp. 370–381.

ICALP-2001-HonsellMS #algebra #approach #axiom

An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS (FH, MM, IS), pp. 963–978.

ICALP-2000-BravettiG #axiom #behaviour #congruence #finite

A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors (MB, RG), pp. 744–755.

CSL-2000-Esik #axiom #fixpoint

Axiomatizing the Least Fixed Point Operation and Binary Supremum (ZÉ), pp. 302–316.

LICS-2000-Moszkowski #axiom #infinity #logic

A Complete Axiomatization of Interval Temporal Logic with Infinite Time (BCM), pp. 241–252.

TLCA-1999-DybjerS #axiom #finite #recursion

A Finite Axiomatization of Inductive-Recursive Definitions (PD, AS), pp. 129–146.

FoSSaCS-1998-AcetoFI #axiom #equation

A Cook’s Tour of Equational Axiomatizations for Prefix Iteration (LA, WF, AI), pp. 20–34.

ICALP-1998-TahaBS #axiom #multi #programming #type safety

Multi-Stage Programming: Axiomatization and Type Safety (WT, ZEAB, TS), pp. 918–929.

LICS-1998-FioreH #axiom #game studies #process #recursion #representation

Recursive Types in Games: Axiomatics and Process Representation (MPF, KH), pp. 345–356.

LICS-1998-JohnstonePTWW #algebra #axiom #category theory

An Axiomatics for Categories of Transition Systems as Coalgebras (PJ, JP, TT, HW, JW), pp. 207–213.

ICALP-1997-Fokkink #algebra #axiom #process

Axiomatizations for the Perpetual Loop in Process Algebra (WF), pp. 571–581.

ICFP-1997-LaunchburyS #axiom #monad #type safety

Monadic State: Axiomatization and Type Safety (JL, AS), pp. 227–238.

LICS-1997-FiorePP #axiom #set

Complete Cuboidal Sets in Axiomatic Domain Theory (MPF, GDP, AJP), pp. 268–278.

TLCA-1997-BrandtH #axiom #induction #recursion #similarity #type system

Coinductive Axiomatization of Recursive Type Equality and Subtyping (MB, FH), pp. 63–81.

TLCA-1997-Takeuti #axiom #parametricity

An Axiomatic System of Parametricity (IT), pp. 354–372.

ICALP-1996-ChengK #axiom #constraints #set

A Complete Gentzen-Style Axiomatization for Set Constraints (AC, DK), pp. 134–145.

CADE-1996-Salzer #axiom #multi #quantifier

Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices (GS), pp. 688–702.

CSL-1996-FioreP #axiom #modelling

An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory (MPF, GDP), pp. 129–149.

ICDAR-v1-1995-JonkS #approach #axiom #clustering

An axiomatic approach to clustering line-segments (AJ, AWMS), pp. 386–389.

ICLP-1994-DixM #approach #axiom #semantics #source code

An Axiomatic Approach to Semantics of Disjunctive Programs (JD, MM), pp. 303–320.

LICS-1994-FioreP #axiom #formal method #modelling

An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC (MPF, GDP), pp. 92–102.

KR-1992-Davis92a #axiom #process

Axiomatizing Qualitative Process Theory (ED), pp. 177–188.

ALP-1992-LaneveM #axiom #equivalence #permutation #λ-calculus

Axiomatizing Permutation Equivalence in the λ-Calculus (CL, UM), pp. 350–363.

LICS-1992-Seth #axiom #recursion

There is No Recursive Axiomatization for Feasible Functionals of Type~2 (AS), pp. 286–295.

WSA-1991-Billaud #axiom #backtracking

Axiomatizations of Backtracking (MB), pp. 111–116.

ICALP-1991-Comon #algebra #axiom

Complete Axiomatizations of Some Quotient Term Algebras (HC), pp. 469–480.

ICLP-1991-ColussiM #axiom #correctness #logic programming #proving #semantics #source code #using

Proving Correctness of Logic Programs Using Axiomatic Semantics (LC, EM), pp. 629–642.

LFP-1990-HowardM #axiom #semantics

Operational and Axiomatic Semantics of PCF (BTH, JCM), pp. 298–306.

ALP-1990-BronsardR #axiom #functional #logic

Axiomatization of a Functional Logic Language (FB, USR), pp. 101–116.

LICS-1989-DeganoMM #axiom #process

Axiomatizing Net Computations and Processes (PD, JM, UM), pp. 175–185.

LICS-1989-MasonT #axiom #equivalence

Axiomatizing Operational Equivalence in the Presence of Side Effects (IAM, CLT), pp. 284–293.

PODS-1988-KiferRS #approach #axiom #database #deduction #query #safety

An Axiomatic Approach to Deciding Query Safety in Deductive Databases (MK, RR, AS), pp. 52–60.

LICS-1988-Maher #algebra #axiom #finite #infinity

Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees (MJM), pp. 348–357.

PODS-1987-KarabegKPV #axiom #relational #transaction

Axiomatization and Simplification Rules for Relational Transactions (AK, DK, KP, VV), pp. 254–259.

ICSE-1984-Gerhart #axiom #specification

Application of Axiomatic Methods to a Specification Analyser (SLG), pp. 441–453.

ICALP-1983-AptD #axiom #logic #using

An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract) (KRA, CD), pp. 15–27.

ICALP-1982-Gerth #ada #axiom #hoare

A Sound and Complete Hoare Axiomatization of the Ada-Rendevous (RG), pp. 252–264.

POPL-1982-ClarkeGH #axiom #effectiveness #hoare #logic #on the

On Effective Axiomatizations of Hoare Logics (EMC, SMG, JYH), pp. 309–321.

POPL-1982-MeyerM #axiom #recursion #source code

Axiomatic Definability and Completeness for Recursive Programs (ARM, JCM), pp. 337–346.

POPL-1982-Yemeni #axiom #exception

An Axiomatic Treatment of Exception Handling (SY), pp. 281–288.

ICALP-1981-Courcelle #algorithm #approach #axiom

An Axiomatic Approach to the Korenjak-Hopcroft Algorithms (BC), pp. 393–407.

POPL-1981-HalpernM #axiom #programming language

Axiomatic Definitions of Programming Languages, II (JYH, ARM), pp. 139–148.

STOC-1980-Mirkowska #algorithm #axiom #bound #nondeterminism

Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations (GM), pp. 14–21.

STOC-1980-SadriU #axiom #database #dependence #relational #scalability

A Complete Axiomatization for a Large Class of Dependencies in Relational Databases (FS, JDU), pp. 117–122.

LISP-1980-Cartwright #axiom #data type

A Constructive Alternative to Axiomatic Data Type Definitions (RC), pp. 46–55.

POPL-1980-MeyerH #assessment #axiom #programming language

Axiomatic Definitions of Programming Languages: A Theoretical Assessment (ARM, JYH), pp. 203–212.

ICALP-1979-Schwartz #algol #axiom

An Axiomatic Treatment of Algol 68 Routines (RLS), pp. 530–545.

POPL-1979-ReitmanA #approach #axiom #data flow #source code

Certifying Information Flow Properties of Programs: An Axiomatic Approach (RPR, GRA), pp. 283–290.

VLDB-1978-Kalinichenko #axiom #modelling

Data Models Transformation Method Based on Axiomatic Data Model Extension (LAK), pp. 549–555.

SIGMOD-1977-BeeriFH #axiom #database #dependence #functional #multi

A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations (CB, RF, JHH), pp. 47–61.

STOC-1977-HarelPS #axiom #deduction #proving #recursion #source code

A Complete Axiomatic System for Proving Deductions about Recursive Programs (DH, AP, JS), pp. 249–260.

SOSP-J-1975-OwickiG76 #approach #axiom #parallel #source code #verification

Verifying Properties of Parallel Programs: An Axiomatic Approach (SSO, DG), pp. 279–285.

STOC-1974-CourcelleV #axiom #recursion #semantics

Semantics and Axiomatics of a Simple Recursive Language (BC, JV), pp. 13–26.

ICALP-1974-Roever #approach #axiom #parametricity #recursion

Recursion and Parameter Mechanisms: An Axiomatic Approach (WPdR), pp. 34–65.