Search Results - Theory Keywords Concurrent Object-Oriented Programming

A Compositional Theory of Linearizability.

Authors: Oliveira Vale, Arthur Shao, Zhong Chen, Yixuan

Source: Journal of the ACM; Apr2024, Vol. 71 Issue 2, p1-107, 107p

Subject Terms: MATHEMATICAL category theory, PROGRAMMING languages, LANGUAGE research, SEMANTICS

Analysing Concurrent Queues Using CSP: Examining Java's ConcurrentLinkedQueue.

Authors: Chalmers, Kevin Pedersen, Jan Bækgaard

Source: Software (2674-113X); Sep2025, Vol. 4 Issue 3, p15, 24p

Subject Terms: JAVA programming language, MODEL validation, QUEUING theory, PARALLEL processing

Associating synchronization constraints with data in an object-oriented language

Authors: Mandana Vaziri Frank Tip Julian Dolby et al.

Contributors: Mandana Vaziri Frank Tip Julian Dolby et al.

Source: http://www.cs.cornell.edu/People/egs/cornellonly/syslunch/spring06/papers/vaziri.pdf.

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

Availability: 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

A Prolog-Based Expert System with Application to University Course Scheduling.

Authors: Lin, Wan-Yu Lin, Che-Chern

Source: Electronics (2079-9292); Oct2025, Vol. 14 Issue 20, p4093, 17p

Subject Terms: SCHEDULING, MATHEMATICAL optimization, SOFT computing, SCHOOL schedules, KNOWLEDGE representation (Information theory), EMPIRICAL research, EXPERT systems, MIXED integer linear programming

A novel object-oriented Petri net framework with logic programming for discrete and continuous event simulations.

Authors: Hocaoğlu, Mehmet Fatih

Source: Simulation; Sep2025, Vol. 101 Issue 9, p951-979, 29p

Subject Terms: PETRI nets, LOGIC programming, SCHEDULING, SIMULATION methods & models, DISCRETE event simulation, MODULAR design

Choral: Object-oriented Choreographic Programming.

Authors: Giallorenzo, Saverio Montesi, Fabrizio Peressotti, Marco

Source: ACM Transactions on Programming Languages & Systems; Mar2024, Vol. 46 Issue 1, p1-59, 59p

Subject Terms: OBJECT-oriented programming, PROGRAMMING languages, COMPILERS (Computer programs), COMPUTER software development, EXPRESSIVE language, CHOREOGRAPHY, MIDDLEWARE

Geographic Terms: JAVA (Indonesia)

Learning programming practice and programming theory in the computer laboratory.

Authors: Eckerdal, Anna Berglund, Anders Thuné, Michael

Source: European Journal of Engineering Education; Apr2024, Vol. 49 Issue 2, p330-347, 18p

Subject Terms: LEARNING, COMPUTER programming, PHENOMENOGRAPHY, EMPIRICAL research

Review of hierarchy in Petri Nets.

Authors: Markiewicz, Michał Gniewek, Lesław

Source: International Journal of Electronics & Telecommunications; 2025, Vol. 71 Issue 3, p1-9, 9p

Subject Terms: PETRI nets, SYSTEMS design, TECHNOLOGICAL complexity, TAXONOMY, AUTOMATION equipment, APPLIED sciences

CONCURRENT OBJECT-ORIENTED PROGRAMMING.

Source: Communications of the ACM; Sep90, Vol. 33 Issue 9, p125-141, 17p, 15 Diagrams

Subject Terms: OBJECT-oriented programming, COMPUTER software development, COMPUTER multitasking

SCHOOL: a Small Chorded Object-Oriented Language

Authors: Sophia Drossopoulou Alexis Petrounias Alex Buckley et al.

Contributors: Sophia Drossopoulou Alexis Petrounias Alex Buckley et al.

Source: http://slurp.doc.ic.ac.uk/./pubs/school.pdf.

Subject Terms: Languages, Standardization, Theory Keywords Chords, Join, Concurrent, Asynchrony, Object-Oriented, Operational Semantics, Type System, Soundness, Formalisation

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.4647; http://slurp.doc.ic.ac.uk/./pubs/school.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.4647
http://slurp.doc.ic.ac.uk/./pubs/school.pdf

CELL-ORIENTED PROGRAMMING.

Authors: Horváth, Zoltán Porkoláb, Zoltán Balázs Rátai, Dániel et al.

Source: Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica; 2024, Vol. 56, p227-247, 21p

Subject Terms: DISTRIBUTED computing, OBJECT-oriented programming, DATABASES, COMPUTERS, THREAD (Textiles)

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.

Authors: Din, Crystal Chang Hähnle, Reiner Henrio, Ludovic et al.

Source: ACM Transactions on Programming Languages & Systems; Mar2024, Vol. 46 Issue 1, p1-58, 58p

Subject Terms: PROGRAMMING language semantics, SYMBOLIC computation, LOGIC, LOGIC design, MODULAR design, FIRST-order logic, SEMANTICS, CONCRETE

DOUBLE INCLINED CRACKS OVERLAPPING EFFECT ON MIXED STRESS INTENSITY FACTORS USING XFEM OBJECT-ORIENTED IMPLEMENTATION.

Alternate Title: ВПЛИВ ПОДВІЙНИХ ПОХИЛИХ ТРІЩИН, ЩО ПЕРЕКРИВАЮТЬСЯ, НА ЗМІШАНІ ФАКТОРИ ІНТЕНСИВНОСТІ НАПРУГИ З ВИКОРИСТАННЯМ ОБ’ЄКТНО-ОРІЄНТОВАНОЇ РЕАЛІЗАЦІЇ XFEM. (Ukrainian)

Authors: Chabane, Rebadj Moussaoui, Sabah Belgasmia, Mourad

Source: Technology Audit & Production Reserves; 2024, Vol. 1 Issue 4(75), p12-18, 7p

Subject Terms: DETERIORATION of materials, CONSTRUCTION project management, OBJECT-oriented programming, FINITE element method, INHOMOGENEOUS materials

A Flexible Scheduling Framework for Repetitive Construction Projects Based on Constraint Programming.

Authors: Cao, Qiangnan Zou, Xin Zhang, Lihui

Source: Journal of Construction Engineering & Management; Jul2025, Vol. 151 Issue 7, p1-14, 14p

Subject Terms: CONSTRAINT programming, CONSTRUCTION projects, SCHEDULING, PLANNERS, LOGIC

A model for correlation-based choreographic programming.

Authors: Giallorenzo, Saverio Montesi, Fabrizio Gabbrielli, Maurizio

Source: PeerJ Computer Science; Dec2024, p1-47, 47p

Subject Terms: CHOREOGRAPHY, SYNTAX (Grammar), SEMANTICS, CALCULUS

Detecting DIF with the Multi-Unidimensional Pairwise Preference Model: Lord's Chi-square and IPR-NCDIF Methods.

Authors: Kumar, Lavanya S. Tu, Naidan Joo, Sean et al.

Source: Applied Psychological Measurement; Nov2025, Vol. 49 Issue 8, p419-439, 21p

Subject Terms: ITEM response theory, ERROR rates, EVALUATION methodology, STATISTICAL models, MONTE Carlo method, PARAMETER estimation, STATISTICAL hypothesis testing

A concurrent constraint programming interpretation of access permissions.

Authors: OLARTE, CARLOS PIMENTEL, ELAINE RUEDA, CAMILO

Source: Theory & Practice of Logic Programming; Mar2018, Vol. 18 Issue 2, p252-295, 44p

Subject Terms: OBJECT-oriented programming languages, COMPUTER programming, AUTOMATIC theorem proving, ARTIFICIAL intelligence, COMPUTER software

Simulation of Intelligence Evolution in Object-Oriented Systems.

Authors: Fazekas, Bálint Kiss, Attila

Source: Vietnam Journal of Computer Science (World Scientific); Aug2020, Vol. 7 Issue 3, p209-229, 21p

Subject Terms: OBJECT-oriented programming, ARTIFICIAL intelligence, COMPUTER simulation, INTELLECT, EVOLUTIONARY theories

Reliability analysis of pier under combined effect of scour and earthquake.

Authors: Khalid, Mohd Muzzammil, Mohammad Alam, Javed

Source: ISH Journal of Hydraulic Engineering; Nov2025, Vol. 31 Issue 5, p865-884, 20p

Subject Terms: BRIDGE design & construction, EARTHQUAKES, HAZARDS, EROSION, ENGINEERING reliability theory, FAILURE analysis, GROUND motion, CONCRETE columns

Geographic Terms: JHELUM River (India & Pakistan)

Review and Analysis of Latour's Scholarship.

Authors: Sarkar, Anwesha Raj, Aditya

Source: Journal of Scientometric Research; May-Aug2025, Vol. 14 Issue 2, p695-705, 11p

Subject Terms: ACTOR-network theory, THEORY of knowledge, BIBLIOMETRICS, INTERDISCIPLINARY research, SOCIAL scientists

People: LATOUR, Bruno, 1947-2022