Multiple dispatch as dispatch on Tuples
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Composing programming languages by combining action-semantics modules
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
Mathematics for the exploration of requirements
ACM SIGCSE Bulletin
Encyclopedia of Computer Science
Extending the loop language with higher-order procedural variables
ACM Transactions on Computational Logic (TOCL)
Access control via belnap logic: Intuitive, expressive, and analyzable policy composition
ACM Transactions on Information and System Security (TISSEC)
Static and dynamic adaptations for service-based systems
Information and Software Technology
A prototype of a schema-based XPath satisfiability tester
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Facilitating modular property-preserving extensions of programming languages
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Action semantics-directed prototyping
Computer Languages
Hi-index | 0.00 |