[4b23aa]: thys / PseudoHoops / document / root.bib  Maximize  Restore  History

Download this file

144 lines (130 with data), 4.5 kB

@article{georgescu:leustean:preoteasa:2005,
  title = {Pseudo-hoops},
  journal = {Journal of Multiple-Valued Logic and Soft Computing},
  volume = {11},
  number = {1-2},
  pages = {153 - 184},
  year = {2005},
  author = {Georgescu, George and Leu\c{s}tean, Lauren\c{t}iu and Viorel Preoteasa},
}

@article {ceterchi:2001,
    AUTHOR = {Ceterchi, Rodica},
     TITLE = {Pseudo-{W}ajsberg algebras},
      NOTE = {G. C. Moisil memorial issue},
   JOURNAL = {Mult.-Valued Log.},
  FJOURNAL = {Multiple-Valued Logic. An International Journal},
    VOLUME = {6},
      YEAR = {2001},
    NUMBER = {1-2},
     PAGES = {67--88},
      ISSN = {1023-6627},
     CODEN = {MVLOE8},
   MRCLASS = {03G25 (03B50)},
  MRNUMBER = {1817437 (2001m:03137)},
}
	

@article{bosbach:1969,
  title = {Komplement\"are Halbgruppen. Axiomatik und Arithmetik},
  journal = {Fundamenta Mathematicae},
  volume = {64},
  pages = {257 - 287},
  year = {1969},
  author = {Bosbach, B.},
}
@article{bosbach:1970,
  title = {Komplement\"are Halbgruppen. Kongruenzen and Quotienten},
  journal = {Fundamenta Mathematicae},
  volume = {69},
  pages = {1 - 14},
  year = {1970},
  author = {Bosbach, B.},
}

@article{preoteasa:back:2009,
title = "Data Refinement of Invariant Based Programs",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "259",
number = "",
pages = "143 - 163",
year = "2009",
note = "Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009)",
issn = "1571-0661",
doi = "DOI: 10.1016/j.entcs.2009.12.022",
url = "http://www.sciencedirect.com/science/article/B75H1-4XYHXFB-B/2/27ba4be3ad580ef9b5a8b4a20a42d8ca",
author = "Viorel Preoteasa and Ralph-Johan Back",
keywords = "Invariant based programming",
keywords = "Data refinement",
keywords = "Mechanical verification"
}

@inproceedings{nipkow:2002,
 author = {Tobias Nipkow},
 title = {Hoare Logics for Recursive Procedures and Unbounded Nondeterminism},
 booktitle = {CSL '02: Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic},
 year = {2002},
 isbn = {3-540-44240-5},
 pages = {103--119},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }


@article{schorr:waite:1967,
 author = {H. Schorr and W. M. Waite},
 title = {An efficient machine-independent procedure for garbage collection in various list structures},
 journal = {Commun. ACM},
 volume = {10},
 number = {8},
 year = {1967},
 issn = {0001-0782},
 pages = {501--506},
 doi = {http://doi.acm.org/10.1145/363534.363554},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@book{knuth:1997,
 author = {Donald E. Knuth},
 title = {The art of computer programming, volume 1 (3rd ed.): fundamental algorithms},
 year = {1997},
 isbn = {0-201-89683-4},
 publisher = {Addison Wesley Longman Publishing Co., Inc.},
 address = {Redwood City, CA, USA},
 }

@techreport{back:preoteasa:2008,
author="Ralph-Johan Back and Viorel Preoteasa",
title="Semantics and Proof Rules of Invariant Based Programs",
language="none",
number="903",
year="2008",
month="Jul",
address="",
note="",
keywords="Invariant based programming. Semantics. Hoare proof rules. Completeness",
series="",
organisation="",
ISBN="978-952-12-2111-8",
institution="{TUCS}"
}

@article{aBack08,
	Author = {Ralph-Johan Back},
	Date-Added = {2008-07-05 14:58:33 +0300},
	Date-Modified = {2008-08-05 17:58:06 +0300},
	Journal = {Formal Aspects of Computing},
	Title = {Invariant Based Programming: Basic approach and Teaching Experience},
	Year = {2008}
}

@INPROCEEDINGS{Back83:invariants,
  author = {Ralph-Johan Back},
  title = {Invariant Based Programs and Their Correctness},
  booktitle = {Automatic Program Construction Techniques },
  year = {1983},
  editor = {Biermann, W. and Guiho, G and Kodratoff, Y},
  pages = {223--242},
  publisher = {MacMillan Publishing Company},
  pdf = {http://crest.abo.fi/publications/public/1983/InvariantBasedProgramsAndTheirCorrectnessP.pdf},
  project = {methods verification},
}

@INPROCEEDINGS{Back80:invariants,
  author = {Ralph-Johan Back},
  title = {Semantic Correctness of Invariant Based Programs},
  booktitle = {International Workshop on Program Construction},
  year = {1980},
  address = {Chateau de Bonas, France},
  pdf = {http://crest.abo.fi/publications/public/1980/SemanticCorrectnessOfInvariantBasedProgramsP.pdf},
  project = {methods verification},
}

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks