Authors: Phillip Heidegger, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://proglang.informatik.uni-freiburg.de/JavaScript/recency.pdf.
File Description: application/pdf
Authors: Markus Degen, Peter Thiemann, Stefan Wehr
Contributors: The Pennsylvania State University CiteSeerX Archives
File Description: application/pdf
Authors: Matthias Neubauer, Peter Thiemann, Universität Freiburg
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.informatik.uni-freiburg.de/~neubauer/papers/padl04.pdf.
File Description: application/pdf
Authors: Peter Thiemann
Resource Type: eBook.
Subjects: Compilers (Computer programs), Computer science, Software engineering, Computer programming
Authors: Tom Schrijvers, Peter Thiemann
Resource Type: eBook.
Subjects: Software engineering, Computer science, Compilers (Computer programs), Machine theory, Artificial intelligence, Computer programming
Authors: Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.informatik.uni-freiburg.de/~thiemann/papers/padl00.ps.gz.
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.1551; http://www.informatik.uni-freiburg.de/~thiemann/papers/padl00.ps.gz
Availability: http://www.informatik.uni-freiburg.de/~thiemann/papers/padl00.ps.gz
Authors: John Hatcliff, Torben Mogensen, Peter Thiemann
Resource Type: eBook.
Authors: Miné, Antoine, Breck, Jason, Reps, Thomas
Contributors: Algorithmes, Programmes et Résolution (APR), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Department of Computer Sciences Madison (CS), University of Wisconsin-Madison, GrammaTech, Inc., The work was supported, in part, by the project ANR-15-CE25-0002 Coverif from the French Agence Nationale de la Recherche, by a gift from Rajiv and Ritu Batra, by DARPA under cooperative agreement HR0011-12-2-0012, by AFRL under DARPA MUSE award FA8750-14-2-0270 and DARPA STAC award FA8750-15-C-0082, and by the UW-Madison Office of the Vice Chancellor for Research and Graduate Education with funding from the Wisconsin Alumni Research Foundation, Peter Thiemann, ANR-15-CE25-0002,Coverif,Vers une combinaison de l'interprétation abstraite et de la programmation par contraintes pour la vérification de propriétés critiques pour des programmes embarqués avec des calculs en virgule flottante(2015)
Superior Title: Lecture Notes in Computer Science ; 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016 ; https://hal.sorbonne-universite.fr/hal-01312250 ; 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Apr 2016, Eindhoven, Netherlands. pp.560-588, ⟨10.1007/978-3-662-49498-1_22⟩
Subject Terms: [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Subject Geographic: Eindhoven, Netherlands
Relation: hal-01312250; https://hal.sorbonne-universite.fr/hal-01312250; https://hal.sorbonne-universite.fr/hal-01312250/document; https://hal.sorbonne-universite.fr/hal-01312250/file/article-mine-al-esop16.pdf
Authors: Ariola, Zena, Downen, Paul, Herbelin, Hugo, Nakata, Keiko, Saurin, Alexis
Contributors: Department of Computer and Information Science, University of Oregon Eugene, Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Design, study and implementation of languages for proofs and programs ( PI.R2 ), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institute of Cybernetics Tallinn, Tallinn University of Technology (TTÜ), Équipe associée INRIA Sémacode, Tom Schrijvers and Peter Thiemann
Superior Title: FLOPS 2012 - 11th International Symposium on Functional and Logic Programming ; https://inria.hal.science/hal-00697241 ; FLOPS 2012 - 11th International Symposium on Functional and Logic Programming, May 2012, Kobe, Japan. pp.32-46, ⟨10.1007/978-3-642-29822-6⟩
Subject Terms: call-by-need, lazy evaluation, duality of computation, sequent calculus, lambda-mu-calculus, classical logic, control, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.0: Control primitives, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: hal-00697241; https://inria.hal.science/hal-00697241; https://inria.hal.science/hal-00697241/document; https://inria.hal.science/hal-00697241/file/classical-need-artifacts.pdf