In Proceedings of the ACM Symposium on Principles of Programming Languages (POPL'01). ACM Press, 81-92.Chin Soon Lee, Neil D. Jones, and Amir M. Ben-Amram. The size-change principle for program termination. In
For this reason, it makes sense to elect any one of those languages as a representative of this asymptotic notion of complexity. We can also drop the dependence on L and refer to the algorithmic complexity C(x) as an inherent property of the sequence. It's easy to realize that there exi...
agent program: the programming implementation of an agent function the structure of agents: platform computing device sensors actuators agent program ⊃⊃ agent function three ways to present states for an agent: atomic: each state is a black box with no internal structure factored: each st...
Last year, PPoPP 2015 successfully ran artifact evaluation process for the first time. PPoPP 2016 continues this experiment. Authors of accepted papers will be invited to formally submit their supporting materials to the Artifact Evaluation process. The Artifact Evaluation process is run by a separate...
The co-induction principle also provides an apparently useful tool for reasoning about equality of elements of recursively defined datatypes in (strict or lazy) higher-order functional programming languages.doi:10.1016/0304-3975(94)90014-0Andrew M Pitts...
which does not betray whether they are implemented through storage or through computation." This principle applies generally to object-oriented programming languages. In simpler form, it states that there should be no difference between working with an attribute, precomputed property, or method/query....
Stigma has negative effects on people with mental health problems by making them less likely to seek help. We develop a proof of principle service user supervised machine learning pipeline to identify stigmatising tweets reliably and understand the preva
Natural language syntax yields an unbounded array of hierarchically structured expressions. We claim that these are used in the service of active inference
Software Design Principle:Software Design Principles represent a set of guidelines that help us to avoid having a bad design. These are less about specific languages or paradigms and more generally "Don't Repeat Yourself" (DRY); the DRY principle is true for all programming. ...
We are ready to map the open-closed principle from object- oriented programming languages to use cases. We will try to apply the same approach in two parallel situations: • A base class is extended by redefinition of an operation in a specialized class (the simple addition of a new ...