„PlusCal“ – Versionsunterschied
Zur Navigation springen
Zur Suche springen
[ungesichtete Version] | [ungesichtete Version] |
Inhalt gelöscht Inhalt hinzugefügt
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
Zeile 17: | Zeile 17: | ||
| Titel=The PlusCal Algorithm Language |
| Titel=The PlusCal Algorithm Language |
||
| TitelErg= |
| TitelErg= |
||
| Sammelwerk=Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing |
|||
| Sammelwerk= |
|||
| WerkErg= |
| WerkErg= |
||
| Reihe= |
| Reihe=ICTAC '09 |
||
| Band= |
| Band= |
||
| Nummer= |
| Nummer= |
||
| Auflage= |
| Auflage= |
||
| Verlag= |
| Verlag=Springer-Verlag |
||
| Ort= |
| Ort=Berlin, Heidelberg |
||
| Jahr=2009 |
| Jahr=2009 |
||
| Monat=Jan |
| Monat=Jan |
||
| Tag=2 |
| Tag=2 |
||
| Kapitel= |
| Kapitel= |
||
| Seiten= |
| Seiten=36--60 |
||
| Spalten= |
| Spalten= |
||
| ISBN= |
| ISBN=978-3-642-03465-7 |
||
| ISBNistFormalFalsch= |
| ISBNistFormalFalsch= |
||
| ISSN= |
| ISSN= |
||
Zeile 42: | Zeile 42: | ||
| Online=http://research.microsoft.com/en-us/um/people/lamport/tla/p-manual.pdf |
| Online=http://research.microsoft.com/en-us/um/people/lamport/tla/p-manual.pdf |
||
| arxiv= |
| arxiv= |
||
| DOI=10.1007/978-3-642-03466-4_2 |
|||
| DOI= |
|||
| DNB= |
| DNB= |
||
| LCCN= |
| LCCN= |
Version vom 31. Oktober 2015, 13:05 Uhr
- Entwickelt durch Leslie Lamport
- Sprache zur Spezifikation von Algorithmen und Systemen
- Aufbauend auf TLA+
- Näher an Programmiersprachen
- Laut Lamport jedoch ausdrucksstärker und weniger Mehrdeutig
- p-Syntax und c-Sytanx
- Übersetzung nach TLA+
- Model Checking durch TLC
- Setzen durch Tlatex
- Verwendung bei der Entwicklung von Amazon Web Services
Literatur
- Lamport, Leslie: The PlusCal Algorithm Language. In: Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing (= ICTAC '09). Springer-Verlag, Berlin, Heidelberg 2009, ISBN 978-3-642-03465-7, S. 36--60, doi:10.1007/978-3-642-03466-4_2 (microsoft.com [PDF; abgerufen am 31. Oktober 2015]).
- Lamport, Leslie: Checking a Multithreaded Algorithm with +CAL. In: Proceedings of the 20th International Conference on Distributed Computing (= DISC'06). Springer-Verlag, Berlin, Heidelberg 2006, ISBN 3-540-44624-9, S. 151--163, doi:10.1007/11864219_11 (doi.org [abgerufen am 31. Oktober 2015]).