Value semantics

In computer science, having value semantics (also value-type semantics or copy-by-value semantics) means for an object that only its value counts…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2013

In the context of the EU FP7 project ''OSSMETER'' we are developing an infra-structure for measuring source code. The goal of…

2013

The SPOT database concept was defined several years ago to provide a declarative framework for probabilistic spatio-temporal…

2012

Recently it has become possible to verify full functional correctness of certain kinds of software using automated theorem…

2010

Traversal, Case Analysis, and Lowering for C++ Program Analysis. (August 2009) Luke A. Wagner, B.S., Texas A&M University Chair…

2008

In the first author's thesis [10], a sequential language, LRT, for real number computation is investigated. That thesis includes…

2007

Although wireless sensor network applications share a common set of limitations (e.g. resource scarcity and lossy radio…

2007

Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing…

2003

This paper presents a framework for compositional verification of Object-Z specifications. Its key feature is a proof rule based…

1994

We discuss our experience in implementing Ada 9x tagged types in the GNU NYU Ada Translator (GN,AT). This paper is organized in 3…

1991