Search Results - "Concurrent Java Programs"
-
1
Authors: et al.
Contributors: et al.
Subject Terms: paper, national, rank-X, rline-vvcs
File Description: application/pdf
Relation: Pereira, H., Sousa, D. G., Bradbury, J., & Lourenço, J. M. (2022). Automatic Generation of Contracts for Concurrent Java Programs. In INForum 2022 - Atas do 13º Simpósio de Informática (pp. 131-132). (INForum 2022). FEUP Edições. https://inforum.org.pt/2022/sites/default/files/2022-09/Actas_INForum.pdf; 978-972-752-171-5; PURE: 72264597
Availability: http://hdl.handle.net/10362/162732
-
2
Authors:
Source: Journal of Visualization. 25:1267-1289
-
3
Authors:
Source: Proceedings of the 14th International Symposium on Visual Information Communication and Interaction. :1-8
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Java, Verification, Type systems, Concurrency, Spatial-behavioral types
File Description: application/pdf
Availability: http://hdl.handle.net/10362/8476
-
5
Authors:
Source: Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242). :190-197
-
6
Authors: Mostowski, Wojciech, 1976
Source: VerCors AUTO-CAAS Verified Software Lecture Notes in Computer Science. :124-141
File Description: electronic
-
7
Authors:
Source: 2017 24th Asia-Pacific Software Engineering Conference (APSEC). :618-623
-
8
-
9
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783030414177
-
10
Authors:
Source: International Journal of Computer Applications. 67:41-46
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
11
Authors: et al.
Source: Proceedings of the 36th International Conference on Software Engineering. :457-467
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
12
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783540665380
Subject Terms: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 7. Clean energy
Access URL: https://link.springer.com/chapter/10.1007%2F3-540-48166-4_21
https://doi.org/10.1007/3-540-48166-4_21
https://scholarworks.umass.edu/cgi/viewcontent.cgi?article=1103&context=cs_faculty_pubs
https://dblp.uni-trier.de/db/conf/esec/esec99.html#NaumovichAC99
http://portal.acm.org/citation.cfm?id=319252
https://core.ac.uk/display/22494236 -
13
Authors:
Source: 2010 17th Working Conference on Reverse Engineering. :45-54
Subject Terms: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
14
Authors:
Source: Proceedings Eighth Asia-Pacific Software Engineering Conference. :45-52
-
15
Authors: et al.
Source: International Journal of Computers and Applications. 23:159-165
Subject Terms: METIS-113339
Access URL: https://research.utwente.nl/en/publications/f28f7c1a-424e-44e2-bbab-e07c4ed4f369
https://research.utwente.nl/en/publications/970a0ded-e923-4778-9692-497e87a15bed
https://doi.org/10.1080/1206212X.2001.11441647
https://kar.kent.ac.uk/21756/
https://research.utwente.nl/en/publications/safe-and-verifiable-design-of-concurrent -java -programs -2
https://www.narcis.nl/publication/RecordID/oai%3Aris.utwente.nl%3Apublications%2F970a0ded-e923-4778-9692-497e87a15bed -
16
Authors: Jianjun Zhao
Source: Proceedings Seventh International Workshop on Program Comprehension. :126-133
Subject Terms: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences
-
17
Authors:
Source: International Journal on Software Tools for Technology Transfer. 9:489-504
-
18
Authors:
Source: Information and Software Technology. 43:973-981
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
19
Authors:
Source: Future Generation Computer Systems. 18:307-316
Subject Terms: Program profiling, Theory of programming languages, Dynamic analysis, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Concurrency control, Java, Instrumentation techniques
File Description: application/xml
-
20
Authors:
Source: ACM SIGPLAN Notices. 36:41-47
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Nájsť tento článok vo Web of Science
Full Text Finder