Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(operational semantics). Showing records 1 – 25 of 25 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Carnegie Mellon University

1. Simmons, Robert J. Substructural Logical Specifications.

Degree: 2012, Carnegie Mellon University

 A logical framework and its implementation should serve as a flexible tool for specifying, simulating, and reasoning about formal systems. When the formal systems we… (more)

Subjects/Keywords: logical frameworks; linear logic; ordered logic; operational semantics; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Simmons, R. J. (2012). Substructural Logical Specifications. (Thesis). Carnegie Mellon University. Retrieved from http://repository.cmu.edu/dissertations/205

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Simmons, Robert J. “Substructural Logical Specifications.” 2012. Thesis, Carnegie Mellon University. Accessed August 25, 2019. http://repository.cmu.edu/dissertations/205.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Simmons, Robert J. “Substructural Logical Specifications.” 2012. Web. 25 Aug 2019.

Vancouver:

Simmons RJ. Substructural Logical Specifications. [Internet] [Thesis]. Carnegie Mellon University; 2012. [cited 2019 Aug 25]. Available from: http://repository.cmu.edu/dissertations/205.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Simmons RJ. Substructural Logical Specifications. [Thesis]. Carnegie Mellon University; 2012. Available from: http://repository.cmu.edu/dissertations/205

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Nova

2. Barroca, Bruno Fontes. Analysable software language translations.

Degree: 2013, Universidade Nova

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

The most difficult tasks in the Software Language Engineering (SLE) process, are the design of… (more)

Subjects/Keywords: Translations; Model transformations; Structured Operational Semantics (SOS); Model transformation analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Barroca, B. F. (2013). Analysable software language translations. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/10423

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Barroca, Bruno Fontes. “Analysable software language translations.” 2013. Thesis, Universidade Nova. Accessed August 25, 2019. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/10423.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Barroca, Bruno Fontes. “Analysable software language translations.” 2013. Web. 25 Aug 2019.

Vancouver:

Barroca BF. Analysable software language translations. [Internet] [Thesis]. Universidade Nova; 2013. [cited 2019 Aug 25]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/10423.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Barroca BF. Analysable software language translations. [Thesis]. Universidade Nova; 2013. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/10423

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

3. Moore, Brandon Michael. Coinductive program verification.

Degree: PhD, Computer Science, 2016, University of Illinois – Urbana-Champaign

 We present a program-verification approach based on coinduction, which makes it feasible to verify programs given an operational semantics of a programming language, without constructing… (more)

Subjects/Keywords: Program Verification; Coinduction; Operational Semantics; Formal Methods; Software Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Moore, B. M. (2016). Coinductive program verification. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/95372

Chicago Manual of Style (16th Edition):

Moore, Brandon Michael. “Coinductive program verification.” 2016. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed August 25, 2019. http://hdl.handle.net/2142/95372.

MLA Handbook (7th Edition):

Moore, Brandon Michael. “Coinductive program verification.” 2016. Web. 25 Aug 2019.

Vancouver:

Moore BM. Coinductive program verification. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2016. [cited 2019 Aug 25]. Available from: http://hdl.handle.net/2142/95372.

Council of Science Editors:

Moore BM. Coinductive program verification. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2016. Available from: http://hdl.handle.net/2142/95372


University of Illinois – Urbana-Champaign

4. Ștefănescu, Andrei. Toward language-independent program verification.

Degree: PhD, Computer Science, 2016, University of Illinois – Urbana-Champaign

 Recent years have seen a renewed interest in the area of deductive program verification, with focus on verifying real-world software components. Success stories include the… (more)

Subjects/Keywords: program verification; operational semantics; automated reasoning; logics; programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ștefănescu, A. (2016). Toward language-independent program verification. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/92779

Chicago Manual of Style (16th Edition):

Ștefănescu, Andrei. “Toward language-independent program verification.” 2016. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed August 25, 2019. http://hdl.handle.net/2142/92779.

MLA Handbook (7th Edition):

Ștefănescu, Andrei. “Toward language-independent program verification.” 2016. Web. 25 Aug 2019.

Vancouver:

Ștefănescu A. Toward language-independent program verification. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2016. [cited 2019 Aug 25]. Available from: http://hdl.handle.net/2142/92779.

Council of Science Editors:

Ștefănescu A. Toward language-independent program verification. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2016. Available from: http://hdl.handle.net/2142/92779


Brigham Young University

5. Wesonga, Saint Oming'o. Javalite - An Operational Semantics for Modeling Java Programs.

Degree: MS, 2012, Brigham Young University

 Java is currently a widely used programming language. However, there is no formal definition of Java's semantics. Consequently, Java code does not have a universal… (more)

Subjects/Keywords: Javalite; Operational Semantics; PLT Redex; Coq; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wesonga, S. O. (2012). Javalite - An Operational Semantics for Modeling Java Programs. (Masters Thesis). Brigham Young University. Retrieved from https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=4375&context=etd

Chicago Manual of Style (16th Edition):

Wesonga, Saint Oming'o. “Javalite - An Operational Semantics for Modeling Java Programs.” 2012. Masters Thesis, Brigham Young University. Accessed August 25, 2019. https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=4375&context=etd.

MLA Handbook (7th Edition):

Wesonga, Saint Oming'o. “Javalite - An Operational Semantics for Modeling Java Programs.” 2012. Web. 25 Aug 2019.

Vancouver:

Wesonga SO. Javalite - An Operational Semantics for Modeling Java Programs. [Internet] [Masters thesis]. Brigham Young University; 2012. [cited 2019 Aug 25]. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=4375&context=etd.

Council of Science Editors:

Wesonga SO. Javalite - An Operational Semantics for Modeling Java Programs. [Masters Thesis]. Brigham Young University; 2012. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=4375&context=etd


Universitat Politècnica de València

6. Tamarit Muñoz, Salvador. Analysis Techniques for Concurrent Programming Languages .

Degree: 2013, Universitat Politècnica de València

 Los lenguajes concurrentes est an cada d a m as presentes en nuestra sociedad, tanto en las nuevas tecnolog as como en los sistemas utilizados… (more)

Subjects/Keywords: Concurrency Program analysis Petri Nets CSP Operational Semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tamarit Muñoz, S. (2013). Analysis Techniques for Concurrent Programming Languages . (Doctoral Dissertation). Universitat Politècnica de València. Retrieved from http://hdl.handle.net/10251/31651

Chicago Manual of Style (16th Edition):

Tamarit Muñoz, Salvador. “Analysis Techniques for Concurrent Programming Languages .” 2013. Doctoral Dissertation, Universitat Politècnica de València. Accessed August 25, 2019. http://hdl.handle.net/10251/31651.

MLA Handbook (7th Edition):

Tamarit Muñoz, Salvador. “Analysis Techniques for Concurrent Programming Languages .” 2013. Web. 25 Aug 2019.

Vancouver:

Tamarit Muñoz S. Analysis Techniques for Concurrent Programming Languages . [Internet] [Doctoral dissertation]. Universitat Politècnica de València; 2013. [cited 2019 Aug 25]. Available from: http://hdl.handle.net/10251/31651.

Council of Science Editors:

Tamarit Muñoz S. Analysis Techniques for Concurrent Programming Languages . [Doctoral Dissertation]. Universitat Politècnica de València; 2013. Available from: http://hdl.handle.net/10251/31651


Iowa State University

7. Ming, Hua. situ-f: a domain specific language and a first step towards the realization of situ framework.

Degree: 2012, Iowa State University

 Situ proposes a human centered, dynamic reasoning framework for domain experts to evolve their software. It formally models the relationship between externally observed situation sequences… (more)

Subjects/Keywords: domain specific language; functional programming language; human intention; operational semantics; situation; software evolution; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ming, H. (2012). situ-f: a domain specific language and a first step towards the realization of situ framework. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/12563

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ming, Hua. “situ-f: a domain specific language and a first step towards the realization of situ framework.” 2012. Thesis, Iowa State University. Accessed August 25, 2019. https://lib.dr.iastate.edu/etd/12563.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ming, Hua. “situ-f: a domain specific language and a first step towards the realization of situ framework.” 2012. Web. 25 Aug 2019.

Vancouver:

Ming H. situ-f: a domain specific language and a first step towards the realization of situ framework. [Internet] [Thesis]. Iowa State University; 2012. [cited 2019 Aug 25]. Available from: https://lib.dr.iastate.edu/etd/12563.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ming H. situ-f: a domain specific language and a first step towards the realization of situ framework. [Thesis]. Iowa State University; 2012. Available from: https://lib.dr.iastate.edu/etd/12563

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

8. Nastov, Blazo. Contribution à une méthode outillée pour la conception de langages de modélisation métier interopérables, analysables et prouvables pour l'Ingénierie Système basée sur des Modèles : Contribution to an equipped approach for the design of executable, verifiable and interoperable Domain Specific Modelling Languages for Model Based Systems Engineering.

Degree: Docteur es, Informatique, 2016, Montpellier

 L'Ingénierie des Systèmes (IS) est une approche pluridisciplinaire et collaborative pour mener à bâtir et structurer la conception puis la réalisation et le développement de… (more)

Subjects/Keywords: Dsml; Sémantique opérationnelle; Simulation; Propriété formelle; Vérification de propriété; Mbse; Dsml; Operational semantics; Simulation; Formal property; Property verification; Mbse

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nastov, B. (2016). Contribution à une méthode outillée pour la conception de langages de modélisation métier interopérables, analysables et prouvables pour l'Ingénierie Système basée sur des Modèles : Contribution to an equipped approach for the design of executable, verifiable and interoperable Domain Specific Modelling Languages for Model Based Systems Engineering. (Doctoral Dissertation). Montpellier. Retrieved from http://www.theses.fr/2016MONTT272

Chicago Manual of Style (16th Edition):

Nastov, Blazo. “Contribution à une méthode outillée pour la conception de langages de modélisation métier interopérables, analysables et prouvables pour l'Ingénierie Système basée sur des Modèles : Contribution to an equipped approach for the design of executable, verifiable and interoperable Domain Specific Modelling Languages for Model Based Systems Engineering.” 2016. Doctoral Dissertation, Montpellier. Accessed August 25, 2019. http://www.theses.fr/2016MONTT272.

MLA Handbook (7th Edition):

Nastov, Blazo. “Contribution à une méthode outillée pour la conception de langages de modélisation métier interopérables, analysables et prouvables pour l'Ingénierie Système basée sur des Modèles : Contribution to an equipped approach for the design of executable, verifiable and interoperable Domain Specific Modelling Languages for Model Based Systems Engineering.” 2016. Web. 25 Aug 2019.

Vancouver:

Nastov B. Contribution à une méthode outillée pour la conception de langages de modélisation métier interopérables, analysables et prouvables pour l'Ingénierie Système basée sur des Modèles : Contribution to an equipped approach for the design of executable, verifiable and interoperable Domain Specific Modelling Languages for Model Based Systems Engineering. [Internet] [Doctoral dissertation]. Montpellier; 2016. [cited 2019 Aug 25]. Available from: http://www.theses.fr/2016MONTT272.

Council of Science Editors:

Nastov B. Contribution à une méthode outillée pour la conception de langages de modélisation métier interopérables, analysables et prouvables pour l'Ingénierie Système basée sur des Modèles : Contribution to an equipped approach for the design of executable, verifiable and interoperable Domain Specific Modelling Languages for Model Based Systems Engineering. [Doctoral Dissertation]. Montpellier; 2016. Available from: http://www.theses.fr/2016MONTT272


KTH

9. Arvidsson, Ellen. Deterministic Concurrency Using Lattices and the Object Capability Model.

Degree: Electrical Engineering and Computer Science (EECS), 2018, KTH

Parallelization is an important part of modern data systems. However, the non-determinism of thread scheduling introduces the difficult problem of considering all different execution… (more)

Subjects/Keywords: type systems; concurrency; determinism; object capability model; lattices; small-step operational semantics; Computer Sciences; Datavetenskap (datalogi)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Arvidsson, E. (2018). Deterministic Concurrency Using Lattices and the Object Capability Model. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-239917

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Arvidsson, Ellen. “Deterministic Concurrency Using Lattices and the Object Capability Model.” 2018. Thesis, KTH. Accessed August 25, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-239917.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Arvidsson, Ellen. “Deterministic Concurrency Using Lattices and the Object Capability Model.” 2018. Web. 25 Aug 2019.

Vancouver:

Arvidsson E. Deterministic Concurrency Using Lattices and the Object Capability Model. [Internet] [Thesis]. KTH; 2018. [cited 2019 Aug 25]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-239917.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Arvidsson E. Deterministic Concurrency Using Lattices and the Object Capability Model. [Thesis]. KTH; 2018. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-239917

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Queensland University of Technology

10. Wang, Kenneth W.S. Interface adaptation for conversational services.

Degree: 2008, Queensland University of Technology

 The proliferation of services on the web is leading to the formation of service ecosystems wherein services interact with one another in ways not foreseen… (more)

Subjects/Keywords: service-oriented architecture; web services; conversational services; service mediation; service adaptation; behavioural/protocol adaptation; adapter formalisation; operational semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wang, K. W. S. (2008). Interface adaptation for conversational services. (Thesis). Queensland University of Technology. Retrieved from https://eprints.qut.edu.au/18465/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Wang, Kenneth W S. “Interface adaptation for conversational services.” 2008. Thesis, Queensland University of Technology. Accessed August 25, 2019. https://eprints.qut.edu.au/18465/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Wang, Kenneth W S. “Interface adaptation for conversational services.” 2008. Web. 25 Aug 2019.

Vancouver:

Wang KWS. Interface adaptation for conversational services. [Internet] [Thesis]. Queensland University of Technology; 2008. [cited 2019 Aug 25]. Available from: https://eprints.qut.edu.au/18465/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Wang KWS. Interface adaptation for conversational services. [Thesis]. Queensland University of Technology; 2008. Available from: https://eprints.qut.edu.au/18465/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

11. Guerra, Esther. Action patterns for the incremental specification of the execution semantics of visual languages.

Degree: 2018, IEEE

Subjects/Keywords: Graph; Meta-Modelling; Operational Semantics; Transformation; Visual Languages; Informática

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Guerra, E. (2018). Action patterns for the incremental specification of the execution semantics of visual languages. (Thesis). IEEE. Retrieved from http://hdl.handle.net/10486/664559

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Guerra, Esther. “Action patterns for the incremental specification of the execution semantics of visual languages.” 2018. Thesis, IEEE. Accessed August 25, 2019. http://hdl.handle.net/10486/664559.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Guerra, Esther. “Action patterns for the incremental specification of the execution semantics of visual languages.” 2018. Web. 25 Aug 2019.

Vancouver:

Guerra E. Action patterns for the incremental specification of the execution semantics of visual languages. [Internet] [Thesis]. IEEE; 2018. [cited 2019 Aug 25]. Available from: http://hdl.handle.net/10486/664559.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Guerra E. Action patterns for the incremental specification of the execution semantics of visual languages. [Thesis]. IEEE; 2018. Available from: http://hdl.handle.net/10486/664559

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

12. Kogtenkov, Alexander. Void safety.

Degree: 2017, ETH Zürich

 Null pointer dereferencing is a well-known issue in object-oriented programming, and can be avoided by adding special validity rules to the programming language. However, just… (more)

Subjects/Keywords: void safety; null safety; static analysis; object initialization; operational semantics equivalence; Eiffel; certified attachment pattern; object-oriented language safety; source code safety benchmark; big-step operational semantics; formal methods; software modularity; null reference; null pointer dereferencing; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kogtenkov, A. (2017). Void safety. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/135

Chicago Manual of Style (16th Edition):

Kogtenkov, Alexander. “Void safety.” 2017. Doctoral Dissertation, ETH Zürich. Accessed August 25, 2019. http://hdl.handle.net/20.500.11850/135.

MLA Handbook (7th Edition):

Kogtenkov, Alexander. “Void safety.” 2017. Web. 25 Aug 2019.

Vancouver:

Kogtenkov A. Void safety. [Internet] [Doctoral dissertation]. ETH Zürich; 2017. [cited 2019 Aug 25]. Available from: http://hdl.handle.net/20.500.11850/135.

Council of Science Editors:

Kogtenkov A. Void safety. [Doctoral Dissertation]. ETH Zürich; 2017. Available from: http://hdl.handle.net/20.500.11850/135

13. Leventis, Thomas. Lambdas-théories probabilistes : Probabilistic lambda-theories.

Degree: Docteur es, Mathematiques, 2016, Aix Marseille Université

Le lambda-calcul est un formalisation de la notion de calcul. Dans cette thèse nous nous intéresserons à certaines variantes non déterministes, et nous nous pencherons… (more)

Subjects/Keywords: Lambda-Calcul; Probabilités; Sémantique opérationelle; Standardisation; Théories équiationnelles; Arbres de Böhm; Équivalence observationelle; Lambda-Calculus; Probabilities; Operational semantics; Standardization; Equational theories; Böhm trees; Observational equivalence; 510

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Leventis, T. (2016). Lambdas-théories probabilistes : Probabilistic lambda-theories. (Doctoral Dissertation). Aix Marseille Université. Retrieved from http://www.theses.fr/2016AIXM4085

Chicago Manual of Style (16th Edition):

Leventis, Thomas. “Lambdas-théories probabilistes : Probabilistic lambda-theories.” 2016. Doctoral Dissertation, Aix Marseille Université. Accessed August 25, 2019. http://www.theses.fr/2016AIXM4085.

MLA Handbook (7th Edition):

Leventis, Thomas. “Lambdas-théories probabilistes : Probabilistic lambda-theories.” 2016. Web. 25 Aug 2019.

Vancouver:

Leventis T. Lambdas-théories probabilistes : Probabilistic lambda-theories. [Internet] [Doctoral dissertation]. Aix Marseille Université 2016. [cited 2019 Aug 25]. Available from: http://www.theses.fr/2016AIXM4085.

Council of Science Editors:

Leventis T. Lambdas-théories probabilistes : Probabilistic lambda-theories. [Doctoral Dissertation]. Aix Marseille Université 2016. Available from: http://www.theses.fr/2016AIXM4085

14. Chaouche, Ahmed Chawki. Une approche multi-agent pour la conception de systèmes d'intelligence ambiante : un modèle formel intégrant planification et apprentissage : A multi-agent approach for ambient system design : a formal model incorporating planning and learning.

Degree: Docteur es, Informatique, 2015, Université Pierre et Marie Curie – Paris VI

Ce travail présente une architecture logicielle concrète dédiée aux besoins et caractéristiques des systèmes d'Intelligence Ambiante (AmI). Le modèle comportemental proposé, appelé Higher-order Agent (HoA),… (more)

Subjects/Keywords: Intelligence ambiante; Agents BDI; Langage de planification formelle; Sémantique opérationnelle; Révision dynamique des plans; Guidance spatio-Temporelle; Ambient intelligence; Operational semantics; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chaouche, A. C. (2015). Une approche multi-agent pour la conception de systèmes d'intelligence ambiante : un modèle formel intégrant planification et apprentissage : A multi-agent approach for ambient system design : a formal model incorporating planning and learning. (Doctoral Dissertation). Université Pierre et Marie Curie – Paris VI. Retrieved from http://www.theses.fr/2015PA066084

Chicago Manual of Style (16th Edition):

Chaouche, Ahmed Chawki. “Une approche multi-agent pour la conception de systèmes d'intelligence ambiante : un modèle formel intégrant planification et apprentissage : A multi-agent approach for ambient system design : a formal model incorporating planning and learning.” 2015. Doctoral Dissertation, Université Pierre et Marie Curie – Paris VI. Accessed August 25, 2019. http://www.theses.fr/2015PA066084.

MLA Handbook (7th Edition):

Chaouche, Ahmed Chawki. “Une approche multi-agent pour la conception de systèmes d'intelligence ambiante : un modèle formel intégrant planification et apprentissage : A multi-agent approach for ambient system design : a formal model incorporating planning and learning.” 2015. Web. 25 Aug 2019.

Vancouver:

Chaouche AC. Une approche multi-agent pour la conception de systèmes d'intelligence ambiante : un modèle formel intégrant planification et apprentissage : A multi-agent approach for ambient system design : a formal model incorporating planning and learning. [Internet] [Doctoral dissertation]. Université Pierre et Marie Curie – Paris VI; 2015. [cited 2019 Aug 25]. Available from: http://www.theses.fr/2015PA066084.

Council of Science Editors:

Chaouche AC. Une approche multi-agent pour la conception de systèmes d'intelligence ambiante : un modèle formel intégrant planification et apprentissage : A multi-agent approach for ambient system design : a formal model incorporating planning and learning. [Doctoral Dissertation]. Université Pierre et Marie Curie – Paris VI; 2015. Available from: http://www.theses.fr/2015PA066084

15. Jebali, Fatma. Formal framework for modelling and verifying globally asynchronous locally synchronous systems : Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones.

Degree: Docteur es, Informatique, 2016, Grenoble Alpes

Un système GALS (Globalement Asynchrone, Localement Synchrone) est un ensemble de composants synchrones qui évoluent en même temps, chacun à propre rythme, et qui communiquent… (more)

Subjects/Keywords: Verification basée sur les modèles; Méthodes formelles; Techniques de descriptions formelles; Sémantique opérationnelle; Concurrence; Systèmes GALS; Model-based verification; Formal methods; Formal description techniques; Operational semantics; Concurrency; GALS systems; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jebali, F. (2016). Formal framework for modelling and verifying globally asynchronous locally synchronous systems : Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones. (Doctoral Dissertation). Grenoble Alpes. Retrieved from http://www.theses.fr/2016GREAM036

Chicago Manual of Style (16th Edition):

Jebali, Fatma. “Formal framework for modelling and verifying globally asynchronous locally synchronous systems : Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones.” 2016. Doctoral Dissertation, Grenoble Alpes. Accessed August 25, 2019. http://www.theses.fr/2016GREAM036.

MLA Handbook (7th Edition):

Jebali, Fatma. “Formal framework for modelling and verifying globally asynchronous locally synchronous systems : Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones.” 2016. Web. 25 Aug 2019.

Vancouver:

Jebali F. Formal framework for modelling and verifying globally asynchronous locally synchronous systems : Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones. [Internet] [Doctoral dissertation]. Grenoble Alpes; 2016. [cited 2019 Aug 25]. Available from: http://www.theses.fr/2016GREAM036.

Council of Science Editors:

Jebali F. Formal framework for modelling and verifying globally asynchronous locally synchronous systems : Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones. [Doctoral Dissertation]. Grenoble Alpes; 2016. Available from: http://www.theses.fr/2016GREAM036


Penn State University

16. Tiu, Alwen Fernanto. A Logical Framework for Reasoning about Logical Specifications.

Degree: PhD, Computer Science and Engineering, 2004, Penn State University

 We present a new logic, Linc, which is designed to be used as a framework for specifying and reasoning about operational semantics. Linc is an… (more)

Subjects/Keywords: proof theory; operational semantics; co-induction; induction; logical framework; cut-elimination

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tiu, A. F. (2004). A Logical Framework for Reasoning about Logical Specifications. (Doctoral Dissertation). Penn State University. Retrieved from https://etda.libraries.psu.edu/catalog/6230

Chicago Manual of Style (16th Edition):

Tiu, Alwen Fernanto. “A Logical Framework for Reasoning about Logical Specifications.” 2004. Doctoral Dissertation, Penn State University. Accessed August 25, 2019. https://etda.libraries.psu.edu/catalog/6230.

MLA Handbook (7th Edition):

Tiu, Alwen Fernanto. “A Logical Framework for Reasoning about Logical Specifications.” 2004. Web. 25 Aug 2019.

Vancouver:

Tiu AF. A Logical Framework for Reasoning about Logical Specifications. [Internet] [Doctoral dissertation]. Penn State University; 2004. [cited 2019 Aug 25]. Available from: https://etda.libraries.psu.edu/catalog/6230.

Council of Science Editors:

Tiu AF. A Logical Framework for Reasoning about Logical Specifications. [Doctoral Dissertation]. Penn State University; 2004. Available from: https://etda.libraries.psu.edu/catalog/6230


INP Toulouse

17. Latombe, Florent. Systematic use of models of concurrency in executable domain-specific modelling languages : Utilisation systématique des modèles de concurrence dans les langages de modélisation dédiés exécutables.

Degree: Docteur es, Sureté de Logiciel et Calcul à Haute Performance, 2016, INP Toulouse

La programmation orientée langage (Language-Oriented Programming – LOP) préconise l’utilisation de langages de modélisation dédiés exécutables (eXecutable Domain-Specific Modeling Languages – xDSMLs) pour la conception,… (more)

Subjects/Keywords: Langages de modélisation dédiés; Métamodélisation exécutable; Modèles de concurrence; Sémantique opérationnelle; Domain; Specific Modeling Languages; Executable Metamodeling; Models of Concurrency; Operational Semantics; 000

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Latombe, F. (2016). Systematic use of models of concurrency in executable domain-specific modelling languages : Utilisation systématique des modèles de concurrence dans les langages de modélisation dédiés exécutables. (Doctoral Dissertation). INP Toulouse. Retrieved from http://www.theses.fr/2016INPT0057

Chicago Manual of Style (16th Edition):

Latombe, Florent. “Systematic use of models of concurrency in executable domain-specific modelling languages : Utilisation systématique des modèles de concurrence dans les langages de modélisation dédiés exécutables.” 2016. Doctoral Dissertation, INP Toulouse. Accessed August 25, 2019. http://www.theses.fr/2016INPT0057.

MLA Handbook (7th Edition):

Latombe, Florent. “Systematic use of models of concurrency in executable domain-specific modelling languages : Utilisation systématique des modèles de concurrence dans les langages de modélisation dédiés exécutables.” 2016. Web. 25 Aug 2019.

Vancouver:

Latombe F. Systematic use of models of concurrency in executable domain-specific modelling languages : Utilisation systématique des modèles de concurrence dans les langages de modélisation dédiés exécutables. [Internet] [Doctoral dissertation]. INP Toulouse; 2016. [cited 2019 Aug 25]. Available from: http://www.theses.fr/2016INPT0057.

Council of Science Editors:

Latombe F. Systematic use of models of concurrency in executable domain-specific modelling languages : Utilisation systématique des modèles de concurrence dans les langages de modélisation dédiés exécutables. [Doctoral Dissertation]. INP Toulouse; 2016. Available from: http://www.theses.fr/2016INPT0057

18. Arias Almeida, Jaime E. Sémantique formelle et vérification automatique de scénarios hiérarchiques multimédia avec des choix interactifs : Formal semantics and automatic verification of hierarchical multimedia scenarios with interactive choices.

Degree: Docteur es, Informatique, 2015, Bordeaux

 Notre propos est la conception assistée par ordinateur des scénarios comprenant des contenus multimédia qui interagissent avec les actions extérieures, notamment celles de l’interprète (e.g.,… (more)

Subjects/Keywords: Réseaux de Petri colorés; Scénarios multimédia Interactifs; Sémantique opérationnelle; Logique linéaire; Model checking; Automates temporisés; Colored Petri Nets; Interactive Multimedia Scenarios; Operational Semantics; Linear Logic; Model Checking; Timed Automata

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Arias Almeida, J. E. (2015). Sémantique formelle et vérification automatique de scénarios hiérarchiques multimédia avec des choix interactifs : Formal semantics and automatic verification of hierarchical multimedia scenarios with interactive choices. (Doctoral Dissertation). Bordeaux. Retrieved from http://www.theses.fr/2015BORD0283

Chicago Manual of Style (16th Edition):

Arias Almeida, Jaime E. “Sémantique formelle et vérification automatique de scénarios hiérarchiques multimédia avec des choix interactifs : Formal semantics and automatic verification of hierarchical multimedia scenarios with interactive choices.” 2015. Doctoral Dissertation, Bordeaux. Accessed August 25, 2019. http://www.theses.fr/2015BORD0283.

MLA Handbook (7th Edition):

Arias Almeida, Jaime E. “Sémantique formelle et vérification automatique de scénarios hiérarchiques multimédia avec des choix interactifs : Formal semantics and automatic verification of hierarchical multimedia scenarios with interactive choices.” 2015. Web. 25 Aug 2019.

Vancouver:

Arias Almeida JE. Sémantique formelle et vérification automatique de scénarios hiérarchiques multimédia avec des choix interactifs : Formal semantics and automatic verification of hierarchical multimedia scenarios with interactive choices. [Internet] [Doctoral dissertation]. Bordeaux; 2015. [cited 2019 Aug 25]. Available from: http://www.theses.fr/2015BORD0283.

Council of Science Editors:

Arias Almeida JE. Sémantique formelle et vérification automatique de scénarios hiérarchiques multimédia avec des choix interactifs : Formal semantics and automatic verification of hierarchical multimedia scenarios with interactive choices. [Doctoral Dissertation]. Bordeaux; 2015. Available from: http://www.theses.fr/2015BORD0283


Universidade dos Açores

19. Freire, Elisabete Raposo. Contributos para o estudo da semântica de linguagens com concorrência e mobilidade.

Degree: 2004, Universidade dos Açores

Tese de Doutoramento em Informática, especialidade de Teoria da Computação.

Neste trabalho mostra-se como abordagens matematicamente mais simples que as tradicionais podem ser usadas na… (more)

Subjects/Keywords: Semântica Denotacional; Semântica Operacional; Teoria da Computação; Denotational Semantics; Operational Semantics; Theory of Computation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Freire, E. R. (2004). Contributos para o estudo da semântica de linguagens com concorrência e mobilidade. (Thesis). Universidade dos Açores. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio.uac.pt:10400.3/119

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Freire, Elisabete Raposo. “Contributos para o estudo da semântica de linguagens com concorrência e mobilidade.” 2004. Thesis, Universidade dos Açores. Accessed August 25, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio.uac.pt:10400.3/119.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Freire, Elisabete Raposo. “Contributos para o estudo da semântica de linguagens com concorrência e mobilidade.” 2004. Web. 25 Aug 2019.

Vancouver:

Freire ER. Contributos para o estudo da semântica de linguagens com concorrência e mobilidade. [Internet] [Thesis]. Universidade dos Açores; 2004. [cited 2019 Aug 25]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.uac.pt:10400.3/119.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Freire ER. Contributos para o estudo da semântica de linguagens com concorrência e mobilidade. [Thesis]. Universidade dos Açores; 2004. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.uac.pt:10400.3/119

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

20. Pinsard, Thomas. Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation : Nested atomic sections with thread escape : semantics and compilation.

Degree: Docteur es, Informatique, 2014, Université d'Orléans

La mémoire transactionnelle est un mécanisme de plus en plus populaire pour la programmation parallèle et concurrente. Dans la plupart des implantations, l’emboîtement de transactions… (more)

Subjects/Keywords: Sémantique formelle; Parallélisme; Processus léger; Section atomique; Verrou; Bonne synchronisation; Trace de programme; Atomicité; Assistant de preuve; Sémantique opérationnelle; Compilation; Préservation de la sémantique; Formal semantics; Parallelism; Thread; Atomic section; Lock; Well-synchronisation; Program trace; Atomicity; Proof assistant; Operational semantics; Compilation; Semantic preservation; 005.275

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pinsard, T. (2014). Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation : Nested atomic sections with thread escape : semantics and compilation. (Doctoral Dissertation). Université d'Orléans. Retrieved from http://www.theses.fr/2014ORLE2075

Chicago Manual of Style (16th Edition):

Pinsard, Thomas. “Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation : Nested atomic sections with thread escape : semantics and compilation.” 2014. Doctoral Dissertation, Université d'Orléans. Accessed August 25, 2019. http://www.theses.fr/2014ORLE2075.

MLA Handbook (7th Edition):

Pinsard, Thomas. “Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation : Nested atomic sections with thread escape : semantics and compilation.” 2014. Web. 25 Aug 2019.

Vancouver:

Pinsard T. Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation : Nested atomic sections with thread escape : semantics and compilation. [Internet] [Doctoral dissertation]. Université d'Orléans; 2014. [cited 2019 Aug 25]. Available from: http://www.theses.fr/2014ORLE2075.

Council of Science Editors:

Pinsard T. Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation : Nested atomic sections with thread escape : semantics and compilation. [Doctoral Dissertation]. Université d'Orléans; 2014. Available from: http://www.theses.fr/2014ORLE2075


Universidade do Rio Grande do Sul

21. Azevedo Terceiro, Antonio Soares de. Semantics for an algebraic specification language.

Degree: 2006, Universidade do Rio Grande do Sul

Prosoft é um grupo de pesquisa do Instituto de Informática da UFRGS, desenvolvido pelo grupo de pesquisa homônimo e coordenado pelo Professor Daltro José Nunes.… (more)

Subjects/Keywords: Engenharia : Software; Prosoft environment; Algebraic specification; Prosoft; Denotational semantics; Especificacao algebrica; Semantica denotacional; Operational semantics; Semantica operacional; Semantic prototyping; Haskell Programming Language

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Azevedo Terceiro, A. S. d. (2006). Semantics for an algebraic specification language. (Thesis). Universidade do Rio Grande do Sul. Retrieved from http://hdl.handle.net/10183/8126

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Azevedo Terceiro, Antonio Soares de. “Semantics for an algebraic specification language.” 2006. Thesis, Universidade do Rio Grande do Sul. Accessed August 25, 2019. http://hdl.handle.net/10183/8126.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Azevedo Terceiro, Antonio Soares de. “Semantics for an algebraic specification language.” 2006. Web. 25 Aug 2019.

Vancouver:

Azevedo Terceiro ASd. Semantics for an algebraic specification language. [Internet] [Thesis]. Universidade do Rio Grande do Sul; 2006. [cited 2019 Aug 25]. Available from: http://hdl.handle.net/10183/8126.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Azevedo Terceiro ASd. Semantics for an algebraic specification language. [Thesis]. Universidade do Rio Grande do Sul; 2006. Available from: http://hdl.handle.net/10183/8126

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Euskal Herriko Unibertsitatea / Universidad del País Vasco

22. Gaintzarain Ibarmia, José. Invariant-free deduction systems for temporal logic .

Degree: 2012, Euskal Herriko Unibertsitatea / Universidad del País Vasco

 In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that… (more)

Subjects/Keywords: temporal logic; PLTL; temporal deduction; tableaux; temporal tableaux; sequent; sequent calculus; resolution; clausal resolution; clausal temporal resolution; one-pass tableau; invariant; invariant formula; eventuality; invariant-free; cut-free; invariant generation; logic programming; temporal logic programming; completeness; disjunctive logic programming; temporal disjunctive logic programming; finitary sequent system; invariant-free clausal temporal resolution; declarative temporal logic programming; operational semantics; logical semantics; dual tableaux and sequent systems; propositional linear-time temporal logic; fixpoint semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gaintzarain Ibarmia, J. (2012). Invariant-free deduction systems for temporal logic . (Doctoral Dissertation). Euskal Herriko Unibertsitatea / Universidad del País Vasco. Retrieved from http://hdl.handle.net/10810/10332

Chicago Manual of Style (16th Edition):

Gaintzarain Ibarmia, José. “Invariant-free deduction systems for temporal logic .” 2012. Doctoral Dissertation, Euskal Herriko Unibertsitatea / Universidad del País Vasco. Accessed August 25, 2019. http://hdl.handle.net/10810/10332.

MLA Handbook (7th Edition):

Gaintzarain Ibarmia, José. “Invariant-free deduction systems for temporal logic .” 2012. Web. 25 Aug 2019.

Vancouver:

Gaintzarain Ibarmia J. Invariant-free deduction systems for temporal logic . [Internet] [Doctoral dissertation]. Euskal Herriko Unibertsitatea / Universidad del País Vasco; 2012. [cited 2019 Aug 25]. Available from: http://hdl.handle.net/10810/10332.

Council of Science Editors:

Gaintzarain Ibarmia J. Invariant-free deduction systems for temporal logic . [Doctoral Dissertation]. Euskal Herriko Unibertsitatea / Universidad del País Vasco; 2012. Available from: http://hdl.handle.net/10810/10332

23. Alberti, Michele. On operational properties of quantitative extensions of lambda-calculus : Clinical and experimental evaluation of multiparametric imaging of head and neck carcinomas in particular by TEP / MRI.

Degree: Docteur es, Mathématiques, 2014, Aix-Marseille; Università degli studi (Bologne, Italie). Facoltà di Ingegneria

Cette thèse porte sur les propriétés opérationnelles de deux extensions quantitatives du λ-calcul pur : le λ-calcul algébrique et le λ-calcul probabiliste.Dans la première partie,… (more)

Subjects/Keywords: Sémantique opérationnelle; Lambda-Calcul algébrique; Lambda-Calcul probabiliste; Théorie de la beta-Réduction; Bisimulation; Coinduction; Méthode de Howe; Équivalence de termes; Operational semantics; Algebraic lambda-Calculus; Probabilistic lambda-Calculus; Beta-Reduction theory; Bisumulation; Coinduction; Howe's technique; Term equivalence; 510

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alberti, M. (2014). On operational properties of quantitative extensions of lambda-calculus : Clinical and experimental evaluation of multiparametric imaging of head and neck carcinomas in particular by TEP / MRI. (Doctoral Dissertation). Aix-Marseille; Università degli studi (Bologne, Italie). Facoltà di Ingegneria. Retrieved from http://www.theses.fr/2014AIXM4076

Chicago Manual of Style (16th Edition):

Alberti, Michele. “On operational properties of quantitative extensions of lambda-calculus : Clinical and experimental evaluation of multiparametric imaging of head and neck carcinomas in particular by TEP / MRI.” 2014. Doctoral Dissertation, Aix-Marseille; Università degli studi (Bologne, Italie). Facoltà di Ingegneria. Accessed August 25, 2019. http://www.theses.fr/2014AIXM4076.

MLA Handbook (7th Edition):

Alberti, Michele. “On operational properties of quantitative extensions of lambda-calculus : Clinical and experimental evaluation of multiparametric imaging of head and neck carcinomas in particular by TEP / MRI.” 2014. Web. 25 Aug 2019.

Vancouver:

Alberti M. On operational properties of quantitative extensions of lambda-calculus : Clinical and experimental evaluation of multiparametric imaging of head and neck carcinomas in particular by TEP / MRI. [Internet] [Doctoral dissertation]. Aix-Marseille; Università degli studi (Bologne, Italie). Facoltà di Ingegneria; 2014. [cited 2019 Aug 25]. Available from: http://www.theses.fr/2014AIXM4076.

Council of Science Editors:

Alberti M. On operational properties of quantitative extensions of lambda-calculus : Clinical and experimental evaluation of multiparametric imaging of head and neck carcinomas in particular by TEP / MRI. [Doctoral Dissertation]. Aix-Marseille; Università degli studi (Bologne, Italie). Facoltà di Ingegneria; 2014. Available from: http://www.theses.fr/2014AIXM4076

24. 福田, 博之. 分散コミュニケーションのためのPi-calculusの拡張とその抽象機械の提案.

Degree: Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

Supervisor:大堀 淳

情報科学研究科

修士

Subjects/Keywords: Pi-calculus,操作的意味論,抽象機械,分散コミュニケーション; Pi-calculus,operational semantics,abstract machine

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

福田, . (n.d.). 分散コミュニケーションのためのPi-calculusの拡張とその抽象機械の提案. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/1528

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

福田, 博之. “分散コミュニケーションのためのPi-calculusの拡張とその抽象機械の提案.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed August 25, 2019. http://hdl.handle.net/10119/1528.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

福田, 博之. “分散コミュニケーションのためのPi-calculusの拡張とその抽象機械の提案.” Web. 25 Aug 2019.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

福田 . 分散コミュニケーションのためのPi-calculusの拡張とその抽象機械の提案. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Aug 25]. Available from: http://hdl.handle.net/10119/1528.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

福田 . 分散コミュニケーションのためのPi-calculusの拡張とその抽象機械の提案. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/1528

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

25. Mansky, William. Specifying and verifying program transformations with PTRANS.

Degree: PhD, 0112, 2014, University of Illinois – Urbana-Champaign

 Software developers, compiler designers, and formal methods researchers all stand to benefit from improved tools for compiler design and verification. Program correctness for compiled languages… (more)

Subjects/Keywords: compiler correctness; control flow graphs; temporal logic; rewriting; graph transformation; interactive theorem proving; operational semantics; concurrency; relaxed memory models; Satisfiability Modulo Theories (SMT) solvers

operational semantics to programs represented as control flow graphs, either based on existing… …justifications of correctness based on an intuitive understanding of program semantics. While the… …compiler verification effort, we must have a formal semantics for the language(s) to be… …formal semantics for the compilation process itself as well, so that we can reason about the… …must have a method of reasoning about the various components involved; that is, the semantics… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mansky, W. (2014). Specifying and verifying program transformations with PTRANS. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/49385

Chicago Manual of Style (16th Edition):

Mansky, William. “Specifying and verifying program transformations with PTRANS.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed August 25, 2019. http://hdl.handle.net/2142/49385.

MLA Handbook (7th Edition):

Mansky, William. “Specifying and verifying program transformations with PTRANS.” 2014. Web. 25 Aug 2019.

Vancouver:

Mansky W. Specifying and verifying program transformations with PTRANS. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2019 Aug 25]. Available from: http://hdl.handle.net/2142/49385.

Council of Science Editors:

Mansky W. Specifying and verifying program transformations with PTRANS. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/49385

.