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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEE Proc. Softw. ![In: IEE Proc. Softw. 150(5), pp. 329-336, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter |
Correspondence Assertions for Process Synchronization in Concurrent Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![In: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003, pp. 175-195, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Anthony J. H. Simons |
The Theory of Classification, Part 5: Axioms, Assertions and Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 2(1), pp. 13-22, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Andrew D. Gordon 0001, Alan Jeffrey |
Typing correspondence assertions for communication protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 300(1-3), pp. 379-409, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Stephan Breutel, Frédéric Maire, Ross Hayward |
Extracting Interface Assertions from Neural Networks in Polyhedral Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESANN ![In: 11th European Symposium on Artificial Neural Networks, ESANN 2003, Bruges, Belgium, April 23-25, 2003, Proceedings, pp. 463-468, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the International Conference on Web Services, ICWS '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, pp. 313-319, 2003, CSREA Press, 1-892512-49-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
16 | Peter Horan |
Eiffel Assertions and the External Structure of Classes and Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 1(4), pp. 105-118, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Isabel Nunes |
Design by Contract Using Meta-Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 1(3), pp. 37-56, 2002. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informationstechnik Tech. Inform. ![In: Informationstechnik Tech. Inform. 44(3), pp. 137-144, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | C. A. R. Hoare |
Assertions: A Personal Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Pioneers ![In: Software Pioneers., pp. 356-366, 2002, Springer Berlin Heidelberg, 978-3-642-63970-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: Seventh IEEE International High-Level Design Validation and Test Workshop 2002, Cannes, France, October 27-29, 2002, pp. 107-110, 2002, IEEE Computer Society, 0-7803-7655-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | C. A. R. Hoare |
Assertions in Modern Software Engineering Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 459-462, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM 2002, The 21st Annual Joint Conference of the IEEE Computer and Communications Societies, New York, USA, June 23-27, 2002, pp. 902-911, 2002, IEEE Computer Society, 0-7803-7477-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer |
Dynamic Assertions Using TXP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 134-146, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Detlef Bartetzko, Clemens Fischer, Michael Möller 0002, Heike Wehrheim |
Jass - Java with Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 103-117, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Andrew D. Gordon 0001, Alan Jeffrey |
Typing Correspondence Assertions for Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 119-140, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 19(3), pp. 237-273, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Information Integration on the Web ![In: Proceedings of the International Workshop on Information Integration on the Web, WIIW 2001, Rio de Janeiro, Brazil, April 9-11, 2001, pp. 3-11, 2001, 85-901839-1-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
16 | Tom Mens |
Transformational Software Evolution by Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FFSE@CSMR ![In: Proceedings of the 2001 International Workshop on Formal Foundations of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16, 2001., pp. 67-74, 2001, Universidade Nova de Lisboa. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
16 | William Mitchell |
Class assertions - an emerging factor in software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATA ![In: Proceedings of the ISCA 16th International Conference Computers and Their Applications, March 28-30, 2001, Seattle, Washington, USA, pp. 48-52, 2001, ISCA, 1-880843-37-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
16 | Donald Bamber, I. R. Goodman |
Reasoning with Assertions of High Conditional Probability: Entailment with Universal Near Surety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIPTA ![In: ISIPTA '01, Proceedings of the Second International Symposium on Imprecise Probabilities and Their Applications, Ithaca, NY, USA, pp. 17-26, 2001, Shaker, 90-423-0130-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
16 | Dirk Van Heule, Albert Hoogewijs |
Automated Reasoning with Ordinary Assertions and Default Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 31st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2001, Warsaw, Poland, May 22-24, 2001, Proceedings, pp. 193-200, 2001, IEEE Computer Society, 0-7695-1083-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | C. A. R. Hoare |
Growing Use of Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (38) ![In: TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, Components for Mobile Computing, Zurich, Switzerland, 12-14 March 2001, pp. 3, 2001, IEEE Computer Society, 0-7695-1095-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Donald Bamber |
Entailment with Near Surety of Scaled Assertions of High Conditional Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 29(1), pp. 1-74, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Can Türker, Gunter Saake |
Global Extensional Assertions and Local Integrity Constraints in Federated Schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 25(8), pp. 503-526, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Martina Schollmeyer, Bruce M. McMillin |
Efficient run-time assurance in distributed systems through selection of executable assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 52(1), pp. 33-54, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Wolfgang Küchlin, Carsten Sinz |
Proving Consistency Assertions for Automotive Product Data Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 24(1/2), pp. 145-163, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Claude Laï |
Assertions with Constraints for CLP Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 109-120, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 33rd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 33, Monterey, California, USA, December 10-13, 2000, pp. 303-313, 2000, ACM/IEEE Computer Society, 0-7695-0924-x. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Yasser Khayata, Daniel Pacholczyk |
Qualitative Reasoning with Quantified Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI&M ![In: International Symposium on Artificial Intelligence and Mathematics, AI&M 2000, Fort Lauderdale, Florida, USA, January 5-7, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Henry MacKay Walker |
Modules to introduce assertions and loop invariants informally within CS1: experiences and observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 30(2), pp. 31-35, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Ulf Leser |
Combining Heterogeneous Data Sources through Query Correspondence Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Web Information and Data Management ![In: CIKM'98 First Workshop on Web Information and Data Management (WIDM'98), Bathesda, Maryland, USA, November 6, 1998, pp. 29-32, 1998, ACM. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
16 | Clemens Fischer, Dieter Meemken |
JaWa: Java with Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java-Informations-Tage ![In: JIT '98, Java-Informations-Tage 1998, Frankfurt/Main, 12./13. November 1998, pp. 49-58, 1998, Springer, 3-540-64971-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: International Conference on Computer Design: VLSI in Computers and Processors, ICCD 1998, Proceedings, 5-7 October, 1998, Austin, TX, USA, pp. 392-399, 1998, IEEE Computer Society, 0-8186-9099-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 1) ![In: Methodology and Tools in Knowledge-Based Systems, 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-98, Castellón, Spain, June 1-4, 1998, Proceedings, Volume I, pp. 134-147, 1998, Springer, 3-540-64582-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Jürgen F. H. Winkler, Stefan Kauer |
Proving Assertions is Also Useful. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(3), pp. 38-41, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Miguel Katrib, Jesüs Coira |
Improving Eiffel Assertions Using Quantiefied Iterators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 10(7), pp. 35-43, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
16 | Patrick Fitzpatrick |
Extending Backward Error Assertions to Tolerance of Large Errors in Floating Point Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 46(4), pp. 505-510, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Nikolaj S. Bjørner, Anca Browne, Zohar Manna |
Automatic Generation of Invariants and Intermediate Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 173(1), pp. 49-87, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Jeffrey M. Voas |
Quality Time: How Assertions Can Increase Test Effectiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 14(2), pp. 118-122, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Stuart Kent 0001 |
Constraint Diagrams: Visualizing Assertions in Object-Oriented Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1997, Atlanta, Georgia, October 5-9, 1997., pp. 327-341, 1997, ACM, 0-89791-908-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | K. John Gough, Herbert Klaeren |
Executable Assertions and Separate Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JMLC ![In: Modular Programming Languages, Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997, Proceedings, pp. 41-52, 1997, Springer, 3-540-62599-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Guy W. Mineau, Olivier Gerbé |
Contexts: A Formal Definition of Worlds of Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Fulfilling Peirce's Dream, Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997, Proceedings, pp. 80-94, 1997, Springer, 3-540-63308-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 37-42, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
16 | Jonathan Cook |
Assertions for the Tcl Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tcl/Tk Workshop ![In: Proceedings of the Fifth Annual Tcl/Tk Workshop 1997, Boston, Massachusetts, USA, July 14-17, 1997, 1997, USENIX Association. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
16 | Angela Bonifati, Luigi Palopoli 0001, Domenico Saccà, Domenico Ursino |
Discovering description logic assertions from database schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
16 | Victor Carreno |
Transition assertions: a higher-order logic based method for the specification and verification of real-time systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
16 | Paul E. Kearney |
The relationship between a phylogeny and its ordinal assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
16 | Mike A. Marin |
Effective use of Assertions in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 31(11), pp. 28-32, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C++ |
16 | Mohan Ahuja |
Assertions About Past and Future in Highways: Global Flush Broadcast and Flush-Vector-Time (Erratum). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 58(6), pp. 325, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Collet, Roger Rousseau |
Classification et réification des assertions - Application au langage Eiffel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMO ![In: Actes des journéees Langages et Modèles à Objets, LMO'96. Leysin, Suisse, 16-18 octobre, pp. 29-45, 1996, Ecole Polytechnique Fédérale de Lausanne, CH. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTCS ![In: Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996, pp. 138-147, 1996, IEEE Computer Society, 0-8186-7261-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Xavier C. Delannoy, Ana Simonet, Michel Simonet |
Database Views with Dynamic Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: Proceedings of the 1996 International Conference on Object Oriented Information Systems, OOIS 1996, London, UK, December 16-18, 1996, pp. 333-339, 1996, Springer, 3-540-76132-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Ramaswamy Ramanujam |
Local Knowledge Assertions in a Changing World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996, pp. 1-14, 1996, Morgan Kaufmann, 1-55860-417-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
16 | Sara Porat, L. Paul Fertig |
Class Assertions in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 8(2), pp. 30-37, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 44(2), pp. 302-311, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | David S. Rosenblum |
Correction to "A Practical Approach to Programming with Assertions". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(3), pp. 265, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Wei Sun 0002, Yibei Ling, Clement T. Yu |
Supporting Inheriance Using Subclass Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 20(8), pp. 663-685, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | John Lamping, Martín Abadi |
Methods as Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Object Syst. ![In: Theory Pract. Object Syst. 1(1), pp. 5-18, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
16 | Christophe Rabéjac |
On-line Software Error Detection by Executable Assertions: From Theory to Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 390-402, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Bernhard Möller |
Assertions and Recursions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 163-184, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Nikolaj S. Bjørner, Anca Browne, Zohar Manna |
Automatic Generation of Invariants and Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings, pp. 589-623, 1995, Springer, 3-540-60299-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Sakharov |
Propagation of Constants and Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 29(5), pp. 3-6, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Sakharov |
Propagation of Constants and Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 29(3), pp. 28-32, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Peter Fritzson, Mikhail Auguston, Nahid Shahmehri |
Using assertions in declarative and operational models for automated debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 25(3), pp. 223-239, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Krzysztof R. Apt, Elena Marchiori |
Reasoning About Prolog Programs: From Modes Through Types to Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 6(6A), pp. 743-765, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Christian Burks, Rebecca J. Parsons, Michael L. Engle |
Integration of Competing Ancillary Assertions in Genome Assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMB ![In: Proceedings of the Second International Conference on Intelligent Systems for Molecular Biology, August 14-17, 1994, Stanford University, Stanford, California, USA, pp. 62-69, 1994, AAAI, 0-929280-68-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Ian A. Mason, Carolyn L. Talcott |
Program Transformation via Contextual Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Language and Computation ![In: Logic, Language and Computation, Festschrift in Honor of Satoru Takasu, pp. 225-254, 1994, Springer, 0-387-57935-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Glen Maughan, Bohdan Durnota |
MON : An Object Relationship Model Incorporating Roles, Classification, Publicity and Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: Proceedings of the 1994 International Conference on Object Oriented Information Systems, OOIS 1994, London, UK, December 19-21, 1994, pp. 166-180, 1994, Springer, 3-540-19927-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Jeffrey M. Voas, Keith W. Miller 0001 |
Putting assertions in their place. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 5th International Symposium on Software Reliability Engineering, ISSRE 1994, Monterey, CA, USA, November 6-9, 1994, pp. 152-157, 1994, IEEE Computer Society, 0-8186-6665-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Sixth International Conference on Tools with Artificial Intelligence, ICTAI '94, New Orleans, Louisiana, USA, November 6-9, 1994, pp. 492-498, 1994, IEEE Computer Society, 0-8186-6785-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (13) ![In: TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe., pp. 479-488, 1994, Prentice Hall, 0-13-350539-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Mohan Ahuja |
Assertions About Past and Future in Highways: Global Flush Broadcast and Flush-Vector-Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 48(1), pp. 21-28, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Patrick Cousot, Radhia Cousot |
"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 120(1), pp. 123-155, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Mauricio Osorio 0001, Bharat Jayaraman |
Subset Assertions and Negation As Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS ![In: Logic Programming, Proceedings of the 1993 International Symposium, Vancouver, British Columbia, Canada, October 26-29, 1993, pp. 637, 1993, MIT Press, 0-262-63152-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Mohan Ahuja |
Assertions about Past and Future: Communication in a High-Performance Distributed System Highways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, SPDP 1993, Dallas, Texas, USA, December 2-5, 1993., pp. 241-244, 1993, IEEE Computer Society, 0-8186-4221-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Bharat Jayaraman |
Sublist Assertions for Listless and Lazy Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 17(2), pp. 133-146, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Stefano Spaccapietra, Christine Parent, Yann Dupont |
Model Independent Assertions for Integration of Heterogeneous Schemas ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 1(1), pp. 81-126, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Nancy A. Day |
A Comparison between Statecharts and State Transition Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 247-262, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Nils Klarlund |
Progress Measures and Stack Assertions for Fair Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10-12, 1992, pp. 229-240, 1992, ACM, 0-89791-495-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Xiaorong Huang |
Applications of Assertions as Elementary Tactics in Proof Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 25-34, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | David S. Rosenblum |
Towards a Method of Programming With Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, May 11-15, 1992., pp. 92-104, 1992, ACM Press, 0-89791-504-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
C |
16 | Jörg Thierfelder |
Separation theorems for sets in product spaces and equivalent assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 27(6), pp. 522-534, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
16 | Stefano Spaccapietra, Christine Parent |
Conflicts and Correspondence Assertions in Interoperable Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 20(4), pp. 49-54, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Hantao Zhang 0001, Angshuman Guha, Xin Hua |
Using Algebraic Specification in Floyd-Hoare Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: 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, pp. 350-362, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
16 | Chris Groeneboer, James P. Delgrande |
A general approach for determining the validity of commonsense assertions using conditional logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 5(5), pp. 505-520, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Ali Jaoua, Ali Mili 0001 |
The use of executable assertions for error detection and damage assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 12(1), pp. 15-37, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Peter Grogono |
Comments, assertions and pragmas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 24(3), pp. 79-84, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Seiichiro Dan, Takahira Yamaguchi, Osamu Kakusho, Yoshikazu Tezuka |
Program verification system with synthesizer of invariant assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 20(1), pp. 1-13, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Bernhard Möller |
Applicative Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings, pp. 348-362, 1989, Springer, 3-540-51305-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski |
Algorithmic Debugging with Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 501-521, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
16 | Christian Percebois, F. Guerin, G. Orzati |
Parallélisme-OU et assertions Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 455-470, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
16 | Ingolf Max |
A new formal tool: functorial variables representing assertions and presuppositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: Proceedings of the 12th International Conference on Computational Linguistics, COLING '88, Budapest, Hungary, August 22-27, 1988, pp. 408-410, 1988, John von Neumann Society for Computing Sciences, Budapest, 963-8431-56-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
16 | Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski |
The Use of Assertions in Algorithmic Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 573-581, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 24(1), pp. 1-31, 1987. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 7(1), pp. 15-28, 1987. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 7(1), pp. 1-22, 1986. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Manag. Inf. Syst. ![In: J. Manag. Inf. Syst. 3(1), pp. 52-64, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | William C. Mann, Sandra A. Thompson |
Assertions from Discourse Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLT ![In: Strategic Computing - Natural Language Workshop: Proceedings of a Workshop Held at Marina del Rey, California, USA, May 1-2, 1986, 1986, ARPA. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
16 | C. S. Kwok |
A note on sorting Prolog assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGART Newsl. ![In: SIGART Newsl. 91, pp. 27-28, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|