Verification of Erlang programs using abstract interpretation and model checking
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Using passive object garbage collection algorithms for garbage collection of active objects
Proceedings of the 3rd international symposium on Memory management
Keep it clean: a unique approach to functional programming.
ACM SIGPLAN Notices
An open framework for data-flow analysis in Java: extended abstract
PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
An Approach to Composing Parallel Programs
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Building Modern Distributed Systems
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Term Graph Rewriting and Mobile Expressions in Functional Languages
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Distributed Programming in Haskell with Ports
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Stateful distributed interposition
ACM Transactions on Computer Systems (TOCS)
A foundation for actor computation
Journal of Functional Programming
Analysis of the use of declarative languages for enhanced embedded system software development
Proceedings of the 20th annual conference on Integrated circuits and systems design
Predictable space behaviour in FSM-Hume
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Towards a decentralized and structured network of P2P public information screens
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Applying prolog to develop distributed systems
Theory and Practice of Logic Programming
Programming coordinated behavior in java
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Towards a robust model for distributed aspects
Proceedings of the 1st workshop on Modularity in systems software
Capture fields: modularity in a stream-relational event processing langauge
Proceedings of the 5th ACM international conference on Distributed event-based system
Proceedings of the 4th ACM symposium on Haskell
Towards a type system for analyzing javascript programs
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Multi-threaded communicating agents in qu-prolog
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Automating network and service configuration using NETCONF and YANG
LISA'11 Proceedings of the 25th international conference on Large Installation System Administration
Feel different on the Java platform: the star programming language
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
Programming a Multicore Architecture without Coherency and Atomic Operations
Proceedings of Programming Models and Applications on Multicores and Manycores
| Hi-index | 0.00 |