نتایج جستجو برای: program runtime logic

تعداد نتایج: 605136  

Journal: :IEEE Transactions on Software Engineering 2013

2010
Stephan van Staden Cristiano Calcagno Bertrand Meyer

Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at runtime whether an assertion, such as a precondition or class invariant, holds. In this work, we show how separation logic can be used to verify that these executable specifications will always hold at runtime. Both ...

Journal: :روش های عددی در مهندسی (استقلال) 0
کمال میرطلائی و سیدسعید مهینی k. mirtalaei and s.s. mahini

at present, the tubular structural systems are mainly used in tall buildings to withstand earthquake loads. although it is possible to analyse the structure by finite element methods using standard three dimensional programs, the system is generally time-consuming and expensive in the primary design work. in this paper, for the analysis of framed-tube systems, a simple method was studied and de...

Journal: :CoRR 2014
Heike Stephan

My research goal is to employ a parser generation algorithm based on the Earley parsing algorithm to the evaluation and compilation of queries to logic programs, especially to deductive databases. By means of partial deduction, from a query to a logic program a parameterized automaton is to be generated that models the evaluation of this query. This automaton can be compiled to executable code;...

Journal: :CoRR 2014
Paul Tarau Fahmida Hamid

Unification of logic variables instantly connects present and future observations of their value, independently of their location in the data areas of the runtime system. The paper extends this property to “interclausal logic variables”, an easy to implement Prolog extension that supports instant global information exchanges without dynamic database updates. We illustrate their usefulness with ...

2007
Karen Zee Viktor Kuncak Martin Rinard

One of the goals of program verification is to show that a program conforms to a specification written in a formal logic. Oftentimes, this process is hampered by errors in both the program and the specification. The time spent in identifying and eliminating these errors can even dominate the final verification effort. A runtime checker that can evaluate formal specifications can be extremely us...

2015
Klaus Havelund Giles Reger

Specification-based runtime verification is a technique for monitoring program executions against specifications formalized in formal logic. Such logics are usually temporal in nature, capturing the relation between events occurring at different time points. A particular challenge in runtime verification is the elegant specification and efficient monitoring of streams of events that carry data,...

1999
Matthew C. Merten Andrew R. Trick Christopher N. George John C. Gyllenhaal Wen-mei W. Hwu

This paper presents a novel hardware-based approach for identifying, pro ling, and monitoring hot spots in order to support runtime optimization of generalpurpose programs. The proposed approach consists of a set of tightly coupled hardware tables and control logic modules that are placed in the retirement stage of a processor pipeline removed from the critical path. The features of the propose...

1999
Matthew C. Merten Andrew R. Trick Christopher N. George John C. Gyllenhaal Wen-mei W. Hwu

This paper presents a novel hardware-based approach for identifying, prooling, and monitoring hot spots in order to support runtime optimization of general-purpose programs. The proposed approach consists of a set of tightly coupled hardware tables and control logic modules that are placed in the retirement stage of a processor pipeline removed from the critical path. The features of the propos...

Journal: :Formal Methods in System Design 2004
Klaus Havelund Grigore Rosu

We present an overview of the Java PathExplorer runtime verification tool, in short referred to as JPaX. JPaX can monitor the execution of a Java program and check that it conforms with a set of user provided properties formulated in temporal logic. JPaX can in addition analyze the program for concurrency errors such as deadlocks and data races. The concurrency analysis requires no user provide...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید