Actor induction and meta-evaluation
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
INDUCTION IN PROOFS ABOUT PROGRAMS
INDUCTION IN PROOFS ABOUT PROGRAMS
Control structures for programming languages
Control structures for programming languages
Language-qa4: a procedural calculus for intuitive reasoning.
Language-qa4: a procedural calculus for intuitive reasoning.
Global variable considered harmful
ACM SIGPLAN Notices
Record of the Project MAC conference on concurrent systems and parallel computation
A design methodology for reliable software systems
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Semantic Models for Distributed Object Reflection
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
The ParCel-2 Programming Language (Research Note)
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Épidaure: A Java Distributed Tool for Building DAI Applications
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Capability-Based Financial Instruments
FC '00 Proceedings of the 4th International Conference on Financial Cryptography
Cyber-Physical Systems and Events
Software-Intensive Systems and New Computing Paradigms
Meta-level knowledge: overview and applications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Beings: knowledge as interacting experts
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
The 2.PAK language: goals and descriptions
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
General purpose models: expectations about the unexpected
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Typestate-oriented programming
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Parallel programming with object assemblies
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Functional Active Objects: Typing and Formalisation
Electronic Notes in Theoretical Computer Science (ENTCS)
A Graphical User Interface for Maude-NPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Actors and Logical Analysis of Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination Models Based on a Formal Model of Distributed Object Reflection
Electronic Notes in Theoretical Computer Science (ENTCS)
“little language” project modules
Journal of Functional Programming
Deferred cancellation: a behavioral pattern
Proceedings of the 15th Conference on Pattern Languages of Programs
Large-scale organizational computing requires unstratified reflection and strong paraconsistency
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Writing concurrent desktop applications in an actor-based programming model
Proceedings of the 3rd International Workshop on Multicore Software Engineering
The SOM family: virtual machines for teaching and research
Proceedings of the fifteenth annual conference on Innovation and technology in computer science education
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
JCoBox: generalizing active objects to concurrent components
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Self-replicating objects for multicore platforms
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
ICWE'10 Proceedings of the 10th international conference on Web engineering
Safely updating running software: tranquility at the object level
Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution
The parallel cellular programming model
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Modular composition and state update in Plaid
Proceedings of the 4th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance
Context oriented programming in highly concurrent systems
Proceedings of the 2nd International Workshop on Context-Oriented Programming
Signal/collect: graph algorithms for the (semantic) web
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Towards a proper aspect-oriented model for distributed systems
Proceedings of the tenth international conference on Aspect-oriented software development companion
Towards a robust model for distributed aspects
Proceedings of the 1st workshop on Modularity in systems software
ACM SIGMETRICS Performance Evaluation Review - Special issue on the 1st international workshop on performance modeling, benchmarking and simulation of high performance computing systems (PMBS 10)
Concurrency among strangers: programming in E as plan coordination
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Computational REST meets Erlang
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
First-class state change in plaid
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
JavaCtx: seamless toolchain integration for context-oriented programming
Proceedings of the 3rd International Workshop on Context-Oriented Programming
A middleware for transparent group communication of globally distributed actors
Proceedings of the Workshop on Posters and Demos Track
A feature model of actor, agent, and object programming languages
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Convergence in language design: a case of lightning striking four times in the same place
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Event-Based programming without inversion of control
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
A component language for structured parallel programming
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Exception handling and asynchronous active objects: issues and proposal
Advanced Topics in Exception Handling Techniques
Multi-core code in a cluster – a meaningful option?
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
Synchronization views for event-loop actors
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
The oz-e project: design guidelines for a secure multiparadigm programming language
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
ContextErlang: introducing context-oriented programming in the actor model
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Static safety for an actor dedicated process calculus by abstract interpretation
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
ASPfun: A typed functional active object calculus
Science of Computer Programming
Context-oriented programming: A software engineering perspective
Journal of Systems and Software
smARTbox: out-of-the-box technologies for interactive art and exhibition
Proceedings of the 2012 Virtual Reality International Conference
Elarva: a monitoring tool for erlang
RV'11 Proceedings of the Second international conference on Runtime verification
Molecule: using monadic and streaming I/O to compose process networks on the JVM
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Integrating task parallelism with actors
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Evaluating scala, actors, & ontologies for intelligent realtime interactive systems
Proceedings of the 18th ACM symposium on Virtual reality software and technology
Actors and publish/subscribe: an efficient approach to scalable distribution in data centers
Proceedings of the 2012 ACM conference on CoNEXT student workshop
Robust evaluation of expressions by distributed virtual machines
UCNC'12 Proceedings of the 11th international conference on Unconventional Computation and Natural Computation
Design and analysis of cloud-based architectures with KLAIM and maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Model-Based compatibility checking of system modifications
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Causality for free!: parametricity implies causality for functional reactive programs
PLPV '13 Proceedings of the 7th workshop on Programming languages meets program verification
Beernet: Building Self-Managing Decentralized Systems with Replicated Transactional Storage
International Journal of Adaptive, Resilient and Autonomic Systems
An enhanced mechanism for agent capability reuse
AMT'12 Proceedings of the 8th international conference on Active Media Technology
P: safe asynchronous event-driven programming
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Modeling performance of a parallel streaming engine: bridging theory and costs
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
A new concurrency model for Scala based on a declarative dataflow core
Proceedings of the 4th Workshop on Scala
Dataflow constructs for a language extension based on the algebra of communicating processes
Proceedings of the 4th Workshop on Scala
An Analysis of Language-Level Support for Self-Adaptive Software
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Functional reactive programming with liveness guarantees
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Software agents mobility using process migration mechanism in distributed Erlang
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang
Actor scheduling for multicore hierarchical memory platforms
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang
Towards an abstraction for remote evaluation in Erlang
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang
Why do scala developers mix the actor model with other concurrency models?
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Native actors: a scalable software platform for distributed, heterogeneous environments
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Code management automation for Erlang remote actors
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
A task framework on top of a concurrent OOP language rooted on agent-oriented abstractions
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Object-oriented programming: Some history, and challenges for the next fifty years
Information and Computation
Location types for safe programming with near and far references
Aliasing in Object-Oriented Programming
Radigost: Interoperable web-based multi-agent platform
Journal of Systems and Software
Hi-index | 0.00 |
Additive AND/OR graphs are defined as AND/ OR graphs without circuits, which can be considered as folded AND/OR trees; i. e. the cost of a common subproblem is added to the cost as many times as the subproblem occurs, but it is computed only once. Additive ...