{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:15:50Z","timestamp":1748751350881},"reference-count":35,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2004,8,1]],"date-time":"2004-08-01T00:00:00Z","timestamp":1091318400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2004,8]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>Development environments based on the synchronous paradigm do not offer many validation tools dedicated to numerical aspects, while various techniques are well known. Actually it appears that in the most general case models are extended with a special value that makes explicit the absence of discrete events at a given instant, which prevents from directly taking advantage of existing methods. This paper deals with absence handling in the context of the synchronous paradigm. With this focus it first surveys the main languages and stresses the importance of clocks, then it discusses our \u201cClock Language\u201d that makes possible the handling of numerical aspects without explicit absence.<\/jats:p>","DOI":"10.1007\/s00165-004-0039-4","type":"journal-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T06:34:07Z","timestamp":1087886047000},"page":"263-291","source":"Crossref","is-referenced-by-count":5,"title":["Specification and analysis of synchronous reactions"],"prefix":"10.1145","volume":"16","author":[{"given":"Mirabelle","family":"Nebut","sequence":"first","affiliation":[{"name":"Universit\u00e9 des Sciences et Technologies de Lille, Universit\u00e9 de La Rochelle, L3I, B\u00e2timent LIFL, 59655, Villeneuve d\u2019Ascq C\u00e9dex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"p_1","volume-title":"Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI)","volume":"173","author":"Amagb\u00e9gnon P","year":"1995"},{"key":"p_2","volume-title":"Synchronous languages, applications, and programming, Porto, Portugal, Electronic Notes in Theor Comput Sci (in press)","author":"Aguado J","year":"2004"},{"key":"p_4","volume-title":"IEEE-SMC conference on computational engineering in systems applications CESA'96","author":"And C","year":"1996"},{"issue":"1","key":"p_5","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","article-title":"Synchronous languages twelve years later","volume":"91","author":"Benveniste A","year":"2002","journal-title":"Proc IEEE"},{"key":"p_6","first-page":"162","volume-title":"CONCUR'99, Lecture notes in computer science, vol 1664","author":"Benveniste A","year":"1999"},{"key":"p_8","volume-title":"The constructive semantics of esterel. Draft book. current version 3.0","author":"Ber G","year":"1999"},{"key":"p_9","series-title":"Foundations of Computing Series","volume-title":"Plotkin G, Stirling C, Tofte M (eds) Essays in honour of Robin Milner","author":"Ber G","year":"2000"},{"issue":"2","key":"p_10","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","article-title":"The Esterel synchronous programming language: design, semantics, implementation. Sci","volume":"19","author":"Berry G","year":"1992","journal-title":"Comput Programming"},{"issue":"2","key":"p_11","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0167-6423(91)90001-E","article-title":"Synchronous programming with events and relations: the Signal language and its semantics","volume":"16","author":"Benveniste A","year":"1991","journal-title":"Sci Comput Programming"},{"key":"p_12","volume-title":"ACM transactions on software engineering and methodology (TOSEM) 9(1):3-50.","author":"Bultan T","year":"2000"},{"issue":"2","key":"p_13","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1016\/0890-5401(92)90030-J","article-title":"A denotational theory of synchronous reactive systems","volume":"99","author":"Benveniste A","year":"1992","journal-title":"Inf Comput"},{"key":"p_14","first-page":"51","volume-title":"Static analysis. LNCS, vol 1694","author":"Besson F","year":"1999"},{"key":"p_16","first-page":"80","volume-title":"First international workshop, EMSOFT","author":"Cas P","year":"2001"},{"key":"p_17","first-page":"226","volume-title":"Proceedings of the 1996 ACM SIGPLAN international conference on functional programming (ICFP '96)","author":"Caspi P","year":"1996"},{"key":"p_18","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-44404-1_12","volume-title":"7th international conference on logic for programming and automated reasoning","author":"Dumas C","year":"2000"},{"key":"p_19","volume-title":"The common formats of synchronous languages: the declarative code DC. Deliverable of the Eureka Synchron project. available at ftp:\/\/ftp.imag.fr\/pub\/labo-VERIMAG\/LUSTRE\/DC\/dcdoc.ps.gz","year":"1995"},{"key":"p_20","volume-title":"Fifth international symposium on the theory and applications of satisfiability testing (SAT'02)","author":"de Moura L","year":"2002"},{"key":"p_21","volume-title":"INRIA","author":"Gautier T","year":"1994"},{"key":"p_22","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-63166-6_10","volume-title":"Conference on computer aided verification CAV'97","author":"Graf S","year":"1997"},{"key":"p_23","volume-title":"Synchronous programming of reactive systems","author":"Hal N","year":"1993"},{"key":"p_24","first-page":"179","volume-title":"International symposium on static analysis, SAS'94","author":"Hal N","year":"1994"},{"key":"p_25","first-page":"1","volume-title":"Tenth international conference on computer-aided verification, CAV'98","author":"Hal N","year":"1998"},{"issue":"3","key":"p_26","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: a visual formalism for complex systems","volume":"8","author":"Har D","year":"1987","journal-title":"Sci Comput Programming"},{"issue":"9","key":"p_27","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","article-title":"The synchronous dataflow programming language Lustre","volume":"79","author":"Halbwachs N","year":"1991","journal-title":"Proc IEEE"},{"issue":"9","key":"p_28","first-page":"785","article-title":"Programming and verifying real-time systems by means of the synchronous data-flow programming language Lustre","volume":"18","author":"Halbwachs N","year":"1992","journal-title":"IEEE Trans Software Engin Spec Issue Specification Anal Real-Time Syst"},{"issue":"1","key":"p_29","first-page":"5","article-title":"Dynamic partitioning in linear relation analysis. Application to the verification of synchronous programs. Technical Report RS-00-38","volume":"23","author":"Jea B","year":"2000","journal-title":"BRICS. Formal Methods Syst Des"},{"key":"p_30","first-page":"471","volume-title":"Proceedings of IFIP congress 74","author":"Kah G","year":"1974"},{"key":"p_31","volume-title":"Synchronous languages, applications, programming","author":"Luettgen G","year":"2002"},{"key":"p_32","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BFb0014322","volume-title":"Proceedings of the fifth international conference on algebraic methodology and software technology (AMAST'96)","author":"Le Borgne M","year":"1996"},{"key":"p_33","volume-title":"IEEE workshop on visual languages","author":"Mar F","year":"1991"},{"key":"p_34","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/BFb0055148","volume-title":"Theorem proving in higher order logics (TPHOLs'98)","author":"Nowak D","year":"1998"},{"key":"p_36","volume-title":"Synchronous languages, applications, and programming, Porto, Portugal. Electronic Notes in Theor Comput Sci (in press)","author":"Neb M","year":"2004"},{"key":"p_38","volume-title":"Synchronous languages, applications, and programming","author":"Nebut M","year":"2002"},{"key":"p_39","first-page":"494","volume-title":"10th international conference on concurrency theory (CONCUR'99)","author":"Nowak D","year":"1999"},{"issue":"9","key":"p_40","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1109\/5.97301","article-title":"Programming real-time applications with SIGNAL","volume":"79","author":"Le Guernic P","year":"1991","journal-title":"Proc IEEE"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-004-0039-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-004-0039-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-004-0039-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:39:59Z","timestamp":1641483599000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-004-0039-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,8]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,8]]}},"alternative-id":["10.1007\/s00165-004-0039-4"],"URL":"https:\/\/doi.org\/10.1007\/s00165-004-0039-4","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,8]]}}}