Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Andre J. Sampaio, Armando Martin Haeberer, Claudio T. Prates, Cristina D. Ururahy, Marcelo F. Frias, Neudson C. Albuquerque |
PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou |
Calculating Software Generators from Solution Specifications. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Petr Jancar |
High Undecidability of Weak Bisimilarity for Petri Nets. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jens Palsberg |
Comparing Flow-Based Binding-Time Analyses. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Bernd Mahr |
A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Didier Bert, Catherine Oriat |
A Model Inference System for Generic Specification with Application to Code Sharing. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sandrine Blazy, Philippe Facon |
Formal Specification and Prototyping of a Program Specializer. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
software maintenance, rule induction, VDM, program specialization, structured operational semantics, proof of correctness, Centaur |
1 | David Sands 0001 |
Proving the Correctness of Recursion-Based Automatic Program Transformations. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio, Mads Dam |
Reasoning about Higher-Order Processes. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Marre |
LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Potthoff |
First-Order Logic on Finite Trees. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Huimin Lin |
Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Davide Sangiorgi |
Pi-I: A Symmetric Calculus Based on Internal Mobility. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christiane Floyd |
Theory and Practice of Software Development: Stages in a Debate. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Selivanov |
Fine Hierarchy of Regular omega-Languages. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Anna Ingólfsdóttir |
CPO Models for a Class of GSOS Languages. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ina Schieferdecker |
Performance-Oriented Formal Specifications - the LotoTis Approach. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Vaughan R. Pratt |
Rational Mechanisms and Natural Mathematics. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen |
Rational Spaces and Set Constraints. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yves Andre, Francis Bossut |
The Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is Solvable. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Egidio Astesiano, Gianna Reggio, Franco Morando |
The SMoLCS ToolSet. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Burghard von Karger |
An Algebraic Approach to Temporal Logic. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Frank Tip |
Generic Techniques for Source-Level Debugging and Dynamic Program Slicing. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Baumeister |
Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Flemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson |
The HOL-UNITY Verification System. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michal Walicki, Sigurd Meldal |
Generated Models and the omega-Rule: The Nondeterministic Case. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Adriano Peron |
Statecharts, Transition Structures and Transformations. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alfons Geser |
Mechanized Inductive Proof of Properties of a Simple Code Optimizer. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Vaughan R. Pratt |
Anatomy of the Pentium Bug. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Kleuker |
A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
formal software development, provably correct software, extensible systems |
1 | Bernhard Steffen, Tiziana Margaria, Andreas Claßen |
The META-Frame: An Environment for Flexible Tool Management. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval |
Measuring Concurrency of Regular Distributed Computations. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mark van den Brand, Eelco Visser |
The Asf+Sdf Meta-Environment Documentation Tools for Free! |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hanne Riis Nielson, Flemming Nielson |
Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Boudet, Hubert Comon |
About the Theory of Tree Embedding. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Zhenyu Qian |
Linear Unification of Higher-Order Patterns. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Rosa M. Jiménez, Fernando Orejas |
Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Claire Diehl, Claude Jard, Jean-Xavier Rampon |
Reachability Analysis on Distributed Executions. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001 |
Term Rewriting in CT-Sigma. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali |
Testability of a Communicating System Through an Environment. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | N. Gnanamalar David, Frank Drewes, Hans-Jörg Kreowski |
Hyperedge Replacement with Rendevous. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Diego Latella, Paola Quaglia |
A Fully Parallel Calculus of Synchronizing Processes. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Longo |
Types as Parameters. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Fosca Giannotti, Diego Latella |
Gate Splitting in LOTOS Specifications Using Abstract Interpretation. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Asperti, Cosimo Laneve |
Optimal Reductions in Interaction Systems. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Collette |
Application of the Composition Principle to Unity-like Specifications. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | John V. Guttag |
Goldilocks and the Three Specifications. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Bernot, Pascale Le Gall |
Exception Handling and Term Labelling. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
Key-words Algebraic specifications of abstract data types, Error and exception handling, Exception recovery, Bounded data structures, Structured specifications |
1 | Mark T. Vandevoorde |
Specifications Can Make Programs Run Faster. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | E. Pascal Gribomont, Vincent Van Dongen |
Generic Systolic Arrays: A Methodology for Systolic Design. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Leo Bachmair, Ta Chen, I. V. Ramakrishnan |
Associative-Commutative Discrimination Nets. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Becker 0002 |
Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Claude Gaudel, Jean-Pierre Jouannaud (eds.) |
TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza |
Model Checking Using Net Unfoldings. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Graf, Claire Loiseaux |
Property Preserving Abstractions under Parallel Composition. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Dieter Ehrich, Grit Denker, Amílcar Sernadas |
Constructing Systems as Object Communities. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jean Bétréma, A. K. Zvonkin |
La Vraie Forme d'un Arbre. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Carron Kirkwood |
Automating (Specififation = Implementation) Using Equational Reasoning and LOTOS. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Danièle Beauquier, Damian Niwinski |
Automata on Infinite Trees with Counting Constraints. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Pena, Luis M. Alonso |
A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Andreoli, Lone Leth Thomsen, Remo Pareschi, Bent Thomsen |
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
Chemical Abstract Machines, Concurrent, Broadcasting, Linear Logic, Rewriting, True Concurrency |
1 | Nachum Dershowitz |
Trees, Ordinals and Termination. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Françoise Bellegarde, James Hook |
Monads, Indexes and Transformations. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy Tiuryn, Mitchell Wand |
Type Reconstruction with Recursive Types and Atomic Subtyping. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ming Yu Yao, Gregor von Bochmann |
Testing for a Conformance Relation Based on Acceptance. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | André Arnold |
Verification and Comparison of Transition Systems. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Elena Barcucci, Renzo Pinzani, Renzo Sprugnoli |
Directed Column-Convex Polyominoes by Recurrence Relations. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Wei Li 0022 |
A Theory of Requirements Capture and Its Applications. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Trier |
(Un)expected Path Lengths of Asymmetric Binary Search Trees. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
Keyword Algorithms and Data Structures |
1 | Cliff B. Jones |
Constraining Inference in an Object-Based Design Model. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Mahr |
Applications of Type Theory. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Davide Sangiorgi |
From pi-Calculus to Higher-Order pi-Calculus - and Back. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mohsin Ahmed, G. Venkatesh |
A Propositional Dense Time Logic (Based on Nested Sequences). |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
ordinal trees, Temporal logic, dense time |
1 | Michel Bidoit, Rolf Hennicker |
A General Framework for Modular Implementations of Modular System Specifications. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Thomas |
On the Ehrenfeucht-Fraïssé Game in Theoretical Computer Science. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Guy Louchard |
Trie Size in a Dynamic List Structure. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Yves Bertrand, Jean-François Dufourd, Jean Françon, Pascal Lienhardt |
Algebraic Specification and Development in Geometric Modeling. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Niehren, Andreas Podelski |
Feature Automata and Recognizable Sets of Feature Trees. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy Tyszkiewicz |
On Asymptotic Probabilities in Logics That Capture DSPACE(log n) in Presence of Ordering. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Paola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich |
Yeast: A Case Study for a Practical Use of Formal Methods. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Seidl |
When Is a Functional Tree Transduction Deterministic? |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jun Han, Jim Welsh |
Object Organisation in Software Environments for Formal Methods. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Laurence Puel, Ascánder Suárez |
Optimal Solutions to Pattern Matching Problems. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Pierpaolo Degano, Roberto Gorrieri, Sebastiano Vigna |
On Relating Some Models for Concurrency. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Rüdiger Olderog, Stephan Rössig |
A Case Study in Transformational Design of Concurrent Systems. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Smith 0001 |
Polymorphic Type Inference with Overloading and Subtyping. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|