scispace - formally typeset
Search or ask a question
JournalISSN: 0167-6423

Science of Computer Programming 

Elsevier BV
About: Science of Computer Programming is an academic journal published by Elsevier BV. The journal publishes majorly in the area(s): Computer science & Correctness. It has an ISSN identifier of 0167-6423. Over the lifetime, 2099 publications have been published receiving 62452 citations.

More filters
Journal ArticleDOI
TL;DR: It is intended to demonstrate here that statecharts counter many of the objections raised against conventional state diagrams, and thus appear to render specification by diagrams an attractive and plausible approach.

7,184 citations

Journal ArticleDOI
TL;DR: This paper presents the imperative primitives of E esterel and the temporal manipulations they permit, and shows how the E Esterel v2 and V3 compilers efficiently translate concurrent E esteretl programs into efficient equivalent sequential automata that can be implemented in conventional sequential languages.

1,817 citations

Journal ArticleDOI
TL;DR: ATL: a model transformation language and its execution environment based on the Eclipse framework is presented and ATL tools provide support for the major tasks involved in using a language: editing, compiling, executing, and debugging.

1,047 citations

Journal ArticleDOI
TL;DR: Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon invariant detector reports likely program invariants, a property that holds at a certain point or points in a program.

1,040 citations

No. of papers from the Journal in previous years