+
Il PlusCal Algoritmo Lingua Il PlusCal Algoritmo Lingua Ultima modifica 27 Aprile 2015 PlusCal (precedentemente chiamato + CAL) è un linguaggio algoritmo basato su TLA +. Un algoritmo PlusCal è tradotto in una specifica TLA +, che può essere controllato con il model checker TLC. Un linguaggio algoritmo è per gli algoritmi di scrittura, proprio come un linguaggio di programmazione è per i programmi di scrittura. L'introduzione al manuale PlusCal (vedi sotto) spiega come gli algoritmi differiscono dai programmi, e in che modo si differenzia da PlusCal linguaggi di programmazione. PlusCal ha due sintassi. La maggior parte degli utenti preferiscono il C-sintassi, che è più vicina a quella dei linguaggi C-based come C # e Java. C'è anche un P-sintassi che utilizza inizio / fine fare e invece delle graffe. Ci sono versioni separate del manuale per i due sintassi, che sono brevemente confrontati in entrambe le versioni. Clicca QUI per scaricare il c-versione del manuale. Clicca QUI per scaricare la p-versione del manuale. Clicca QUI per scaricare una specifica TLA + del PlusCal alla traduzione TLA +. Il traduttore PlusCal è disponibile come parte del set di strumenti TLA +. La versione 1.6 di luglio 2011 - Il traduttore ora aggiunge i BEGIN / commenti TRADUZIONE END. - Il traduttore è stato modificato per supportare comando Goto PCAL Fonte del Toolbox. La versione 1.6 di luglio 2011 - Piccola modifica alla sintassi per specificare l'equità. - Le macro precedentemente definite possono ora essere chiamato all'interno di una definizione di macro. La versione 1.5 di marzo 2011 - Aggiunto un nuovo modo di specificare l'equità, con: * Una parola chiave equo e + il modificatore per specificare debole e forte l'equità del processo. * + E - modificatori di etichette per la regolazione correttezza di un'azione atomica. - Migliorata la traduzione in TLA + a: * Eliminare la variabile pc se è ovviamente inutile. * Eliminare balbuzie-on-terminazione quando ovviamente mai eseguito. - Aggiunta una opzione - version per maintining compatibilità all'indietro. La versione 1.4 di giugno 2010 - aggiunge il comunicato opzioni e l'opzione - lineWidth. La versione 1.3 del febbraio 2008 - Aggiunto attendono come sinonimo di quando. La versione 1.2 di agosto 2007 - Introdotto defaultInitValue per variabili non inizializzate. La versione 1.1 di ottobre 2006 - ha aggiunto diverse opzioni, tra cui quelle per l'aggiunta di etichette mancanti. - Aggiunta la c-sintassi. Il cuore della PlusCal di TLC + traduzione è formalmente formalmente specificato in TLA + dal file PlusCal. tla. che potete scaricare cliccando QUI. L'opzione & ldquo traduttore; - Spec PlusCal & rdquo; provoca la traduzione TLA + essere prodotto facendo TLC eseguire questa specifica sull'ingresso. Tuttavia, questo metodo di eseguire la traduzione non conserva la formattazione di espressioni, quindi non funziona se il significato di un'espressione dipende indentazione. Inoltre, la conseguente traduzione in TLA + è difficile da leggere. La specifica TLA + non è stato aggiornato per riflettere le modifiche apportate alla lingua nella versione 1.5. Per utilizzare la specifica, è necessario specificare l'opzione - version 1.4. (L'opzione - writeAST non funziona nella Casella degli strumenti.) Questa pagina può essere trovato ricerca sul Web per la stringa uidlamportpluscalhomepage 21 lettere. Si prega di non inserire questa stringa in alcun documento che potrebbe finire sul web - compresi i messaggi e-mail e documenti Postscript e Word. Si può fare riferimento ad esso in documenti Web come "la stringa ottenuta rimuovendo il - da uid-lamportpluscalhomepage". Dipartimento di Informatica & Quot; Il PlusCal Algorithm Language & quot; W. T.Young Biblioteca Auditorium [info] Leslie Lamport Ricercatore, Microsoft Corporation Astratto: Gli algoritmi sono diversi dai programmi e non devono essere descritti con linguaggi di programmazione. Ad esempio, gli algoritmi sono di solito meglio descritti in termini di oggetti matematici come insiemi e grafici invece degli oggetti primitivi come byte e interi fornite da linguaggi di programmazione. Fino ad ora, l'unica alternativa al semplice linguaggi di programmazione è stato pseudo-codice. PlusCal è un linguaggio algoritmo basato su TLA +. Un algoritmo PlusCal si traduce automaticamente in un TLA + specifica che può essere controllato con il model checker TLC o motivato sulla formalmente. (Nessuna conoscenza di TLA + è assunto.) PlusCal rende pseudo-codice obsoleto. Biografia: Il dottor Lamport ha ricevuto un dottorato in matematica presso la Brandeis University, con una tesi sulla singolarità di analitiche equazioni alle derivate parziali. Questo, insieme ad una completa mancanza di formazione in informatica, lo ha preparato per una carriera come informatico presso il Massachusetts Computer Associates, SRI, Digital e Compaq. Egli sostiene che è non per colpa sua che di questi quattro aziende, solo quella che avrebbe dovuto essere senza scopo di lucro esiste ancora. È entrato in Microsoft nel 2001, ma che la società non ha ancora ceduto. ricerca iniziale del Dr. Lamport negli algoritmi concorrenti lo ha reso noto come l'autore di LaTeX, un sistema di formattazione documenti per la classe costante diminuzione delle persone che scrivono le formule al posto delle immagini di disegno. Egli è anche noto per la scrittura "Un sistema distribuito è quello in cui il fallimento di un computer che non sapeva nemmeno esistesse può rendere il proprio computer inutilizzabile" che lo ha stabilito come un esperto di sistemi distribuiti. Tra i suoi altri contributi è il linguaggio di specifica TLA +, che rappresenta un tentativo donchisciottesco di superare l'antipatia di computer degli scienziati verso la matematica. Pur avendo ricevuto cinque dottorati onorari da università europee, essendo stato inviato dal IEEE in Italia per ricevere il Piore Award 2004, e che sia necessario andare a Quebec per ricevere il suo 2008 von Neumann medaglia, il dottor Lamport non ha preso il suggerimento e continua per tornare alla sua casa in California. Host: Professor Ken Calvert
No comments:
Post a Comment