Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rudolf Berghammer, Gunther Schmidt 0001 |
RELVIEW - A Computer System for the Manipulation of Relations. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Ruth Breu, Michael Breu |
Abstract and Concrete Objects - An Algebraic Design Method for Object-Based Systems. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Abdelillah Mokkedem, Dominique Méry |
On Using a Composition Principle to Design Parallel Programs. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt 0001 |
RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Roberto Gorrieri, Marco Roccetti |
Towards Performance Evaluation in Process Algebras. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Chris Brink, Katarina Britz |
Peirce Algebras. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray |
Joining Abstract and Concrete Computations in Constraint Logic Programming. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Thony van der Vloedt |
The LOTOS Toolbox. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Michael Johnson, Christopher N. G. Dampney |
On the Value of Commutative Diagrams in Information Modelling. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Roger D. Maddux |
Relation Algebras for Reasoning about Time and Space. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma |
On the Coverage of Partial Validations. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Arie van Deursen, T. B. Dinesh, Emma van der Meulen |
The ASF+SDF Meta-environment. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Julio García-Martín, Juan José Moreno-Navarro |
A Formal Definition of an Abstract Prolog Compiler (Extended Abstract). |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Elizabeth A. Scott |
Automated Proof of the Correctness of a Compiling Specification. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Naima Brown, Dominique Méry |
Towards an Integrated Environment for Concurrent programs Development. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Hartmut Ehrig, Francesco Parisi-Presicce |
Interaction between Algebraic Specification Grammars and Modular System Design. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Pasquale Malacaria |
Equivalences of Transition Systems in an Algebraic Framework. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Marisa Navarro, Fernando Orejas, Ana Sánchez |
On the Correctness of Modular Systems. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond |
Synchronous Observers and the Verification of Reactive Systems. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Hubert Comon |
Constraints in Term Algebras (Short Survey). |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt 0001, Paulo A. S. Veloso |
Comparing Two Different Approaches to Products in Abstract Relation Algebra. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Valentin M. Antimirov, Anatoli Degtyarev |
Completeness of Equational Definitions over Predefined Algebras. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Aurel Cornell, John Knaack, A. Nangia, Teodor Rus |
Real-Time Program Synthesis from Specifications. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Khalil Drira, Pierre Azéma |
Verifying Communication Protocols Via Testing-Projection. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Tim Sheard |
Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Arie van Deursen, Peter D. Mosses |
Executing Action Semantic Descriptions using ASF+SDF. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Gillian Hill |
Category Theory for the Configuration of Complex Systems. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Eric G. Wagner |
The Role of Memory in Object-based and Object-oriented Languages. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | R. K. Shyamasundar |
Specification of Hybrid Systems in CRP. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Ismar Neumann Kaufman, Silvio Romero de Lemos Meira |
Modal Action Logic in a Practical Specification Language. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Eugenio Battiston, V. Crespi, Fiorella de Cindio, Giancarlo Mauri |
Semantics Frameworks for a Class of Modular Algebraic Nets. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Hajnal Andréka, István Németi, Ildikó Sain |
Applying Algebraic Logic to Logic. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo (eds.) |
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 |
AMAST |
1992 |
DBLP BibTeX RDF |
|
1 | Richard Marciano, Teodor Rus |
Algebraic Construction of Program Representation Graphs. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Heinrich Hussmann |
A Case Study Towards Algebraic Verification of Code. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Neil D. Jones |
Efficient Algebraic Operations on Programs. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | John Knaack, Teodor Rus |
TwoLev: A Two Level Scanner. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Pierre-Yves Schobbens |
Clean Algebraic Exception with Implicit Propagation. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Henk Eertink |
Tools for Algebraic Distributed System Design. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Francesco Parisi-Presicce |
On the Reusability of Specifications and Implementations. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Carolyn L. Talcott |
Towards a Theory of Binding Structures: An Abstract Algebra. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Hantao Zhang 0001, Angshuman Guha, Xin Hua |
Using Algebraic Specification in Floyd-Hoare Assertions. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | G. Ramalingam, Thomas W. Reps |
Modification Algebras. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Werner Fey |
ACT TWO: An Algebraic Module Specification and Interconnection Language. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | André Arnold |
MEC: A System for Constructing and Analysis Transition Systems. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio |
Algebraic Specification at Work. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Maria Zamfir Bleyberg |
Modeling Concurrency with AND/OR Algebraic Theories. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Muffy Thomas, Phil Watson |
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Scott F. Smith 0001 |
Extracting Recursive Programs in Type Theory. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Val Breazu-Tannen, Ramesh Subrahmanyam |
On Adding Algebraic Theories with Induction to Typed Lambda Calculi. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Didier Bert, Christine Lafontaine |
Integration of Semantical Verification Conditions in a Specification Language Definition. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | G. Steve Hirst, T. B. Dinesh |
The Combination of Specifications and the Induced Relations in Object Oriented Programs. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Huajun Qin, Philip Lewis |
Decomposition of Finite State Machines under Isomorphic and Bisimulation Equivalences. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | David Eichmann |
Selecting Reusable Components Using Algebraic Specifications. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Yellamraju V. Srinivas |
Pattern Matching: A Sheaf-Theoretic Approach. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Emmanuel Kounalis, Michaël Rusinowitch |
Studies on the Ground Convergence Property of Conditional Theories. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude |
Polynomial Relators (Extended Abstract). |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor |
The PROSPECTRA System: A Unified Development Framework. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Jiazhen Cai, Robert Paige |
Language Polynomial in the Input Plus Output. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Irène Guessarian |
About Algebras, Fixpoints and Semantics. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Vaughan R. Pratt |
Event Spaces and their Linear Logic. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas |
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Gil Zvi Deutsch, S. Kaplan |
Algebraic Semantics of Real-Time Process Specifications. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Emma van der Meulen |
Deriving Incremental Implementations from Algebraic. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Daniela Rus |
A Framework for Dexterous Manipulation using Lie Algebras. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Kevin Lano, Howard P. Haughton |
An Algebraic Semantics for the Specification Language Z++. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Gilles Bernot, Marie-Claude Gaudel, Bruno Marre |
A Formal Approach to Software Testing. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Ryszard Janicki, Maciej Koutny |
Structure of Concurrency. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Gilles Bernot, Michel Bidoit |
Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Aurel Cornell |
Type Consistency Checking for Concurrent Independent Processes. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
1 | Paola Inverardi, Monica Nesi |
On Rewriting Behavioral Semantics in Process Algebras. |
AMAST |
1991 |
DBLP BibTeX RDF |
|