FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2062581054> ?p ?o ?g. }

• W2062581054 endingPage "94" @default.
• W2062581054 startingPage "69" @default.
• W2062581054 abstract "A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming and reasoning about interactive computing systems have been recently introduced by Stefanescu using register machines and space-time duality, see [Stefanescu, G. Interactive systems with registers and voices. Fundamenta Informaticae 73 (2006), 285–306. (Early draft, School of Computing, National University of Singapore, July 2004.)]. After that, Dragoi and Stefanescu have developed structured programming techniques for rv-systems and their verification, see, e.g., [Dragoi, C., and G. Stefanescu. Structured programming for interactive rv-systems. Institute of Mathematics of the Romanian Academy, IMAR Preprint 9/2006, Bucharest 2006. Dragoi, C., and G. Stefanescu. Towards a Hoare-like logic for structured rv-programs. Institute of Mathematics of the Romanian Academy, IMAR Preprint 10/2006, Bucharest, 2006. Dragoi, C., and G. Stefanescu. Implementation and verification of ring termination detection protocols using structured rv-programs. Annals of University of Bucharest, Mathematics-Informatics Series, 55 (2006), 129–138. Dragoi, C., and G. Stefanescu. Structured interactive programs with registers and voices and their verification. Draft, Bucharest, January 2007. Dragoi, C., and G. Stefanescu. On compiling structured interactive programs with registers and voices. In: “Proc. SOFSEM 2008,” 259–270. LNCS 4910, Springer, 2008.]. In the present paper a kernel programming language AGAPIA v0.1 for interactive systems is introduced. The language contains definitions for complex spatial and temporal data, arithmetic and boolean expressions, modules, and while-programming statements with their temporal, spatial, and spatio-temporal versions. In AGAPIA v0.1 one can write programs for open processes located at various sites and having their temporal windows of adequate reaction to the environment. The main technical part of the paper describes a typing system for AGAPIA v0.1 programs." @default.
• W2062581054 created "2016-06-24" @default.
• W2062581054 creator A5068711611 @default.
• W2062581054 creator A5089014944 @default.
• W2062581054 date "2008-05-01" @default.
• W2062581054 modified "2023-10-18" @default.
• W2062581054 title "AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System" @default.
• W2062581054 cites W1561382609 @default.
• W2062581054 cites W1970645772 @default.
• W2062581054 cites W1972478730 @default.
• W2062581054 cites W1976503857 @default.
• W2062581054 cites W1988621416 @default.
• W2062581054 cites W1989633683 @default.
• W2062581054 cites W1990618979 @default.
• W2062581054 cites W2018238183 @default.
• W2062581054 cites W2029042541 @default.
• W2062581054 cites W2030755010 @default.
• W2062581054 cites W2060336880 @default.
• W2062581054 cites W2092142168 @default.
• W2062581054 cites W2102357532 @default.
• W2062581054 cites W2137902021 @default.
• W2062581054 cites W2152109232 @default.
• W2062581054 cites W2169298944 @default.
• W2062581054 cites W3004525408 @default.
• W2062581054 cites W99963581 @default.
• W2062581054 doi "https://doi.org/10.1016/j.entcs.2008.04.087" @default.
• W2062581054 hasPublicationYear "2008" @default.
• W2062581054 type Work @default.
• W2062581054 sameAs 2062581054 @default.
• W2062581054 citedByCount "18" @default.
• W2062581054 countsByYear W20625810542012 @default.
• W2062581054 countsByYear W20625810542013 @default.
• W2062581054 countsByYear W20625810542014 @default.
• W2062581054 countsByYear W20625810542015 @default.
• W2062581054 countsByYear W20625810542016 @default.
• W2062581054 countsByYear W20625810542017 @default.
• W2062581054 countsByYear W20625810542019 @default.
• W2062581054 crossrefType "journal-article" @default.
• W2062581054 hasAuthorship W2062581054A5068711611 @default.
• W2062581054 hasAuthorship W2062581054A5089014944 @default.
• W2062581054 hasBestOaLocation W20625810541 @default.
• W2062581054 hasConcept C129400051 @default.
• W2062581054 hasConcept C138885662 @default.
• W2062581054 hasConcept C199360897 @default.
• W2062581054 hasConcept C41008148 @default.
• W2062581054 hasConcept C41895202 @default.
• W2062581054 hasConceptScore W2062581054C129400051 @default.
• W2062581054 hasConceptScore W2062581054C138885662 @default.
• W2062581054 hasConceptScore W2062581054C199360897 @default.
• W2062581054 hasConceptScore W2062581054C41008148 @default.
• W2062581054 hasConceptScore W2062581054C41895202 @default.
• W2062581054 hasFunder F4320324070 @default.
• W2062581054 hasIssue "3" @default.
• W2062581054 hasLocation W20625810541 @default.
• W2062581054 hasOpenAccess W2062581054 @default.
• W2062581054 hasPrimaryLocation W20625810541 @default.
• W2062581054 hasRelatedWork W1541967140 @default.
• W2062581054 hasRelatedWork W2109507516 @default.
• W2062581054 hasRelatedWork W2112962394 @default.
• W2062581054 hasRelatedWork W2118300983 @default.
• W2062581054 hasRelatedWork W2166247150 @default.
• W2062581054 hasRelatedWork W2740990710 @default.
• W2062581054 hasRelatedWork W2999589555 @default.
• W2062581054 hasRelatedWork W3137189469 @default.
• W2062581054 hasRelatedWork W4235530921 @default.
• W2062581054 hasRelatedWork W4243252198 @default.
• W2062581054 hasVolume "203" @default.
• W2062581054 isParatext "false" @default.
• W2062581054 isRetracted "false" @default.
• W2062581054 magId "2062581054" @default.
• W2062581054 workType "article" @default.