liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
PARFORMAN - an Assertion Language for Specifying Behavior when Debugging Parallel Applications
New Mexico State University Las Cruces, USA.
Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.ORCID-id: 0000-0002-3435-4996
1996 (Engelska)Ingår i: International journal of software engineering and knowledge engineering, ISSN 0218-1940, Vol. 6, nr 4, s. 609-640Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

PARFORMAN (PARallel FORMal ANnotation language) is a high-level specification language for expressing intended behavior or known types of error conditions when debugging or testing parallel programs. Models of intended or faulty target program behavior can be succinctly specified in PARFORMAN. These models are then compared with the actual behavior in terms of execution traces of events, in order to localize possible bugs. PARFORMAN can also be used as a general language for expressing computations over target program execution histories. PARFORMAN is based on a precise axiomatic model of target program behavior. This model, called H-space (History-space), is formally defined through a set of general axioms about three basic relations, which may or may not hold between two arbitrary events: they may be sequentially ordered (SEQ), they may be parallel (PAR), or one of them might be included in another composite event (IN). The general notion of composite event is exploited systematic.

Ort, förlag, år, upplaga, sidor
1996. Vol. 6, nr 4, s. 609-640
Nationell ämneskategori
Elektroteknik och elektronik
Identifikatorer
URN: urn:nbn:se:liu:diva-109755DOI: 10.1142/S0218194096000259OAI: oai:DiVA.org:liu-109755DiVA, id: diva2:741184
Tillgänglig från: 2014-08-27 Skapad: 2014-08-27 Senast uppdaterad: 2017-12-05Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Fritzson, Peter

Sök vidare i DiVA

Av författaren/redaktören
Fritzson, Peter
Av organisationen
Institutionen för datavetenskapTekniska högskolan
I samma tidskrift
International journal of software engineering and knowledge engineering
Elektroteknik och elektronik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 91 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf