Suchergebnisse - "concurrent object-oriented programming"

Concurrent object-oriented programming using term graph rewriting techniques

Autoren: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Weitere Verfasser: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Quelle: Information and Software Technology
Inf Software Technol

Schlagwörter: Term graph rewriting systems (TGRS), Implementation techniques, Parallel processing systems, Linear logic, 0102 computer and information sciences, 02 engineering and technology, Computer simulation, Dactyl, Logic programming, Concurrent constraint programming, 01 natural sciences, Dactl, Computer programming languages, Object oriented programming, Computational methods, 0202 electrical engineering, electronic engineering, information engineering, Concurrent object-oriented programming, Programming theory, Concurrency control, Term graph rewriting systems

Zugangs-URL: https://core.ac.uk/display/24347141
https://dblp.uni-trier.de/db/journals/infsof/infsof38.html#Papadopoulos96
https://www.sciencedirect.com/science/article/pii/0950584996010932
http://www.sciencedirect.com/science/article/pii/0950584996010932
http://gnosis.library.ucy.ac.cy/handle/7/54733

Concurrent object-oriented programming with agent-oriented abstractions: the ALOO approach

Autoren: RICCI, ALESSANDRO Andrea Santi

Quelle: Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control. :127-138

Schlagwörter: AGENT-ORIENTED PROGRAMMING, Actors, Active Objects, ALOO, Concurrent Programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-URL: https://dl.acm.org/doi/10.1145/2541329.2541333
https://dblp.uni-trier.de/db/conf/agere/agere2013.html#RicciS13
https://dl.acm.org/citation.cfm?doid=2541329.2541333
https://hdl.handle.net/11585/398328
https://doi.org/10.1145/2541329.2541333

A logic-based concurrent object-oriented programming language

Autoren: Melendez, Rafael Ramirez

Schlagwörter: 005, Logic programming

Zugangs-URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.337487

A compositional approach to concurrent object-oriented programming

Autoren: James C. Browne Raju Pandey

Quelle: Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94). :124-135

Schlagwörter: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://ieeexplore.ieee.org/document/288387/
https://web.cs.ucdavis.edu/~pandey/Research/Papers/iccl94.pdf
http://www.cs.ucdavis.edu/~pandey/Research/Papers/iccl94.pdf

Channels as Objects in Concurrent Object-Oriented Programming

Autoren: Joana Campos Vasco T. Vasconcelos

Quelle: Electronic Proceedings in Theoretical Computer Science, Vol 69, Iss Proc. PLACES 2010, Pp 12-28 (2011)

Schlagwörter: FOS: Computer and information sciences, Computer Science - Programming Languages, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, Mathematics, Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/1110.4157
https://doaj.org/article/564a57fd71834b56bd920cf5165456ae
http://ui.adsabs.harvard.edu/abs/2011arXiv1110.4157C/abstract
https://arxiv.org/pdf/1110.4157
https://arxiv.org/abs/1110.4157

Concurrent object-oriented programming based on MPI

Autoren: Xiao-li Pei Yong-ling Xiao Hou-xiang Wang et al.

Quelle: Journal of Shanghai University (English Edition). 8:295-300

Schlagwörter: 16. Peace & justice

Zugangs-URL: https://en.cnki.com.cn/Article_en/CJFDTOTAL-SHDY200403010.htm
https://link.springer.com/article/10.1007%2Fs11741-004-0068-5

Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming

Autoren: Eneia Nicolae Todoran N. Gherman

Quelle: 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. :289-294

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://dblp.uni-trier.de/db/conf/synasc/synasc2008.html#TodoranG08
https://www.computer.org/csdl/proceedings-article/synasc/2008/3523a289/12OmNyKJiez
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005204827
https://ieeexplore.ieee.org/document/5204827/
http://ieeexplore.ieee.org/document/5204827/

Behaviour equation as solution of inheritance anomaly in concurrent object-oriented programming languages

Autoren: P.P.K. Chiu B.C.L. Leung

Quelle: Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing. :360-366

Schlagwörter: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

Zugangs-URL: https://dblp.uni-trier.de/db/conf/pdp/pdp1996.html#LeungC96

Support for extensibility and reusability in a concurrent object-oriented programming language

Autoren: James C. Browne Raju Pandey

Quelle: Proceedings of International Conference on Parallel Processing. :241-247

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://dblp.uni-trier.de/db/conf/ipps/ipps1996.html#PandeyB96
http://dblp.uni-trier.de/db/conf/ipps/ipps1996.html#PandeyB96
https://web.cs.ucdavis.edu/~pandey/Research/Papers/ipps96.pdf
https://www.computer.org/csdl/pds/api/csdl/proceedings/download-article/12OmNAk5HLu/pdf
https://ieeexplore.ieee.org/document/508065/
https://doi.ieeecomputersociety.org/10.1109/IPPS.1996.508065

Concurrent object-oriented programming with agents

Autoren: RICCI, ALESSANDRO Andrea Santi

Quelle: Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity. :89-90

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, Concurrent Object-Oriented Programming, Agents, AGENT-ORIENTED PROGRAMMING, ALOO, 02 engineering and technology

Zugangs-URL: https://cris.unibo.it/handle/11585/398335
https://dl.acm.org/doi/10.1145/2508075.2508095
https://dblp.uni-trier.de/db/conf/oopsla/splash2013c.html#RicciS13
https://hdl.handle.net/11585/398335
https://doi.org/10.1145/2508075.2508095

A Concurrent Object-Oriented Programming Language and its Distributed Implementation

Autoren: C. Neusius

Quelle: Proceedings of the Fifth Distributed Memory Computing Conference, 1990.. 2:1074-1079

Zugangs-URL: https://ieeexplore.ieee.org/document/556319/

Synchronisation, concurrent object-oriented programming and the inheritance anomaly

Autoren: Andy Wellings S. E. Mitchell

Quelle: Computer Languages. 22:15-26

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://dblp.uni-trier.de/db/journals/cl/cl22.html#MitchellW96
https://www.sciencedirect.com/science/article/abs/pii/0096055196000021

Clear separation and combination of synchronization constraint for concurrent object oriented programming

Autoren: Kentaro Oda Y. Masuyama Y. Yasutake et al.

Quelle: 17th International Conference on Advanced Information Networking and Applications, 2003. AINA 2003.. :671-676

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://dblp.uni-trier.de/db/conf/aina/aina2003.html#YasutakeMOY03
https://ieeexplore.ieee.org/document/1192966/

Toward Foundations of Concurrent Object‐Oriented Programming‐Types and Language Design

Autoren: Akinori Yonezawa Naoki Kobayashi

Quelle: Theory and Practice of Object Systems. 1:243-268

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-URL: https://dblp.uni-trier.de/db/journals/tapos/tapos1.html#KobayashiY95

A specification logic for concurrent object-oriented programming

Autoren: DELZANNO, GIORGIO GALMICHE D. MARTELLI, MAURIZIO

Quelle: Mathematical Structures in Computer Science. 9:253-286

Schlagwörter: Logic in computer science, Specification and verification (program logics, model checking, etc.), operational semantics, 0202 electrical engineering, electronic engineering, information engineering, encapsulation, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, specification language

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/1330877
https://doi.org/10.1017/s0960129599002789
http://pubman.mpdl.mpg.de/pubman/item/escidoc:1331162
https://dblp.uni-trier.de/db/journals/mscs/mscs9.html#DelzannoGM99
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/abs/specification-logic-for-concurrent-objectoriented-programming/81571C48603CBF1C20909F6146796609
https://pure.mpg.de/pubman/faces/ViewItemOverviewPage.jsp?itemId=item_1331162
https://hal.inria.fr/inria-00098602
https://hdl.handle.net/11567/250494

Concurrent object-oriented programming techniques in a term graph rewriting framework

Autoren: George A. Papadopoulos

Quelle: Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing. :87-93

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-URL: https://www.computer.org/csdl/proceedings-article/pdp/1996/73760087/12OmNs0C9KZ
https://dblp.uni-trier.de/db/conf/pdp/pdp1996.html#Papadopoulos96
https://ieeexplore.ieee.org/document/500573/
https://doi.ieeecomputersociety.org/10.1109/EMPDP.1996.500573

Term graph rewriting as a specification and implementation framework for concurrent object-oriented programming languages

Autoren: Richard Banach George A. Papadopoulos

Quelle: Programming Models for Massively Parallel Computers. :151-158

Zugangs-URL: http://www.cs.man.ac.uk/~banach/some.pubs/TGR.Spec.Imp.FWork.COOL.pdf
https://ieeexplore.ieee.org/document/504353/

Concurrent object-oriented programming in Classic-Ada

Autoren: Vassilios Theologitis Gilberto F. Mota Michael L. Nelson

Quelle: ACM SIGAda Ada Letters. :77-83

Schlagwörter: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

Zugangs-URL: https://dl.acm.org/doi/10.1145/142221.142231

BCOOPL: Basic concurrent object-oriented programming language

Autoren: Hans de Bruin

Quelle: Software: Practice and Experience. 30:849-894

Zugangs-URL: https://dblp.uni-trier.de/db/journals/spe/spe30.html#Bruin00
https://research.vu.nl/en/publications/bcoopl-basic-concurrent-object-oriented-programming-language
https://www.narcis.nl/publication/RecordID/oai%3Aresearch.vu.nl%3Apublications%2F7e46bb14-76b1-4e13-bc37-dbbe1eb1b352

Concurrent object-oriented programming for distributed real-time systems

Autoren: Katsumi Maruyama

Quelle: Information Sciences. 93:87-106

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://dblp.uni-trier.de/db/journals/isci/isci93.html#Maruyama96
https://www.sciencedirect.com/science/article/pii/002002559600062X