Search results for "TAPSOFT"

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

Publications at "TAPSOFT"( http://dblp.L3S.de/Venues/TAPSOFT )