A Robust Framework for Asynchronous Operations on a Functional Object-Oriented Model
DOI: 10.1109/CLOUDCOMP.2015.7149623
关键词:
摘要: Functional programming is a technique for expressing the constructions and constructs of computer software. This treats calculations similarly to calculation functions in mathematics. Therefore concepts semantic- states changeable data are avoided. It may be defined as declarative meaning that programs mainly expressions. An efficient style systems asynchronous which manages communications with system environment. Asynchronous based on idea non-blocking execution commands keeping list tasks buffers latter executions. The alternative wait completion long leads programs-execution problems. paper introduces robust framework operations functional object-oriented model programming. Up our knowledge, this first its type. presented includes syntax language their (operational) semantics. semantics meant serve formal background construction theoretical analyses model. presents also example proposed
sci-hub.se 参考文章(29)
Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann, Grounding Synchronous Deterministic Concurrency in Sequential Programming european symposium on programming. pp. 229- 248 ,(2014) , 10.1007/978-3-642-54833-8_13
Shaz Qadeer, Jakob Rehof, Context-Bounded Model Checking of Concurrent Software Tools and Algorithms for the Construction and Analysis of Systems. pp. 93- 107 ,(2005) , 10.1007/978-3-540-31980-1_7
Zhanyong Wan, Walid Taha, Paul Hudak, Event-Driven FRP practical aspects of declarative languages. pp. 155- 172 ,(2002) , 10.1007/3-540-45587-6_11
Koushik Sen, Mahesh Viswanathan, Model Checking Multithreaded Programs with Asynchronous Atomic Methods Computer Aided Verification. pp. 300- 314 ,(2006) , 10.1007/11817963_29
Sriram Srinivasan, Alan Mycroft, Kilim: Isolation-Typed Actors for Java ECOOP 2008 – Object-Oriented Programming. pp. 104- 128 ,(2008) , 10.1007/978-3-540-70592-5_6
Don Syme, Tomas Petricek, Dmitry Lomov, The F# Asynchronous Programming Model Practical Aspects of Declarative Languages. pp. 175- 189 ,(2011) , 10.1007/978-3-642-18378-2_15
Mohamed Faouzi Atig, Tayssir Touili, Ahmed Bouajjani, Analyzing Asynchronous Programs with Preemption foundations of software technology and theoretical computer science. pp. 48- ,(2008) , 10.4230/LIPICS.FSTTCS.2008.1739
Salvatore La Torre, P. Madhusudan, Gennaro Parlato, Model-Checking parameterized concurrent programs using linear interfaces computer aided verification. pp. 629- 644 ,(2010) , 10.1007/978-3-642-14295-6_54
Mehrdad Najibi, Peter A. Beerel, Integrated Fanout Optimization and Slack Matching of Asynchronous Circuits ieee international symposium on asynchronous circuits and systems. pp. 69- 76 ,(2014) , 10.1109/ASYNC.2014.17
Michael Mendler, Thomas R. Shiple, Gérard Berry, Constructive Boolean circuits and the exactness of timed ternary simulation formal methods. ,vol. 40, pp. 283- 329 ,(2012) , 10.1007/S10703-012-0144-6