Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. AMAST 1991: Iowa City, USA
- Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo:
Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19797-4
Algebraic Logic for Software Reliability
- Vaughan R. Pratt:
Event Spaces and their Linear Logic. AMAST 1991: 3-25 - Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio:
Algebraic Specification at Work. AMAST 1991: 26-42 - Francesco Parisi-Presicce:
On the Reusability of Specifications and Implementations. AMAST 1991: 43-56 - David Eichmann:
Selecting Reusable Components Using Algebraic Specifications. AMAST 1991: 57-69 - G. Steve Hirst, T. B. Dinesh:
The Combination of Specifications and the Induced Relations in Object Oriented Programs. AMAST 1991: 70-77
Algebraic Design of Parallel Systems
- André Arnold:
MEC: A System for Constructing and Analysis Transition Systems. AMAST 1991: 81-82 - Gil Zvi Deutsch, S. Kaplan:
Algebraic Semantics of Real-Time Process Specifications. AMAST 1991: 83-97 - Ryszard Janicki, Maciej Koutny:
Structure of Concurrency. AMAST 1991: 98-107 - Paola Inverardi, Monica Nesi:
On Rewriting Behavioral Semantics in Process Algebras. AMAST 1991: 108-116 - Maria Zamfir Bleyberg:
Modeling Concurrency with AND/OR Algebraic Theories. AMAST 1991: 117-131 - Aurel Cornell:
Type Consistency Checking for Concurrent Independent Processes. AMAST 1991: 132-141
Specification of Software Systems
- Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas:
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. AMAST 1991: 145-172 - Pierre-Yves Schobbens:
Clean Algebraic Exception with Implicit Propagation. AMAST 1991: 173-186 - Werner Fey:
ACT TWO: An Algebraic Module Specification and Interconnection Language. AMAST 1991: 187-200 - Carolyn L. Talcott:
Towards a Theory of Binding Structures: An Abstract Algebra. AMAST 1991: 201-215 - Gilles Bernot, Michel Bidoit:
Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues. AMAST 1991: 216-239
Construction of System Software
- Gilles Bernot, Marie-Claude Gaudel, Bruno Marre:
A Formal Approach to Software Testing. AMAST 1991: 243-253 - Heinrich Hussmann:
A Case Study Towards Algebraic Verification of Code. AMAST 1991: 254-263 - John Knaack, Teodor Rus:
TwoLev: A Two Level Scanner. AMAST 1991: 264-276 - Emma van der Meulen:
Deriving Incremental Implementations from Algebraic. AMAST 1991: 277-286 - Jiazhen Cai, Robert Paige:
Language Polynomial in the Input Plus Output. AMAST 1991: 287-300
Reasoning about Software Development
- Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude:
Polynomial Relators (Extended Abstract). AMAST 1991: 303-326 - Val Breazu-Tannen, Ramesh Subrahmanyam:
On Adding Algebraic Theories with Induction to Typed Lambda Calculi. AMAST 1991: 327-340 - Scott F. Smith:
Extracting Recursive Programs in Type Theory. AMAST 1991: 341-349 - Hantao Zhang, Angshuman Guha, Xin Hua:
Using Algebraic Specification in Floyd-Hoare Assertions. AMAST 1991: 350-362 - Emmanuel Kounalis, Michaël Rusinowitch:
Studies on the Ground Convergence Property of Conditional Theories. AMAST 1991: 363-376 - Muffy Thomas, Phil Watson:
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. AMAST 1991: 377-390
Tools for Software Development
- Neil D. Jones:
Efficient Algebraic Operations on Programs. AMAST 1991: 393-420 - Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor:
The PROSPECTRA System: A Unified Development Framework. AMAST 1991: 421-433 - Henk Eertink:
Tools for Algebraic Distributed System Design. AMAST 1991: 434-442 - Daniela Rus:
A Framework for Dexterous Manipulation using Lie Algebras. AMAST 1991: 443-455 - Yellamraju V. Srinivas:
Pattern Matching: A Sheaf-Theoretic Approach. AMAST 1991: 456-466 - Didier Bert, Christine Lafontaine:
Integration of Semantical Verification Conditions in a Specification Language Definition. AMAST 1991: 467-477 - Kevin Lano, Howard P. Haughton:
An Algebraic Semantics for the Specification Language Z++. AMAST 1991: 478-493
Algebraic Software Technology
- Irène Guessarian:
About Algebras, Fixpoints and Semantics. AMAST 1991: 497-528 - Richard Marciano, Teodor Rus:
Algebraic Construction of Program Representation Graphs. AMAST 1991: 529-546 - G. Ramalingam, Thomas W. Reps:
Modification Algebras. AMAST 1991: 547-558 - Huajun Qin, Philip Lewis:
Decomposition of Finite State Machines under Isomorphic and Bisimulation Equivalences. AMAST 1991: 559-570
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
