Search Results - "concurrent object-oriented programming"
-
1
Authors:
Source: Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control. :139-144
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, Task frameworks, Agent-Oriented Programming, Concurrent Object-Oriented Programming, ALOO, 02 engineering and technology
-
2
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783540541523
Lecture Notes in Computer Science ISBN: 9783662232064Subject Terms: concurrent object-oriented programming languages, Semantics in the theory of computing, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), 0102 computer and information sciences, metric semantics, 0101 mathematics, 01 natural sciences, denotational semantics
File Description: application/xml
Access URL: https://ir.cwi.nl/pub/2012/2012D.pdf
https://zbmath.org/490753
https://doi.org/10.1007/bf03038272
https://link.springer.com/article/10.1007/BF03038272
https://dblp.uni-trier.de/db/journals/ngc/ngc12.html#BakkerV93
https://www.narcis.nl/publication/RecordID/oai%3Apure.tue.nl%3Apublications%2Feeb0d0e2-f214-4a60-8f8e-f02adc3ceb84
https://link.springer.com/chapter/10.1007/978-3-662-25209-3_29
https://core.ac.uk/display/158676112
https://ir.cwi.nl/pub/2012/2012D.pdf
https://link.springer.com/content/pdf/10.1007%2F3-540-54152-7_56.pdf
https://www.narcis.nl/publication/RecordID/oai%3Acwi.nl%3A2012
https://research.tue.nl/en/publications/rendez-vous-with-metric-semantics -
3
Authors: Zhang Qian
Source: Wuhan University Journal of Natural Sciences. 3:288-292
Subject Terms: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), COOP, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, Petri nets, 02 engineering and technology, concurrent object-oriented programming
File Description: application/xml
-
4
Authors:
Contributors:
Source: Information and Software Technology
Inf Software TechnolSubject Terms: 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
-
5
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel Programming, D.2.5 [Software Engineer- ing, Testing and Debugging—Tracing, D.2.4 [Software Engineering, Software/Program Verification—Reliability, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Experimentation, Measurement, Reliability Keywords Concurrent Object-Oriented Programming, Data Races, Atom- icity, Serializability, Dynamic Analysis
File Description: application/pdf
-
6
Authors: et al.
Contributors: et al.
Subject Terms: Algorithms, Experimentation, Measurement, Reliability Keywords Concurrent Object-Oriented Programming, Data Races, Atomicity, Serializability, Dynamic Analysis
File Description: application/pdf
-
7
Authors:
Contributors:
Subject Terms: Concurrent object oriented programming, Asynchronous method
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.182.1981; http://www.vigneras.org/pierre/resources/articles/coopwar.pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming-parallel programming, D.2.4 [Software Engineering, Software/Program Verification-reliability, F.3.1 [Logics And Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Languages, Theory Keywords Concurrent Object-Oriented Programming, Data Races, Serializability, Programming Model
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.9435; http://www.cs.cornell.edu/People/egs/cornellonly/syslunch/spring06/papers/vaziri.pdf
-
9
Authors: et al.
Contributors: et al.
Subject Terms: General Terms, Design, Languages Additional Key Words and Phrases, Concurrency, concurrent object-oriented programming, Java, SR
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.2590; http://www.cs.ucdavis.edu/~olsson/pubs/2004/jr.ps
-
10
Authors: et al.
Contributors: et al.
Subject Terms: General Terms, Design, Languages Additional Key Words and Phrases, Concurrency, concurrent object-oriented programming, Java, SR
File Description: application/pdf
-
11
Authors: et al.
Contributors: et al.
Source: ftp://ftp.cs.york.ac.uk/papers/rtspapers/R:Wellings:2000.ps
Subject Terms: concurrent object-oriented programming, inheritance anomaly, Ada 95
File Description: application/postscript
-
12
Authors: et al.
Contributors: et al.
Subject Terms: General Terms, Languages Additional Key Words and Phrases, Concurrency, concurrent object-oriented programming, inheritance anomaly, Ada 95 This article extends and unifies the approaches described in Kiddle and Wellings [1998, Michell
File Description: application/pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: concurrent object-oriented programming, inheritance anomaly
File Description: application/postscript
-
14
Authors:
Contributors:
Subject Terms: concurrent object-oriented programming, Ada 95
File Description: application/postscript
-
15
Authors: et al.
Contributors: et al.
Subject Terms: concurrent object-oriented programming, compiler optimization, runtime systems
File Description: application/postscript
-
16
Authors: et al.
Contributors: et al.
Subject Terms: behavioural subtyping, concurrent object-oriented programming
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.340; http://www.cs.mu.oz.au/publications/tr_db/./mu_96_42.ps.gz
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Concurrent Object-Oriented Programming, inheritance anomaly, synchronization
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5166; http://webepcc.unex.es/~fernando/lmo97.ps
-
18
Authors:
Contributors:
Source: http://www.cs.ucy.ac.cy/IST.ps.gz.
Subject Terms: concurrent object-oriented programming, term graph rewriting systems (TGRS, implementation techniques, Dactl. The generalised computational model of Term Graph Rewriting Systems (TGRS
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.2455; http://www.cs.ucy.ac.cy/IST.ps.gz
-
19
Authors:
Contributors:
Subject Terms: Key Words, Concurrent Object-Oriented Programming, Actors, Location Transparency, Migration
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.2000; http://osl.cs.uiuc.edu/Papers/sc95/sc95.ps
-
20
Authors: et al.
Contributors: et al.
Source: ftp://ftp.cs.rpi.edu/pub/nortonc/cacm-oct95.ps
Subject Terms: oriented programming, J.2 [Computer Applications, Physical Sciences and Engineering--- Physics General Terms, Languages, Design Additional Key Words and Phrases, Concurrent object oriented programming, Fortran 90, physics computing
File Description: application/postscript
Nájsť tento článok vo Web of Science 
Full Text Finder