169 Infos zu Brigitte Pientka

9 Aktuelle Nachrichten

Bio. Brigitte Pientka is a Full Professor in the School of Computer Science at McGill University, Montreal, Canada. Her main research interests lie in the area ...

What and Who. Title: Beluga^mu: Programming proofs in context. Speaker: Brigitte Pientka. coming from: McGill University. Speakers Bio ...

In attempt to stamp out 'size zero' models, editors say they will in future only use women with 'normal figures'; Brigitte Pientka is an Associate ...

... Michael Mendler (Bamberg, DE) Aleks Nanevski (Microsoft, UK) Brigitte Pientka (McGill, CA) Eike Ritter (Birmingham, UK) * INVITED SPEAKERS: Frank ...

2  Bilder zu Brigitte Pientka

14 Profile in Sozialen Netzwerken

StayFriends - Schulfreunde wiederfinden

Brigitte Pientkas berufliches Profil anzeigen LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und Führungskräften wie Brigitte Pientka dabei ...

View Brigitte Pientka's profile on LinkedIn, the world's largest professional community. Brigitte has 1 job listed on their profile. See the complete profile on ...

1 Hobbys & Interessen

We present a method for integrating rippling-based rewriting into matrix-based theorem proving as a means for automating inductive specification proofs. The...

1 Firmen-Mitarbeiter

Rating and reviews for Professor Brigitte Pientka from McGill University Montreal, QC Canada.

4 Infos zur Ausbildung

Brigitte Pientka (McGill, Montreal, Canada) Beluga: Programming proofs with contexts and ... Beluga is an environment for programming and reasoning about formal

Brigitte Pientka Beluga^mu: Programming proofs in context. We extend a general purpose functional language with support for programming with binders and ...

Brigitte Pientka, Beluga^mu: Programming proofs in context. TCS Oberseminar, Mittwoch, :15 Uhr in L109. Brigitte Pientka, Beluga^mu: Programming proofs ...

Brigitte Pientka, Beluga: Programming proofs with contexts and Steffen Jost, The Advance Project Oliver Friedmann, On Lower Bounds for ...

1 Angaben zur Herkunft

Brigitte Pientka. MathSciNet. Ph.D. Carnegie Mellon University UnitedStates. Dissertation: Tabled Higher-Order Logic Programming. Mathematics Subject ...

19 Bücher zum Namen

Optimizing Higher-Order Pattern Unification Brigitte Pientka and Frank Pfenning⋆ Department of Computer Science Carnegie Mellon University {bp ...

Termination and Reduction Checking for Higher-Order Logic Programs Brigitte Pientka Department of Computer Science Carnegie Mellon University Pittsburgh, ...

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July...

Aleksander Nanevski, Brigitte Pientka, and Frank Pfenning. A modal foundation for meta-variables. In 2nd ACM SIGPLAN Workshop on Mechanized Reasoning ...

11 Dokumente

Automating Inductive Specification Proofs unofficial copies [PDF], [PS] by Brigitte Pientka and Christoph Kreitz Fundamenta Informatica, vol. 39, nos. 1-2, pp.

Andreas Abel · Brigitte Pientka ... Authors: Andreas Abel (Ludwig-Maximilians-University), Brigitte Pientka (McGill University). (Submitted on

Brigitte Pientka Adam Pease Florian Rabe Silvio Ranise Renate Schmidt Stephan Schulz Carsten Schu¨rmann Sanjit Seshia Geoff Sutcliffe Cesare Tinelli Josef Urban

Amy P. Felty · Alberto Momigliano · Brigitte Pientka ... Authors: Amy P. Felty, Alberto Momigliano, Brigitte Pientka. (Submitted on 20 Mar 2015). Abstract: A variety ...

14 Wissenschaftliche Publikationen

... with higher-order abstract syntax and explicit substitutions based on contextual modal type theory [Aleksandar Nanevski, Frank Pfenning, and Brigitte Pientka.

List of computer science publications by Brigitte Pientka

Programming Systems Lab: Publications by Brigitte Pientka. Saarland University Computer Science. Programming Systems · People · Publications · Coordinates.

Bibliographic content of 10. FLOPS 2010: Sendai, Japan

5 Allgemeine Veröffentlichungen

Higher-Order Dynamic Pattern Unification for Dependent Types and Records. Authors; Authors and affiliations. Andreas Abel; Brigitte Pientka. Andreas Abel. 1.

Brigitte Pientka,; Roberto Virga, and; Kevin Watkins. Twelf provides a uniform meta-language for specifying, implementing, and proving ...

Amy Felty; Brigitte Pientka. Amy Felty. 1. Brigitte Pientka SITEUniversity of OttawaOttawaCanada; 2.School of Computer ScienceMcGill UniversityMontreal ...

A. Copatterns by Andreas Abel, Brigitte Pientka, David Thibodeau, and Anton Setzer (POPL 2013). Normalization by Evaluation in the Delay ...

2 Meinungen & Artikel

Brigitte Pientka said,. February 7, at 8:06 pm. Hello Rose,. I just tried your curry, and we really like it. It was very quick, and delicious.

... of Technology, FI); Robert Nieuwenhuis (UPC - BarcelonaTech, ES); Albert Oliveras (UPC - Barcelona, ES); Brigitte Pientka (McGill University - Montreal, CA) ...

83 Webfunde aus dem Netz

Brigitte Pientka. McGill University. Programming Languages, Logical Frameworks, Automated Reasoning. Vahvistettu sähköpostiosoite verkkotunnuksessa ...

此个人学术档案中有新文章时创建电子邮件提醒. 关注新引用. 有对此个人学术档案中文章的新引用时创建电子邮件提醒. 合著作者. 没有合著作者. Brigitte Pientka.

274, A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions. B Pientka. ACM SIGPLAN Notices 43 (1), ...

Brigitte Pientka. Programming Languages, Verification, Automated Theorem Proving, Logical Frameworks, Logic, Type Theory, Logic Programming

Brigitte Pientka Associate Professor in the School of Computer Science at McGill University, Montreal, Canada. Programming Proofs in Context. Abstract: Today ...

Brigitte Pientka. Organization: McGill University. Web page: http://www.cs.mcgill.​ca/~bpientka/. Pages in this Program. FSCD on Tuesday, July 10th.

Brigitte Pientka. Organization: McGill University. Web site: http://www.cs.mcgill.ca/~bpientka/. Pages in this Program. LFMTP on Thursday, July 17th,

Brigitte Pientka, Research, Publications

Prof. Brigitte Pientka of McGill University, Canada, visits Parsifal and LIX during 21 – 24 February. She will give a talk on her POPL paper, ...

Download the best COMP 302 study guides at McGill University to get exam ready in less time!

Dagstuhl Publishing @ Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

Overcoming performance barriers: efficient proof search in logical frameworks. Location: Shaffer 3. Time: 11:00 am. Abstract. The logical framework Twelf ...

Andreas Abel Personal Home Page

Brigitte Pientka, McGill University. Ruzica Piskac, Yale University. André Platzer, Carnegie Mellon University. Andrew Reynolds, EPFL Lausanne.

different flavors of dependent types have slowly found their way ...

BibTeX - Entry @InProceedings{pientka_et_al:LIPIcs:2015:5169, author = {Brigitte Pientka and Andreas Abel}, title = {{Well-Founded Recursion over Contextual Objects ...

In this paper, we discuss a lightweight approach to eliminate the overhead due to implicit type arguments during higher-order unification of

August 2, (Friday) Workshop: September 28, (Saturday) The submission website is now closed Brigitte Pientka (McGill University) Zhong Shao ...

MATHILDE erscheint alle 2 Monate - bezieht sich auf die Region, denkt jedoch darüber hinaus - ist kritisch - will zur Diskussion verschiedener...

Robotree: mentors, trainees, research areas and affiliations for researcher