An overview of data typing systems and data abstraction in programming languages
ACM SIGCSE Bulletin
Towards functional programming in Prolog
ACM SIGPLAN Notices
A Simple Mechanism for Type Security Across Compilation Units
IEEE Transactions on Software Engineering
Software Prototyping by Relational Techniques: Experiences with Program Construction Systems
IEEE Transactions on Software Engineering
Asynchronous transfer of control in Ada
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Abstraction Mechanisms for Event Control in Program Debugging
IEEE Transactions on Software Engineering
Orca: A Language for Parallel Programming of Distributed Systems
IEEE Transactions on Software Engineering
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Is APL2 a good programming language?
APL '95 Proceedings of the international conference on Applied programming languages
A project-based approach to programming language evaluation
ACM SIGPLAN Notices
Tolerating exceptions in workflows: a unified framework for data and processes
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
The flexible Ada simulation tool (FAST) and its extensions
WSC '87 Proceedings of the 19th conference on Winter simulation
Language assessment criteria for discrete simulation
WSC '86 Proceedings of the 18th conference on Winter simulation
SLAW (abstract only): a language free environment—future directions and research
CSC '87 Proceedings of the 15th annual conference on Computer Science
The T Experiments: Errors In Scientific Software
IEEE Computational Science & Engineering
A portable pseudo-code for Pascal-like languages
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Object-oriented processor requirements with instruction analysis of Java programs
ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
Modular decomposition of Ada into a hierarchy of sublanguages
ACM SIGAda Ada Letters
Ada: extended structure charts
ACM SIGAda Ada Letters
A framework of reference for database design
ACM SIGMIS Database
Definition of menus as an abstract data type
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Re-engineering global variables in Ada
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Abstractness, specificity, and complexity in software design
Proceedings of the 2nd international workshop on The role of abstraction in software engineering
Testing the principle of orthogonality in language design
Human-Computer Interaction
An orthogonal approach to distribution: An introduction to the Vitruvian framework
GRID '08 Proceedings of the 2008 9th IEEE/ACM International Conference on Grid Computing
Abstract design and program translator: new tools for software design
IBM Systems Journal
Abstract design and program translator: new tools for software design
IBM Systems Journal
A hybrid declarative/procedural metadata mapping language based on python
ECDL'05 Proceedings of the 9th European conference on Research and Advanced Technology for Digital Libraries
Hi-index | 0.00 |