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.