IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
On the classification of binding mechanisms
Information Processing Letters
Napier88—a database programming language?
Proceedings of the second international workshop on Database programming languages
Environment object management technology: experiences, opportunities and risks
Proceedings of the international workshop on environments on Software engineering environments
A mathematical definition of full Prolog
Science of Computer Programming
Evolving algebras 1993: Lipari guide
Specification and validation methods
The semantics of the C++ programming language
Specification and validation methods
The bakery algorithm: yet another specification and verification
Specification and validation methods
Kermit: specification and verification
Specification and validation methods
On the meaning of names in programming systems
Communications of the ACM
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Operating Systems, An Advanced Course
Algebraic Operational Semantics and Modula-2
CSL '87 Proceedings of the 1st Workshop on Computer Science Logic
Conch: Experimenting with Enhanced Name Management for Persistent Object Systems
Proceedings of the Sixth International Workshop on Persistent Object Systems
Designing Linguistic Interfaces to an Object Database or What do C++, SQL, and Hell have in Common?
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
The contour model of block structured processes
ACM SIGPLAN Notices
A convergent systems viewpoint on viewpoints
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
A design framework for Internet-scale event observation and notification
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Viewcharts: Syntax and Semantics
Informatica
Hi-index | 0.00 |