Search results for "Assertions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Nam Tran II, Christine Mingins, David Abramson 0001	Design and implementation of assertions for the common language infrastructure.	IEE Proc. Softw.	2003	DBLP DOI BibTeX RDF
16	Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter	Correspondence Assertions for Process Synchronization in Concurrent Communications.	FOCLASA	2003	DBLP DOI BibTeX RDF
16	Anthony J. H. Simons	The Theory of Classification, Part 5: Axioms, Assertions and Subtyping.	J. Object Technol.	2003	DBLP DOI BibTeX RDF
16	Andrew D. Gordon 0001, Alan Jeffrey	Typing correspondence assertions for communication protocols.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
16	Stephan Breutel, Frédéric Maire, Ross Hayward	Extracting Interface Assertions from Neural Networks in Polyhedral Format.	ESANN	2003	DBLP BibTeX RDF
16	Guang-Sha Qui, Patrick C. K. Hung	Illustrating Conflict of Interest Assertions in WS-Policy with a Financial Application Example.	ICWS	2003	DBLP BibTeX RDF
16	Peter Horan	Eiffel Assertions and the External Structure of Classes and Objects.	J. Object Technol.	2002	DBLP DOI BibTeX RDF
16	Isabel Nunes	Design by Contract Using Meta-Assertions.	J. Object Technol.	2002	DBLP DOI BibTeX RDF
16	Andreas Rau 0004	Verwendung von Zusicherungen in einem modellbasierten Entwicklungsprozess (Using Assertions and Watchdogs in a Model-Based Development Process).	Informationstechnik Tech. Inform.	2002	DBLP DOI BibTeX RDF
16	C. A. R. Hoare	Assertions: A Personal Perspective.	Software Pioneers	2002	DBLP DOI BibTeX RDF
16	Ranan Fraer, Shahid Ikram, Gila Kamhi, Tim Leonard, Abdel Mokkedem	Accelerated verification of RTL assertions based on satisfiability solvers.	HLDVT	2002	DBLP DOI BibTeX RDF
16	C. A. R. Hoare	Assertions in Modern Software Engineering Practice.	COMPSAC	2002	DBLP BibTeX RDF
16	Dan Pei, Xiaoliang Zhao, Lan Wang, Daniel Massey, Allison Mankin, Shyhtsun Felix Wu, Lixia Zhang 0001	Improving BGP Convergence Through Consistency Assertions.	INFOCOM	2002	DBLP DOI BibTeX RDF
16	Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer	Dynamic Assertions Using TXP.	RV@CAV	2001	DBLP DOI BibTeX RDF
16	Detlef Bartetzko, Clemens Fischer, Michael Möller 0002, Heike Wehrheim	Jass - Java with Assertions.	RV@CAV	2001	DBLP DOI BibTeX RDF
16	Andrew D. Gordon 0001, Alan Jeffrey	Typing Correspondence Assertions for Communication Protocols.	MFPS	2001	DBLP DOI BibTeX RDF
16	Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri	Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis.	Formal Methods Syst. Des.	2001	DBLP DOI BibTeX RDF
16	Vânia Maria Ponte Vidal, Bernadette Farias Lóscio, Ana Carolina Salgado	Using Correspondence Assertions for Specifying the Semantics of XML-Based Mediators.	Workshop on Information Integration on the Web	2001	DBLP BibTeX RDF
16	Tom Mens	Transformational Software Evolution by Assertions.	FFSE@CSMR	2001	DBLP BibTeX RDF
16	William Mitchell	Class assertions - an emerging factor in software engineering.	CATA	2001	DBLP BibTeX RDF
16	Donald Bamber, I. R. Goodman	Reasoning with Assertions of High Conditional Probability: Entailment with Universal Near Surety.	ISIPTA	2001	DBLP BibTeX RDF
16	Dirk Van Heule, Albert Hoogewijs	Automated Reasoning with Ordinary Assertions and Default Assumptions.	ISMVL	2001	DBLP DOI BibTeX RDF
16	C. A. R. Hoare	Growing Use of Assertions.	TOOLS (38)	2001	DBLP DOI BibTeX RDF
16	Donald Bamber	Entailment with Near Surety of Scaled Assertions of High Conditional Probability.	J. Philos. Log.	2000	DBLP DOI BibTeX RDF
16	Can Türker, Gunter Saake	Global Extensional Assertions and Local Integrity Constraints in Federated Schemata.	Inf. Syst.	2000	DBLP DOI BibTeX RDF
16	Martina Schollmeyer, Bruce M. McMillin	Efficient run-time assurance in distributed systems through selection of executable assertions.	J. Syst. Softw.	2000	DBLP DOI BibTeX RDF
16	Wolfgang Küchlin, Carsten Sinz	Proving Consistency Assertions for Automotive Product Data Management.	J. Autom. Reason.	2000	DBLP DOI BibTeX RDF
16	Claude Laï	Assertions with Constraints for CLP Debugging.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
16	Sanjay J. Patel, Tony Tung, Satarupa Bose, Matthew M. Crum	Increasing the size of atomic instruction blocks using control flow assertions.	MICRO	2000	DBLP DOI BibTeX RDF
16	Mohamed Yasser Khayata, Daniel Pacholczyk	Qualitative Reasoning with Quantified Assertions.	AI&M	2000	DBLP BibTeX RDF
16	Henry MacKay Walker	Modules to introduce assertions and loop invariants informally within CS1: experiences and observations.	ACM SIGCSE Bull.	1998	DBLP DOI BibTeX RDF
16	Ulf Leser	Combining Heterogeneous Data Sources through Query Correspondence Assertions.	Workshop on Web Information and Data Management	1998	DBLP BibTeX RDF
16	Clemens Fischer, Dieter Meemken	JaWa: Java with Assertions.	Java-Informations-Tage	1998	DBLP DOI BibTeX RDF
16	Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri	Theorem proving guided development of formal assertions in a resource-constrained scheduler for high-level synthesis.	ICCD	1998	DBLP DOI BibTeX RDF
16	Ion I. Mirita	Quadri-Dimensional Interpretation of Syllogistic Inferential Process in Polyvalent Logic, With a View to Structuring Concepts and Assertions for Realizing the Universal Knowledge Basis.	IEA/AIE (Vol. 1)	1998	DBLP DOI BibTeX RDF
16	Jürgen F. H. Winkler, Stefan Kauer	Proving Assertions is Also Useful.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF
16	Miguel Katrib, Jesüs Coira	Improving Eiffel Assertions Using Quantiefied Iterators.	J. Object Oriented Program.	1997	DBLP BibTeX RDF
16	Patrick Fitzpatrick	Extending Backward Error Assertions to Tolerance of Large Errors in Floating Point Computations.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF
16	Nikolaj S. Bjørner, Anca Browne, Zohar Manna	Automatic Generation of Invariants and Intermediate Assertions.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
16	Jeffrey M. Voas	Quality Time: How Assertions Can Increase Test Effectiveness.	IEEE Softw.	1997	DBLP DOI BibTeX RDF
16	Stuart Kent 0001	Constraint Diagrams: Visualizing Assertions in Object-Oriented Models.	OOPSLA	1997	DBLP DOI BibTeX RDF
16	K. John Gough, Herbert Klaeren	Executable Assertions and Separate Compilation.	JMLC	1997	DBLP DOI BibTeX RDF
16	Guy W. Mineau, Olivier Gerbé	Contexts: A Formal Definition of Worlds of Assertions.	ICCS	1997	DBLP DOI BibTeX RDF	conceptual graph theory, semantics, contexts, knowledge representation, concept formation
16	Mikhail Auguston, Miu Har Hon	Assertions for Dynamic Shape Analysis of List Data Structures.	AADEBUG	1997	DBLP BibTeX RDF
16	Jonathan Cook	Assertions for the Tcl Language.	Tcl/Tk Workshop	1997	DBLP BibTeX RDF
16	Angela Bonifati, Luigi Palopoli 0001, Domenico Saccà, Domenico Ursino	Discovering description logic assertions from database schemes.	Description Logics	1997	DBLP BibTeX RDF
16	Victor Carreno	Transition assertions: a higher-order logic based method for the specification and verification of real-time systems		1997	RDF
16	Paul E. Kearney	The relationship between a phylogeny and its ordinal assertions.		1997	RDF
16	Mike A. Marin	Effective use of Assertions in C++.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
16	Mohan Ahuja	Assertions About Past and Future in Highways: Global Flush Broadcast and Flush-Vector-Time (Erratum).	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
16	Philippe Collet, Roger Rousseau	Classification et réification des assertions - Application au langage Eiffel.	LMO	1996	DBLP BibTeX RDF
16	Christophe Rabéjac, Jean-Paul Blanquart, Jean-Pierre Queille	Executable Assertions and Timed Traces for On-Line Software Error Detection.	FTCS	1996	DBLP DOI BibTeX RDF
16	Xavier C. Delannoy, Ana Simonet, Michel Simonet	Database Views with Dynamic Assertions.	OOIS	1996	DBLP DOI BibTeX RDF
16	Ramaswamy Ramanujam	Local Knowledge Assertions in a Changing World.	TARK	1996	DBLP BibTeX RDF
16	Sara Porat, L. Paul Fertig	Class Assertions in C++.	J. Object Oriented Program.	1995	DBLP BibTeX RDF
16	Daniel Boley, Gene H. Golub, Samy Makar, Nirmal R. Saxena, Edward J. McCluskey	Floating Point Fault Tolerance with Backward Error Assertions.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF
16	David S. Rosenblum	Correction to "A Practical Approach to Programming with Assertions".	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF
16	Wei Sun 0002, Yibei Ling, Clement T. Yu	Supporting Inheriance Using Subclass Assertions.	Inf. Syst.	1995	DBLP DOI BibTeX RDF
16	John Lamping, Martín Abadi	Methods as Assertions.	Theory Pract. Object Syst.	1995	DBLP BibTeX RDF
16	Christophe Rabéjac	On-line Software Error Detection by Executable Assertions: From Theory to Practice.	SAFECOMP	1995	DBLP DOI BibTeX RDF
16	Bernhard Möller	Assertions and Recursions.	HOA	1995	DBLP DOI BibTeX RDF
16	Nikolaj S. Bjørner, Anca Browne, Zohar Manna	Automatic Generation of Invariants and Assertions.	CP	1995	DBLP DOI BibTeX RDF
16	Alexander Sakharov	Propagation of Constants and Assertions.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF
16	Alexander Sakharov	Propagation of Constants and Assertions.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF
16	Peter Fritzson, Mikhail Auguston, Nahid Shahmehri	Using assertions in declarative and operational models for automated debugging.	J. Syst. Softw.	1994	DBLP DOI BibTeX RDF
16	Krzysztof R. Apt, Elena Marchiori	Reasoning About Prolog Programs: From Modes Through Types to Assertions.	Formal Aspects Comput.	1994	DBLP DOI BibTeX RDF
16	Christian Burks, Rebecca J. Parsons, Michael L. Engle	Integration of Competing Ancillary Assertions in Genome Assembly.	ISMB	1994	DBLP BibTeX RDF
16	Ian A. Mason, Carolyn L. Talcott	Program Transformation via Contextual Assertions.	Logic, Language and Computation	1994	DBLP DOI BibTeX RDF
16	Glen Maughan, Bohdan Durnota	MON : An Object Relationship Model Incorporating Roles, Classification, Publicity and Assertions.	OOIS	1994	DBLP DOI BibTeX RDF
16	Jeffrey M. Voas, Keith W. Miller 0001	Putting assertions in their place.	ISSRE	1994	DBLP DOI BibTeX RDF
16	Maroua Bouzid, François Charpillet, Pierre Marquis, Jean Paul Haton	Assumption-Based Truth Maintenance in Precense of Temproal Assertions.	ICTAI	1994	DBLP DOI BibTeX RDF
16	Manuela Carrillo-Castellon, Jesús García Molina, Ernesto Pimentel 0001	Eiffel-like Assertions and Private Methods in Smalltalk.	TOOLS (13)	1994	DBLP BibTeX RDF
16	Mohan Ahuja	Assertions About Past and Future in Highways: Global Flush Broadcast and Flush-Vector-Time.	Inf. Process. Lett.	1993	DBLP DOI BibTeX RDF
16	Patrick Cousot, Radhia Cousot	"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
16	Mauricio Osorio 0001, Bharat Jayaraman	Subset Assertions and Negation As Failure.	ILPS	1993	DBLP BibTeX RDF
16	Mohan Ahuja	Assertions about Past and Future: Communication in a High-Performance Distributed System Highways.	SPDP	1993	DBLP DOI BibTeX RDF
16	Bharat Jayaraman	Sublist Assertions for Listless and Lazy Evaluation.	Comput. Lang.	1992	DBLP DOI BibTeX RDF
16	Stefano Spaccapietra, Christine Parent, Yann Dupont	Model Independent Assertions for Integration of Heterogeneous Schemas	VLDB J.	1992	DBLP BibTeX RDF
16	Nancy A. Day	A Comparison between Statecharts and State Transition Assertions.	TPHOLs	1992	DBLP BibTeX RDF
16	Nils Klarlund	Progress Measures and Stack Assertions for Fair Termination.	PODC	1992	DBLP DOI BibTeX RDF
16	Xiaorong Huang	Applications of Assertions as Elementary Tactics in Proof Planning.	AIMSA	1992	DBLP BibTeX RDF
16	David S. Rosenblum	Towards a Method of Programming With Assertions.	ICSE	1992	DBLP DOI BibTeX RDF	C
16	Jörg Thierfelder	Separation theorems for sets in product spaces and equivalent assertions.	Kybernetika	1991	DBLP BibTeX RDF
16	Stefano Spaccapietra, Christine Parent	Conflicts and Correspondence Assertions in Interoperable Databases.	SIGMOD Rec.	1991	DBLP DOI BibTeX RDF
16	Hantao Zhang 0001, Angshuman Guha, Xin Hua	Using Algebraic Specification in Floyd-Hoare Assertions.	AMAST	1991	DBLP BibTeX RDF
16	Chris Groeneboer, James P. Delgrande	A general approach for determining the validity of commonsense assertions using conditional logics.	Int. J. Intell. Syst.	1990	DBLP DOI BibTeX RDF
16	Ali Jaoua, Ali Mili 0001	The use of executable assertions for error detection and damage assessment.	J. Syst. Softw.	1990	DBLP DOI BibTeX RDF
16	Peter Grogono	Comments, assertions and pragmas.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
16	Seiichiro Dan, Takahira Yamaguchi, Osamu Kakusho, Yoshikazu Tezuka	Program verification system with synthesizer of invariant assertions.	Syst. Comput. Jpn.	1989	DBLP DOI BibTeX RDF
16	Bernhard Möller	Applicative Assertions.	MPC	1989	DBLP DOI BibTeX RDF
16	Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski	Algorithmic Debugging with Assertions.	META	1988	DBLP BibTeX RDF
16	Christian Percebois, F. Guerin, G. Orzati	Parallélisme-OU et assertions Prolog.	SPLT	1988	DBLP BibTeX RDF
16	Ingolf Max	A new formal tool: functorial variables representing assertions and presuppositions.	COLING	1988	DBLP BibTeX RDF
16	Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski	The Use of Assertions in Algorithmic Debugging.	FGCS	1988	DBLP BibTeX RDF
16	Patrick Cousot, Radhia Cousot	Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs.	Acta Informatica	1987	DBLP DOI BibTeX RDF
16	Ali Mili 0001, Sihem Guemara, Ali Jaoua, Paul Torrés	On the use of executable assertions in structured programs.	J. Syst. Softw.	1987	DBLP DOI BibTeX RDF
16	Thomas A. Joseph, Thomas Räuchle, Sam Toueg	State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems.	Sci. Comput. Program.	1986	DBLP DOI BibTeX RDF
16	David B. Paradice, James F. Courtney	Controlling Bias in User Assertions in Expert Decision Support Systems for Problem Formulation.	J. Manag. Inf. Syst.	1986	DBLP DOI BibTeX RDF
16	William C. Mann, Sandra A. Thompson	Assertions from Discourse Structure.	HLT	1986	DBLP BibTeX RDF
16	C. S. Kwok	A note on sorting Prolog assertions.	SIGART Newsl.	1985	DBLP DOI BibTeX RDF