## Stem nonstandard$ (all stems)

### 9 papers:

- DLT-2014-KociumakaRRW #standard #word
- Maximum Number of Distinct and Nonequivalent Nonstandard Squares in a Word (TK, JR, WR, TW), pp. 215–226.
- POPL-2014-AccattoliBKL #standard #theorem
- A nonstandard standardization theorem (BA, EB, DK, CL), pp. 659–670.
- POPL-2013-SuenagaSH #modelling #standard
- Hyperstream processing systems: nonstandard modeling of continuous-time signals (KS, HS, IH), pp. 417–430.
- CAV-2012-HasuoS #hybrid #standard #static analysis
- Exercises in Nonstandard Static Analysis of Hybrid Systems (IH, KS), pp. 462–478.
- POPL-2007-SiskindP #standard
- First-class nonstandard interpretations by opening closures (JMS, BAP), pp. 71–76.
- CADE-1998-FleuriotP #analysis #geometry #proving #standard #theorem proving
- A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton’s Principia (JDF, LCP), pp. 3–16.
- ALP-1988-Pasztor #logic #recursion #semantics #source code #standard
- Nonstandard Logics of Recursive Programs and Denotational Semantics (AP), pp. 255–278.
- LICS-1986-MakowskyS #equivalence #higher-order #on the #semantics #standard #verification
- On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems (JAM, IS), pp. 293–300.
- ICALP-1985-Hortala-GonzalezR #hoare #logic #nondeterminism #source code #standard #theorem
- Hoare’s Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem (MTHG, MRA), pp. 270–280.