The role of language paradigms in teaching programming
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
Multiparadigm Programming with OO Languages
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
Multiparadigm Programming with Object-Oriented Languages
ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
The course scheduling problem as a source of student projects
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Towards concrete concurrency: occam-pi on the LEGO mindstorms
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Reasoning about confidentiality at requirements engineering time
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
An efficient incremental marshaling framework for distributed systems
Future Generation Computer Systems - Special issue: Parallel computing technologies
A tool for helping teach a programming method
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
Programming in the MPL-RM programming language
Proceedings of the 43rd annual Southeast regional conference - Volume 2
JSetL: a Java library for supporting declarative programming in Java
Software—Practice & Experience
Self Management and the Future of Software Design
Electronic Notes in Theoretical Computer Science (ENTCS)
Oz/K: a kernel language for component-based open programming
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Constraint functional logic programming over finite domains
Theory and Practice of Logic Programming
Webrb: evaluating a visual domain-specific language for building relational web-applications
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Modular verification of higher-order methods with mandatory calls specified by model programs
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
The architecture and design of a malleable object-oriented prolog engine
Proceedings of the 2008 ACM symposium on Applied computing
Proceedings of the 2008 ACM symposium on Applied computing
An adaptive system to control robots: ontology distribution and treatment
SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
Concurrent software engineering: preparing for paradigm shift
Proceedings of the 2008 C3S2E conference
Programming Languages For Interactive Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Knowledge organization with pattern recognition in an auto-adaptive system
AIKED'08 Proceedings of the 7th WSEAS International Conference on Artificial intelligence, knowledge engineering and data bases
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Knowledge organization using shapes extraction from web pages in an auto-adaptive system
WSEAS TRANSACTIONS on SYSTEMS
Use concurrent programming models to motivate teaching of programming languages
ACM SIGPLAN Notices
Computational Structure of the Aṣṭādhyāyī and Conflict Resolution Techniques
Proceedings of the 3rd International Symposium on Sanskrit Computational Linguistics
Actors in a new "highly parallel" world
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
Computer Simulation of Aṣṭ ādhyā yī: Some Insights
Sanskrit Computational Linguistics
Beernet: RMI-free peer-to-peer networks
Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century
Transactional contexts: harnessing the power of context-oriented reflection
International Workshop on Context-Oriented Programming
A toolkit for peer-to-peer distributed user interfaces: concepts, implementation, and applications
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Capturing disjunction in lexicalization with extensible dependency grammar
CSLP '06 Proceedings of the Third Workshop on Constraints and Language Processing
Synthesizing hardware from sketches
Proceedings of the 46th Annual Design Automation Conference
Termination checking without using an ordering relation
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Cytocomputation in a biologically inspired, dynamically reconfigurable hardware platform
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
A Simple Parallel Reasoning System for the $\mathcal{ALC}$ Description Logic
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
An efficient incremental marshaling framework for distributed systems
Future Generation Computer Systems - Special issue: Parallel computing technologies
ACM Transactions on Programming Languages and Systems (TOPLAS)
A complete guide to the future
ESOP'07 Proceedings of the 16th European conference on Programming
Kodkod: a relational model finder
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Multi-paradigm declarative languages
ICLP'07 Proceedings of the 23rd international conference on Logic programming
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Constraint application with higher-order programming for modeling music theories
Computer Music Journal
Representing Eager Evaluation in a Demand Driven Model of Streams on Cloud Infrastructure
CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Strategies for preparing computer science students for the multicore world
Proceedings of the 2010 ITiCSE working group reports
Concurrency among strangers: programming in E as plan coordination
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
A practical formal model for safety analysis in capability-based systems
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
A model-based approach for distributed user interfaces
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Revisiting information hiding: reflections on classical and nonclassical modularity
Proceedings of the 25th European conference on Object-oriented programming
Proceedings of the fifth international workshop on High-level parallel programming and applications
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part II
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
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
Calculating polynomial runtime properties
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
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
Using dominators for solving constrained path problems
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Towards an emotional decision-making
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Failure handling in a network-transparent distributed programming language
Advanced Topics in Exception Handling Techniques
CICLing'05 Proceedings of the 6th international conference on Computational Linguistics and Intelligent Text Processing
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
A program verification system based on oz
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Higher order programming for unordered minds
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Compiling formal specifications to oz programs
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
A fault tolerant abstraction for transparent distributed programming
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
The CURRENT platform: building conversational agents in oz
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Solving CSP including a universal quantification
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Strasheela: design and usage of a music composition environment based on the oz programming model
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Validating and animating higher-order recursive functions in b
Rigorous Methods for Software Construction and Analysis
Formal reasoning about software object translations
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Overcoming software fragility with interacting feedback loops and reversible phase transitions
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Core FOBS: A hybrid functional and object-oriented language
Computer Languages, Systems and Structures
A reversible abstract machine and its space overhead
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Statelets: coordination of social collaboration processes
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Self-control of the time complexity of a constraint satisfaction problem solver program
Journal of Systems and Software
Adaptation and Dependability and Their Key Role in Modern Software Engineering
International Journal of Adaptive, Resilient and Autonomic Systems
A new concurrency model for Scala based on a declarative dataflow core
Proceedings of the 4th Workshop on Scala
Some prospective approaches for the shift of programming paradigms
Proceedings of the 2013 International Conference on Information Systems and Design of Communication
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems
Computational Coordination Mechanisms: A tale of a struggle for flexibility
Computer Supported Cooperative Work
Hi-index | 0.00 |