BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters

(1, 2) , (1) , (1) , (2)
1
2

Domains

Computer Science [cs] Programming Languages [cs.PL]

Pascal Fradet  : Connect in order to contact the contributor

https://hal.inria.fr/hal-00923672

Submitted on : Friday, January 3, 2014-5:43:10 PM

Last modification on : Tuesday, August 2, 2022-4:24:30 AM

Not file

Dates and versions

hal-00923672 , version 1 (03-01-2014)

Identifiers

  • HAL Id : hal-00923672 , version 1

Cite

Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur. BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters. The Tenth Biennial Ptolemy Miniconference, Nov 2013, Berkeley, United States. ⟨hal-00923672⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UGA CNRS INRIA IRISA LIG INRIA2 LIG-MFML-SPADES UR1-MATH-STIC UR1-UFR-ISTIC UR1-MATH-NUM LIG_SIDCH
173 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More