Generative programming with support for formal verification

Paška, Marek

doi:10.1109/sies.2009.5196194

Search citation statements

Order By: Relevance

Paper Sections

Select...

Generated C Code1

B Our Toolchain1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2011

Publication Types

Select...

Other1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(2 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Proper investigation of the C code is beyond the scope of this paper. In our previous work [7], we show that the memory footprint is not heavily affected by the fact that the program was generated from abstract high level description. Of course, hand-written C code may be more efficient, mainly because of manual memory management.…”

Section: Generated C Codementioning

confidence: 73%

“…Whereas standard Python programs use locks from POSIX threads, Java uses its own monitors. In our parlib library, we implemented monitors for Python programs; see also our previous work [7]. Significant advantage of this method is that Java native monitors help Java Pathfinder to perform state-space optimizations because it is optimized for this lock semantics.…”

Section: B Our Toolchainmentioning

confidence: 99%

See 1 more Smart Citation