English

A Theory of Lazy Imperative Timing

Programming Languages 2018-10-24 v1
Authors: Eric C. R. Hehner
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

We present a theory of lazy imperative timing.

Keywords

lazy imperative timing programming language theory timing formal semantics

Cite

@article{arxiv.1810.09610,
  title  = {A Theory of Lazy Imperative Timing},
  author = {Eric C. R. Hehner},
  journal= {arXiv preprint arXiv:1810.09610},
  year   = {2018}
}

Comments

In Proceedings Refine 2018, arXiv:1810.08739

Related papers

View all related →
Artificial Intelligence · Computer Science
Lazy Explanation-Based Approximation for Probabilistic Logic Programming
Joris Renkens, Angelika Kimmig, Luc De Raedt
2015-07-13
Systems and Control · Computer Science
A theory of passive linear systems with no assumptions
Timothy H. Hughes
2018-01-24
Data Structures and Algorithms · Computer Science
The Lazy Bureaucrat Scheduling Problem
Esther M. Arkin, Michael A. Bender, Joseph S. B. Mitchell, Steven S. Skiena
2017-03-07
Other Statistics · Statistics
An Outline of the Bayesian Decision Theory
H. R. N. van Erp, R. O. Linger, P. H. A. J. M. van Gelder
2015-09-29
Logic in Computer Science · Computer Science
Lazy AC-Pattern Matching for Rewriting
Walid Belkhir, Alain Giorgetti
2012-04-26
Theoretical Economics · Economics
A theory of anticipated surprise for understanding risky intertemporal choices
Ho Ka Chan, Taro Toyoizumi
2025-04-10
cmp-lg · Computer Science
The importance of being lazy -- using lazy evaluation to process queries to HPSG grammars
Thilo Götz, Walt Detmar Meurers
2008-02-03
Systems and Control · Computer Science
Chaotic Characteristics of Discrete-time Linear Inclusion Dynamical Systems
Xiongping Dai, Tingwen Huang, Yu Huang, Mingqing Xiao
2013-07-16
Logic in Computer Science · Computer Science
An Epistemic Strategy Logic (Extended Abstract)
Xiaowei Huang, Ron van der Meyden
2014-04-04
Systems and Control · Electrical Eng. & Systems
A Recursive Delay Estimation Algorithm for Linear Multivariable Systems with Time-varying Delays
Iman Shafikhani, Hazhar Sufi Karimi, Mohammad Mohammadian, Amin Ramezani +1
2021-09-08
Artificial Intelligence · Computer Science
Lazy Evaluation of Symmetric Bayesian Decision Problems
Anders L. Madsen, Finn Verner Jensen
2013-01-30
Logic in Computer Science · Computer Science
Real-time and Probabilistic Temporal Logics: An Overview
Savas Konur
2013-08-06
Logic in Computer Science · Computer Science
On the Lazy Set object
Uri Abraham
2018-11-05
Probability · Mathematics
Towards a theory of negative dependence
Robin Pemantle
2007-06-13
Logic in Computer Science · Computer Science
An Epistemic Strategy Logic
Xiaowei Huang, Ron van der Meyden
2018-07-13
Artificial Intelligence · Computer Science
Decision-making and Fuzzy Temporal Logic
José Cláudio do Nascimento
2019-02-18
Statistical Mechanics · Physics
Delay Estimation from noisy time series
Toru Ohira, Ryusuke Sawatari
2009-10-30
Artificial Intelligence · Computer Science
Arguing for Decisions: A Qualitative Model of Decision Making
Blai Bonet, Hector Geffner
2013-02-18
Logic in Computer Science · Computer Science
Temporal Many-valued Conditional Logics: a Preliminary Report
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024-09-17
Systems and Control · Electrical Eng. & Systems
A Biologically-Inspired Computational Model of Time Perception
Inês Lourenço, Robert Mattila, Rodrigo Ventura, Bo Wahlberg
2023-11-08
Logic · Mathematics
Temporal Landscapes: A Graphical Logic of Behavior
Brendan Fong, Alberto Speranzon, David I. Spivak
2022-11-04
Computation · Statistics
Lazier ABC
Dennis Prangle
2015-01-22
Artificial Intelligence · Computer Science
A Qualitative Theory of Cognitive Attitudes and their Change
Emiliano Lorini
2023-06-22
Logic in Computer Science · Computer Science
Dependence Logics in Temporal Settings
Alexandru Baltag, Johan van Benthem, Dazhu Li
2024-03-29
Artificial Intelligence · Computer Science
Time Perception: A Review on Psychological, Computational and Robotic Models
Hamit Basgol, Inci Ayhan, Emre Ugur
2020-12-29