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:
use (24)
base (23)
check (20)
verif (17)
program (16)

Stem assert$ (all stems)

148 papers:

DATEDATE-2015-BombieriFPS #abstraction #verification
RTL property abstraction for TLM assertion-based verification (NB, RF, GP, FS), pp. 85–90.
DATEDATE-2015-DaneseGP #automation #behaviour #execution #modelling
Automatic extraction of assertions from execution traces of behavioural models (AD, TG, GP), pp. 67–72.
FASEFASE-2015-FedyukovichDHS #bound #dependence #detection #model checking
Symbolic Detection of Assertion Dependencies for Bounded Model Checking (GF, ACD, AEJH, NS), pp. 186–201.
SEFMSEFM-2015-Muhlberg0DLP #learning #source code #verification
Learning Assertions to Verify Linked-List Programs (JTM, DHW, MD, GL, FP), pp. 37–52.
ICEISICEIS-v2-2015-BerardiVC #named
R2BA — Rationalizing R2RML Mapping by Assertion (RB, VMPV, MAC), pp. 5–14.
ESEC-FSEESEC-FSE-2015-GuoKWYG #execution #parallel #source code #symbolic computation #thread
Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.
ESEC-FSEESEC-FSE-2015-XiongH0ZZL
Inner oracles: input-specific assertions on internal states (YX, DH, LZ, TZ, MZ, TL), pp. 902–905.
ESEC-FSEESEC-FSE-2015-ZhangM #correlation #effectiveness #testing
Assertions are strongly correlated with test suite effectiveness (YZ, AM), pp. 214–224.
ICSEICSE-v1-2015-CasalnuovoDOFR #git
Assert Use in GitHub Projects (CC, PTD, AO, VF, BR), pp. 755–766.
ICSEICSE-v1-2015-PastoreM #detection #named
ZoomIn: Discovering Failures by Detecting Wrong Assertions (FP, LM), pp. 66–76.
CADECADE-2015-HouGT #automation #logic #proving #theorem proving
Automated Theorem Proving for Assertions in Separation Logic with All Connectives (ZH, RG, AT), pp. 501–516.
ASEASE-2014-KusanoW #abstraction #optimisation #partial order #reduction
Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction (MK, CW), pp. 175–186.
DACDAC-2014-AthavaleMHV #analysis #source code #test coverage #using
Code Coverage of Assertions Using RTL Source Code Analysis (VA, SM, SH, SV), p. 6.
PLDIPLDI-2014-SampsonPMMGC #probability #verification
Expressing and verifying probabilistic assertions (AS, PP, TM, KSM, DG, LC), p. 14.
SFMSFM-2014-BoerG #monitoring #runtime
Combining Monitoring with Run-Time Assertion Checking (FSdB, SdG), pp. 217–262.
PPDPPPDP-2014-StulovaMH #debugging #higher-order #source code
Assertion-based Debugging of Higher-Order (C)LP Programs (NS, JFM, MVH), pp. 225–235.
FSEFSE-2014-HuoC #detection #quality #testing
Improving oracle quality by detecting brittle assertions and unused inputs in tests (CH, JC), pp. 621–631.
TAPTAP-2014-KosmatovS #analysis #runtime #tutorial
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses — Tutorial Synopsis (NK, JS), pp. 165–168.
CSMRCSMR-2013-AnicheOG #case study #industrial #open source #quality #testing #what
What Do the Asserts in a Unit Test Tell Us about Code Quality? A Study on Open Source and Industrial Projects (MFA, GAO, MAG), pp. 111–120.
ESEC-FSEESEC-FSE-2013-LahiriMSH #difference
Differential assertion checking (SKL, KLM, RS, CH), pp. 345–355.
DATEDATE-2012-GuglielmoGFP #design #embedded #modelling #verification
Enabling dynamic assertion-based verification of embedded software through model-driven design (GDG, LDG, FF, GP), pp. 212–217.
KRKR-2012-WuHTW #knowledge base #query
Assertion Absorption in Object Queries over Knowledge Bases (JW, AKH, DT, GEW).
LOPSTRLOPSTR-2012-SeghirB #array #program transformation #quantifier #verification
Simplifying the Verification of Quantified Array Assertions via Code Transformation (MNS, MB), pp. 194–212.
PPDPPPDP-2012-LamC #datalog #linear #logic #modelling
Modeling datalog fact assertion and retraction in linear logic (ESLL, IC), pp. 67–78.
ICSEICSE-2012-BoosFJK #cyber-physical #debugging #framework #named
BRACE: An assertion framework for debugging cyber-physical systems (KB, CLF, CJ, MK), pp. 1341–1344.
PPoPPPPoPP-2012-DinhAJGMR #debugging #parallel #scalability #statistics
Scalable parallel debugging with statistical assertions (MND, DA, CJ, AG, BM, LDR), pp. 311–312.
DATEDATE-2011-KengSV #automation #debugging
Automated debugging of SystemVerilog assertions (BK, SS, AGV), pp. 323–328.
DATEDATE-2011-LiuSTV #design #generative #towards #using #validation
Towards coverage closure: Using GoldMine assertions for generating design validation stimulus (LL, DS, WT, SV), pp. 173–178.
PEPMPEPM-2011-Chitil #lazy evaluation #semantics
A semantics for lazy assertions (OC), pp. 141–150.
OOPSLAOOPSLA-2011-AftandilianGVY
Asynchronous assertions (EA, SZG, MTV, EY), pp. 275–288.
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-DanielDGJJMNTM #named #testing
ReAssert: a tool for repairing broken unit tests (BD, DD, TG, VJ, JJ, DM, JN, SHT, DM), pp. 1010–1012.
ICSTICST-2011-ShresthaR #empirical #evaluation
An Empirical Evaluation of Assertions as Oracles (KS, MJR), pp. 110–119.
VMCAIVMCAI-2011-CousotCL #contract
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (PC, RC, FL), pp. 150–168.
VMCAIVMCAI-2011-SiegelZ
Collective Assertions (SFS, TKZ), pp. 387–402.
DACDAC-2010-HazraMDPBG #architecture #modelling #verification
Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent (AH, SM, PD, AP, DB, KG), pp. 773–776.
DATEDATE-2010-LammermannRKRVJH #design #towards #verification
Towards assertion-based verification of heterogeneous system designs (SL, JR, TK, WR, AV, AJ, LH), pp. 1171–1176.
DATEDATE-2010-NeishaburiZ #clustering #debugging #performance
Enabling efficient post-silicon debug by clustering of hardware-assertions (MHN, ZZ), pp. 985–988.
DATEDATE-2010-OliveiraZ0 #verification
Assertion-based verification of RTOS properties (MFdSO, HZ, WM), pp. 630–633.
DATEDATE-2010-VasudevanSPTTJ #automation #data mining #generative #mining #named #static analysis #using
GoldMine: Automatic assertion generation using data mining and static analysis (SV, DS, SJP, DT, WT, DRJ), pp. 626–629.
DATEDATE-2010-WenCCL #debugging #named #parallel #runtime #source code
RunAssert: A non-intrusive run-time assertion for parallel programs debugging (CNW, SHC, TFC, TJL), pp. 287–290.
ESOPESOP-2010-NaumannB #bound #first-order #higher-order #information management
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (DAN, AB), pp. 2–22.
FASEFASE-2010-LehnerM #performance #runtime
Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups (HL, PM), pp. 338–352.
SEFMSEFM-2010-BarrosCHP #graph #slicing
Assertion-based Slicing and Slice Graphs (JBB, DCdC, PRH, JSP), pp. 93–102.
SEFMSEFM-2010-HussainL #ml #named #runtime #specification
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties (FH, GTL), pp. 63–72.
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.
ISMMISMM-2010-VechevYY #named #parallel
PHALANX: parallel checking of expressive heap assertions (MTV, EY, GY), pp. 41–50.
ASEASE-2009-DanielJDM #named #testing
ReAssert: Suggesting Repairs for Broken Unit Tests (BD, VJ, DD, DM), pp. 433–444.
DACDAC-2009-SiegelMP #debugging #performance
Untwist your brain: efficient debugging and diagnosis of complex assertions (MS, AM, CP), pp. 644–647.
PLDIPLDI-2009-AftandilianG #garbage collection #using
GC assertions: using the garbage collector to check heap properties (EA, SZG), pp. 235–244.
SASSAS-2009-SeghirPW #abstraction #array #quantifier #refinement
Abstraction Refinement for Quantified Array Assertions (MNS, AP, TW), pp. 3–18.
CIKMCIKM-2009-LinEF #identification #web
Identifying interesting assertions from the web (TL, OE, JF), pp. 1787–1790.
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-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.
ESEC-FSEESEC-FSE-2009-BurnimS #parallel #source code #thread
Asserting and checking determinism for multithreaded programs (JB, KS), pp. 3–12.
SOSPSOSP-2009-YipWZK #data flow #security
Improving application security with data flow assertions (AY, XW, NZ, MFK), pp. 291–304.
ICLPICLP-2009-MeraLH #framework #runtime #testing #verification
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework (EM, PLG, MVH), pp. 281–295.
ICSTICST-2009-KorelZT #source code #validation
Assertion-Based Validation of Modified Programs (BK, QZ, LT), pp. 426–435.
ICSTICST-2009-MurphySK #ml #runtime #testing #using
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles (CM, KS, GEK), pp. 436–445.
DACDAC-2008-TurumellaS #concurrent #thread #verification
Assertion-based verification of a 32 thread SPARCTM CMT microprocessor (BT, MS), pp. 256–261.
FMFM-2008-ChalinR #fault #ml #performance #runtime #using
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity (PC, FR), pp. 246–261.
FSEFSE-2008-KoesnandarERHSS #metaprogramming #using #web
Using assertions to help end-user programmers create dependable web macros (AK, SGE, GR, LH, CS, KTS), pp. 124–134.
PPoPPPPoPP-2008-SandersK #memory management #modelling #reasoning
Assertional reasoning about data races in relaxed memory models (BAS, KK), pp. 267–268.
CAVCAV-2008-Foster #industrial #tutorial #verification
Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial) (HF), pp. 5–10.
VMCAIVMCAI-2008-Moy #composition
Sufficient Preconditions for Modular Assertion Checking (YM), pp. 188–202.
ASEASE-2007-ElkarabliehGSK #data type
Assertion-based repair of complex data structures (BE, IG, YLS, SK), pp. 64–73.
DATEDATE-2007-EckerESVH #framework #implementation #interactive #transaction
Interactive presentation: Implementation of a transaction level assertion framework in SystemC (WE, VE, TS, MV, MH), pp. 894–899.
ICEISICEIS-EIS-2007-SomeN #case study #consistency #requirements #verification
Use Case Based Requirements Verification — Verifying the Consistency between Use Cases and Assertions (SSS, DKN), pp. 190–195.
SACSAC-2007-DinakarpandianTL #modelling #semantics #web
Modeling biomedical assertions in the semantic web (DD, TT, YL), pp. 1357–1361.
ICSEICSE-2007-Chalin #compilation #evolution #semantics #verification
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler (PC), pp. 23–33.
VMCAIVMCAI-2007-GulwaniT
Assertion Checking Unified (SG, AT), pp. 363–377.
ASEASE-2006-Ireland #automation #logic #refinement #towards
Towards Automatic Assertion Refinement for Separation Logic (AI), pp. 309–312.
ASEASE-2006-LohmannES #contract #generative #modelling #monitoring #visual notation
Model-driven Monitoring: Generating Assertions from Visual Contracts (ML, GE, SS), pp. 355–356.
DATEDATE-2006-BombieriFP #evaluation #on the #reuse #verification
On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL (NB, FF, GP), pp. 1007–1012.
DATEDATE-2006-HabibiTSLM #performance #using #verification
Efficient assertion based verification using TLM (AH, ST, AS, DL, OAM), pp. 106–111.
DATEDATE-DF-2006-DasMDC #synthesis
Synthesis of system verilog assertions (SD, RM, PD, PPC), pp. 70–75.
ESOPESOP-2006-GulwaniT #abstraction #linear
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions (SG, AT), pp. 279–293.
IFLIFL-2006-ChitilH #haskell #lazy evaluation #logic
A Pattern Logic for Prompt Lazy Assertions in Haskell (OC, FH), pp. 126–144.
CAVCAV-2006-BustanH #complexity
Some Complexity Results for SystemVerilog Assertions (DB, JH), pp. 205–218.
CAVCAV-2006-SethiB #c #deduction #named
cascade: C Assertion Checker and Deductive Engine (NS, CB), pp. 166–169.
FATESFATES-RV-2006-ArmoniKTVZ #linear #monitoring
Deterministic Dynamic Monitors for Linear-Time Assertions (RA, DK, AT, MYV, YZ), pp. 163–177.
ISSTAISSTA-2006-LenceviciusM #mobile #performance
Performance assertions for mobile devices (RL, EM), pp. 225–232.
ASEASE-2005-JurjensY #analysis #security
Code security analysis with assertions (JJ, MY), pp. 392–395.
DATEDATE-2005-GadkariR #automation #monitoring #specification #synthesis #using #visual notation
Automated Synthesis of Assertion Monitors using Visual Specifications (AAG, SR), pp. 390–395.
DATEDATE-2005-YuWCHYB #architecture #design #network
Assertion-Based Design Exploration of DVS in Network Processor Architectures (JY, WW, XC, HH, JY, FB), pp. 92–97.
ESOPESOP-2005-WildmoserN #bytecode #safety
Asserting Bytecode Safety (MW, TN), pp. 326–341.
WCREWCRE-2005-WangCD #security #using
Enhancing Security Using Legality Assertions (LW, JRC, TRD), pp. 35–44.
SEFMSEFM-2005-Chalin #logic #question #what
Logical Foundations of Program Assertions: What do Practitioners Want? (PC), pp. 383–393.
SEFMSEFM-2005-WilsonMC #approach #configuration management #flexibility #policy #verification
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification (TW, SM, RGC), pp. 150–159.
ICEISICEIS-v1-2005-PequenoA #semantics #using
Using Correspondence Assertions to Specify the Semantics of Views in an Object-Relational Data Warehouse (VMP, JNA), pp. 219–225.
SACSAC-2005-Lu #correctness #declarative
Use of correctness assertions in declarative diagnosis (LL), pp. 1404–1408.
DATEDATE-DF-2004-ChenLHBB #design #network
Utilizing Formal Assertions for System Design of Network Processors (XC, YL, HH, LNB, FB), pp. 126–133.
DATEDATE-v1-2004-BrunelNFGL #development #named #process
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract (JYB, MDN, AF, PG, LL), pp. 358–363.
ITiCSEITiCSE-2004-Ginat #design
Embedding instructive assertions in program design (DG), pp. 62–66.
FoSSaCSFoSSaCS-2004-Leivant #correctness #logic
Partial Correctness Assertions Provable in Dynamic Logics (DL), pp. 304–317.
ICSMEICSM-2004-SatpathySR #analysis #case study #maintenance #object-oriented
Assertions in Object Oriented Software Maintenance: Analysis and a Case Study (MS, NTS, DR), pp. 124–135.
IFMIFM-2004-MorilloV #compilation
A Method for Compiling and Executing Expressive Assertions (FJGM, JMCV), pp. 521–540.
LICSLICS-2004-Leivant #logic #proving #termination
Proving Termination Assertions in Dynamic Logics (DL), pp. 89–98.
DATEDATE-2003-Ziv #functional #metric
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions (AZ), pp. 10834–10841.
FMFME-2003-Henderson #correctness #proving #using
Proving the Correctness of Simpson’s 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method (NH), pp. 244–263.
IFLIFL-2003-ChitilMR #lazy evaluation
Lazy Assertions (OC, DM, CR), pp. 1–19.
ICSEICSE-2003-BurnettCPRSW #paradigm #re-engineering #spreadsheet
End-User Software Engineering with Assertions in the Spreadsheet Paradigm (MMB, CRC, OP, GR, JS, CSW), pp. 93–105.
CBSECBSE-2003-Heineman #component #interface #modelling
Integrating Interface Assertion Checkers into Component Models (GTH), p. 9.
ESOPESOP-2002-GoubaultMP #float #interpreter #precise
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter (EG, MM, SP), pp. 209–212.
ICSMEICSM-2002-MullerTH #programming
Two Controlled Experiments Concerning the Usefulness of Assertions as a Means for Programming (MMM, RT, OH), pp. 84–92.
SEKESEKE-2002-BaresiDMP #debugging
Assertions to better specify the amazon bug (LB, GD, LM, PP), pp. 585–592.
TOOLSTOOLS-USA-2002-Nunes #contract #design #using
Design by Contract Using Meta-Assertions (IN), pp. 37–56.
TOOLSTOOLS-USA-2002-Plosch #evaluation #java #programming language
Evaluation of Assertion Support for the Java Programming Language (RP), pp. 5–17.
LCTESLCTES-SCOPES-2002-JhumkaHCS #consistency #design #embedded #execution #on the
On systematic design of globally consistent executable assertions in embedded software (AJ, MH, VC, NS), pp. 75–84.
PLDIPLDI-2001-MollerS #logic #pointer
The Pointer Assertion Logic Engine (AM, MIS), pp. 221–231.
TOOLSTOOLS-EUROPE-2001-Hoare
Growing Use of Assertions (CARH), p. 3.
POPLPOPL-2001-IshtiaqO #data type
BI as an Assertion Language for Mutable Data Structures (SSI, PWO), pp. 14–26.
CAVCAV-2001-AronsPRXZ #automation #induction #verification
Parameterized Verification with Automatically Computed Inductive Assertions (TA, AP, SR, JX, LDZ), pp. 221–234.
DACDAC-2000-HuangC #composition #constraints
Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques (CYH, KTC), pp. 118–123.
TOOLSTOOLS-EUROPE-2000-Guerreiro #c++
Another Mediocre Assertion Mechanism for C++ (PG), pp. 226–237.
CADECADE-2000-Meier #proving
System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level (AM), pp. 460–464.
TOOLSTOOLS-ASIA-1999-KatribFP #java #thread #using
Synchronizing Java Threads Using Assertions (MK, DF, EP), pp. 51–60.
LOPSTRLOPSTR-1999-PueblaBH #constraints #debugging #logic programming #source code
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs (GP, FB, MVH), pp. 273–292.
DACDAC-1998-WangAK #array #automation #evaluation #generative #using #verification
Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation (LCW, MSA, NK), pp. 534–537.
DACDAC-1997-HasteerMB #performance
An Efficient Assertion Checker for Combinational Properties (GH, AM, PB), pp. 734–739.
OOPSLAOOPSLA-1997-Kent #constraints #diagrams #modelling #object-oriented #visualisation
Constraint Diagrams: Visualizing Assertions in Object-Oriented Models (SK), pp. 327–341.
TACASTACAS-1996-CuellarBH #agile #prototype #specification
Rapid Prototyping for an Assertional Specification language (JC, DB, MH), pp. 402–406.
ICSEICSE-1996-KorelA #automation #generative #testing
Assertion-Oriented Automated Test Data Generation (BK, AMAY), pp. 71–80.
ICSEICSE-1996-RomanMP #interactive #mobile #reasoning
Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing (GCR, PJM, JYP), pp. 155–164.
ICLPJICSLP-1996-CostantiniLM #semantics
Asserting Lemmas in the Stable Model Semantics (SC, GAL, GM), pp. 438–452.
CAVCAV-1995-AndersenV #behaviour #fixpoint #performance #using
Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion (HRA, BV), pp. 142–154.
ECOOPECOOP-1994-LampingA
Methods as Assertions (JL, MA), pp. 60–80.
TOOLSTOOLS-EUROPE-1994-Carrillo-CastellonMP #smalltalk
Eiffel-like Assertions and Private Methods in Smalltalk (MCC, JGM, EP), pp. 479–488.
CADECADE-1994-Huang #proving #re-engineering
Reconstruction Proofs at the Assertion Level (XH), pp. 738–752.
ESECESEC-1993-Bourdoncle #abstract interpretation #debugging #imperative #source code
Assertion-based Debugging of Imperative Programs by Abstract Interpretation (FB), pp. 501–516.
SOSPSOSP-1993-PerlW #performance
Performance Assertion Checking (SEP, WEW), pp. 134–145.
ICLPILPS-1993-OsorioJ #set
Subset Assertions and Negation As Failure (MO, BJ), p. 637.
ICSEICSE-1992-Rosenblum #programming #towards
Towards a Method of Programming With Assertions (DSR), pp. 92–104.
SOSPSOSP-WIP-1991-Perl92 #performance
Performance Assertion Checking (Abstract) (SEP), p. 25.
KRKR-1991-Schaub #perspective #semantics
Assertional Default Theories: A Semantical View (TS), pp. 496–506.
ESECESEC-1991-GhezziK #named #realtime #specification
ASTRAL: An Assertion Language for Specifying Realtime Systems (CG, RAK), pp. 122–146.
ICLPISLP-1991-DietzenP #declarative #logic programming
A Declarative Alternative to “Assert” in Logic Programming (SD, FP), pp. 372–386.
ICALPICALP-1988-Tel #protocol #verification
Assertional Verification of a Timer Based Protocol (GT), pp. 600–614.
ICLPJICSCP-1988-MillsB88
Assertive Demons (JWM, KAB), pp. 1403–1414.
ICLPSLP-1984-Nakagawa84 #parallel #prolog #set
AND Parallel PROLOG with Divided Assertion Set (HN), pp. 22–28.
ICALPICALP-1983-AptD #axiom #logic #using
An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract) (KRA, CD), pp. 15–27.
SIGMODSIGMOD-1982-BernsteinB #calculus #performance #quantifier #relational #testing
Fast Methods for Testing Quantified Relational Calculus Assertions (PAB, BTB), pp. 39–50.
VLDBVLDB-1980-BernsteinBC #maintenance #performance #semantics #using
Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data (PAB, BTB, EMC), pp. 126–136.
SIGMODSIGMOD-1978-HammerS #database #monitoring #performance
Efficient Monitoring of Database Assertions (Abstract) (MH, SKS), p. 159.
ICSEICSE-1976-Chow
A Generalized Assertion Language (TSC), pp. 392–399.
ICSEICSE-1976-MannaW #correctness #proving
Is “Sometime” Sometimes Better Than “Always”? Intermittent Assertions in Proving Program Correctness (ZM, RJW), pp. 32–39.
STOCSTOC-1975-OppenC #data type #proving #source code
Proving Assertions about Programs that Manipulate Data Structures (DCO, SAC), pp. 107–116.
POPLPOPL-1975-CookO #data type
An Assertion Language for Data Structures (SAC, DCO), pp. 160–166.

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.