Partial evaluation and &ohgr;-completeness of algebraic specifications
Theoretical Computer Science
Foundations and applications of Montague grammar: 8M part 1: philosophy, framework, computer science
Foundations and applications of Montague grammar: 8M part 1: philosophy, framework, computer science
Combining algebraic and predicative specifications in Larch
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) on Formal Methods and Software, Vol.2: Colloquium on Software Engineering (CSE)
A theory of abstract data types for program development: bridging the gap?
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) on Formal Methods and Software, Vol.2: Colloquium on Software Engineering (CSE)
Initiality, induction, and computability
Algebraic methods in semantics
Algebraic specification of modules and their basic interconnections
Journal of Computer and System Sciences
Union and actualization of module specifications: some compatibility results
Journal of Computer and System Sciences
Algebraic specifications of computable and semicomputable data types
Theoretical Computer Science
The specification language of Obscure
Lecture notes in Computer Science on Recent trends in data type specification
Algebraic specification
Computability and logic: 3rd ed.
Computability and logic: 3rd ed.
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
Journal of the ACM (JACM)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules
Proceedings of the 9th Colloquium on Automata, Languages and Programming
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Axiomatizing Specification Theory
Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Limits of the "algebraic" specification of abstract data types
ACM SIGPLAN Notices
ACM Transactions on Programming Languages and Systems (TOPLAS)
On local modularity and interpolation in entailment systems
Information Processing Letters
Logical systems for structured specifications
Theoretical Computer Science
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Moving Specification Structures Between Logical Systems
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Proof Normalization of Structured Algebraic Specifications Is Convergent
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A Reuse-Oriented Framework for Hierarchical Specifications
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
The Use of Renaming in Composing General Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Compositional Symmetric Sharing in B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A theory of mixin modules: algebraic laws and reduction semantics
Mathematical Structures in Computer Science
A theory of mixin modules: basic and derived operators
Mathematical Structures in Computer Science
The algebraic structure of interfaces
Science of Computer Programming
Interpolation in Grothendieck institutions
Theoretical Computer Science
Composing programs in a rewriting logic for declarative programming
Theory and Practice of Logic Programming
Behavioral abstraction is hiding information
Theoretical Computer Science - Selected papers of CMCS'03
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
Goal-oriented modularity in agent programming
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
About "trivial" software patents: The IsNot case
Science of Computer Programming
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
Science of Computer Programming
Uncertain information: Random variables in graded semilattices
International Journal of Approximate Reasoning
Maurer computers for pipelined instruction processing†
Mathematical Structures in Computer Science
A categorical study on the finiteness of specifications
Information Processing Letters
Towards Formal Verification of ToolBus Scripts
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
A semantic approach to interpolation
Theoretical Computer Science
Process Algebra: An Algebraic Theory of Concurrency
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Electronic Notes in Theoretical Computer Science (ENTCS)
Structured CSP: a process algebra as an institution
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
A generic module system for web rule languages: divide and rule
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
An Interface Group for Process Components
Fundamenta Informaticae
A semantic approach to interpolation
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Automated translation and analysis of a ToolBus script for auctions
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Interpolation for predefined types
Mathematical Structures in Computer Science
An axiomatic approach to structuring specifications
Theoretical Computer Science
A proof theoretic interpretation of model theoretic hiding
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Proposition algebra and short-circuit logic
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
Interpolation in logics with constructors
Theoretical Computer Science
| Hi-index | 0.01 |
An axiomatic algebraic calculus of modules is given that is based on the operators combination/union, export, renaming, and taking the visible signature. Four different models of module algebra are discussed and compared.