bulwahn's library 84 articles Export

	Turning Inductive into Equational Specifications [My Copy] Theorem Proving in Higher Order Logics (2009), pp. 131-146. by Stefan Berghofer, Lukas Bulwahn, Florian Haftmann posted to theorem_proving mode_analysis logic_programming isabelle interactive_theorem_proving functional_programming execution_of_specifications by bulwahn on 2009-11-27 15:03:34 as
	Mechanized metatheory model-checking [My Copy] In PPDP '07: Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming (2007), pp. 75-86. by James Cheney, Alberto Momigliano posted to model_finding logic_programming by bulwahn on 2009-11-20 13:04:33 as along with 1 person sebfisch
	Featherweight Java: a minimal core calculus for Java and GJ [My Copy] ACM Trans. Program. Lang. Syst., Vol. 23, No. 3. (2001), pp. 396-450. by Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler posted to operational_semantics featherweight_java by bulwahn on 2009-11-13 12:48:35 as along with 5 people keigoi dvanhorn mattmight jackalope13 fvogels
	A Brief Overview of HOL4 [My Copy] Theorem Proving in Higher Order Logics (2008), pp. 28-32. by Konrad Slind, Michael Norrish posted to interactive_theorem_proving hol4 by bulwahn on 2009-11-12 17:32:21 as
	A sound type system for secure flow analysis [My Copy] J. Comput. Secur., Vol. 4, No. 2-3. (1996), pp. 167-187. by Dennis Volpano, Cynthia Irvine, Geoffrey Smith posted to no-tag by bulwahn on 2009-11-12 14:09:59 as along with 1 person shimomura
	JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2005), pp. 551-556. by Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting posted to model_finding constraint_solving by bulwahn on 2009-11-03 14:14:39 as along with 3 people and 2 groups thiers20 newdawn sjgaller Context-driven-testers Desgin-by-Contract
	DoubleCheck Your Theorems [My Copy] In Eighth International Workshop On The ACL2 Theorem Prover and Its Applications (May 2009) by Carl Eastlund posted to quickcheck model_finding interactive_theorem_proving acl2 by bulwahn on 2009-11-03 14:10:01 as
	Constraint logic programming [My Copy] In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 111-119. by J. Jaffar, J. L. Lassez posted to constraint_solving by bulwahn on 2009-11-02 17:20:52 as
	Constraint Functional Logic Programming over Finite Domains [My Copy] (16 Jan 2006) by Antonio J. Fernandez, Teresa Hortala-Gonzalez, Fernando Saenz-Perez, Rafael D. Vado-Virseda posted to logic_programming functional_logic_programming finite_domain_constraints by bulwahn on 2009-10-21 08:49:23 as
	Negation in logic programming [My Copy] J. Log. Program., Vol. 4, No. 4. (1987), pp. 289-308. by Kenneth Kunen posted to negation logic_programming by bulwahn on 2009-10-20 10:16:38 as
	A kripke-kleene semantics for logic programs [My Copy] The Journal of Logic Programming, Vol. 2, No. 4. (December 1985), pp. 295-312. by M. Fitting posted to three_valued_logic logic_programming by bulwahn on 2009-10-20 10:04:42 as
	A Kripke-Kleene logic over general logic programs [My Copy] KI-94: Advances in Artificial Intelligence (1994), pp. 70-81. by Vladimir Kuznetsov posted to three_valued_logic logic_programming by bulwahn on 2009-10-20 09:37:51 as
	Constraint Propagation in Model Generation [My Copy] In CP '95: Proceedings of the First International Conference on Principles and Practice of Constraint Programming (1995), pp. 398-414. by Jian Zhang, Hantao Zhang posted to sem model_finding by bulwahn on 2009-09-25 15:50:18 as
	System Description: Generating Models by SEM [My Copy] In CADE-13: Proceedings of the 13th International Conference on Automated Deduction (1996), pp. 308-312. by Jian Zhang, Hantao Zhang posted to sem model_finding by bulwahn on 2009-09-25 15:49:34 as
	Polymorphic typed defunctionalization [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 89-98. by François Pottier, Nadji Gauthier posted to functional_programming defunctionalization by bulwahn on 2009-09-24 16:54:25 as along with 1 person jespera
	Defunctionalization at work [My Copy] In PPDP '01: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (2001), pp. 162-174. by Olivier Danvy, Lasse R. Nielsen posted to functional_programming defunctionalization by bulwahn on 2009-09-24 16:52:21 as along with 4 people neelk eaubin jespera pedagand
	Compilation by Transformation in Non-Strict Functional Languages [My Copy] (1995) by André posted to functional_programming by bulwahn on 2009-09-24 15:06:55 as
	The Use of a Logic Programming Language in the Animation of Z Specifications [My Copy] Logic Programming (2007), pp. 451-452. by Margaret West posted to logic_programming execution_of_specifications by bulwahn on 2009-09-24 14:57:21 as
	Signed data dependencies in logic programs [My Copy] The Journal of Logic Programming, Vol. 7, No. 3. (November 1989), pp. 231-245. by K. Kunen posted to sldnf logic_programming by bulwahn on 2009-09-24 10:19:38 as
	A direct proof of the completeness of SLDNF-resolution [My Copy] Journal of Logic and Computation (February 1999), pp. 47-61. by R. Stark posted to sldnf logic_programming by bulwahn on 2009-09-24 10:01:51 as
	A New Definition of SLDNF-resolution [My Copy] (1992) by Krzysztof R. Apt, Kees Doets posted to sldnf logic_programming by bulwahn on 2009-09-24 09:55:47 as
	Efficient software model checking of soundness of type systems [My Copy] In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 493-504. by Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati posted to model_checking by bulwahn on 2009-09-23 18:03:50 as along with 1 person fvogels
	A machine program for theorem-proving [My Copy] Commun. ACM, Vol. 5, No. 7. (July 1962), pp. 394-397. by Martin Davis, George Logemann, Donald Loveland posted to sat_solving by bulwahn on 2009-09-23 17:02:25 as along with 6 people chsticksel gagliol bsilverthorn brothers bfraser voronov
	iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description) [My Copy] Automated Reasoning (2008), pp. 292-298. by Konstantin Korovin posted to theorem_proving model_finding first_order_logic by bulwahn on 2009-09-23 15:14:31 as
	Constructing finite algebras with FALCON [My Copy] Journal of Automated Reasoning, Vol. 17, No. 1. (1 August 1996), pp. 1-22. by Jian Zhang posted to model_finding constraint_solving by bulwahn on 2009-09-23 07:25:00 as
	FINDER: Finite domain enumerator system description [My Copy] Automated Deduction — CADE-12 (1994), pp. 798-801. by John Slaney posted to model_finding constraint_solving by bulwahn on 2009-09-21 10:15:41 as
	System description generating models by SEM [My Copy] Automated Deduction — Cade-13 (1996), pp. 308-312. by Jian Zhang, Hantao Zhang posted to sem model_finding first_order_logic by bulwahn on 2009-09-16 17:59:34 as
	New Techniques that Improve MACE-style Finite Model Finding [My Copy] In Proceedings of the CADE-19 Workshop: Model Computation - Principles, Algorithms, Applications (2003) by Koen Claessen, Niklas Sörensson posted to model_finding by bulwahn on 2009-09-16 17:55:11 as
	Turning inductive into equational specifications [My Copy] In TPHOLs '09: Proceedings of the 22th International Conference on Theorem Proving in Higher Order Logics, Vol. 5674 (2009), pp. 131-146. by Stefan Berghofer, Lukas Bulwahn, Florian Haftmann edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel posted to logic_programming isabelle interactive_theorem_proving code_generation by bulwahn on 2009-09-08 08:31:08 as
	Constraint-based mode analysis of mercury [My Copy] In PPDP '02: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002), pp. 109-120. by David Overton, Zoltan Somogyi, Peter J. Stuckey posted to mode_analysis mercury logic_programming by bulwahn on 2009-08-12 10:28:54 as
	HOL-Boogie—An Interactive Prover-Backend for the Verifying C Compiler [My Copy] Journal of Automated Reasoning by Sascha Böhme, Michał Moskal, Wolfram Schulte, Burkhart Wolff posted to interactive_theorem_proving isabelle verification_of_imperative_programs by bulwahn on 2009-07-16 08:52:24 as
	A System of Precise Modes for Logic Programs [My Copy] (May 1987), pp. 769-787. by Z. Somogyi edited by Jean L. Lassez posted to no-tag by bulwahn on 2009-07-15 09:53:33 as
	Input/output Dependencies of Normal Logic Programs [My Copy] Journal of Logic and Computation, Vol. 4, No. 3. (1994), pp. 249-262. by Robert F. Stärk posted to logic_programming mode_analysis by bulwahn on 2009-07-15 09:23:44 as
	Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book [My Copy] Journal of Automated Reasoning, Vol. 39, No. 2. (1 August 2007), pp. 181-218. by William Billingsley, Peter Robinson posted to interactive_theorem_proving isabelle user_interface by bulwahn on 2009-07-10 13:26:45 as
	How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages [My Copy] Functional Programming Languages and Computer Architecture (1985), pp. 113-128. by Philip Wadler posted to functional_programming monads by bulwahn on 2009-07-08 10:52:08 as along with 2 people spl michaelbanks
	Comprehending Monads [My Copy] In Mathematical Structures in Computer Science, Vol. 2 (1992), pp. 61-78. by Philip Wadler posted to functional_programming monads by bulwahn on 2009-07-08 10:40:39 as along with 1 person fvogels
	The Essence of Functional Programming [My Copy] (1992), pp. 1-14. by Philip Wadler posted to functional_programming monads by bulwahn on 2009-07-08 10:37:37 as
	Monad transformers and modular interpreters [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones posted to functional_programming monads by bulwahn on 2009-07-08 10:27:23 as along with 7 people and 1 group eaubin JacquesC rwtodd cedricboidin oliverh bfraser pile NU-PRL
	Composing Monads [My Copy] (1993) by Mark P. Jones, Luc Duponcheel posted to functional_programming monads by bulwahn on 2009-07-08 10:23:51 as
	Combining Monads [My Copy] In Proceedings of the 1992 Glasgow Workshop on Functional Programming (1993), pp. 134-143. by David J. King, Philip Wadler posted to functional_programming monads by bulwahn on 2009-07-08 10:20:40 as along with 2 people christiankissig pile
	Composing monads using coproducts [My Copy] SIGPLAN Not. In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 133-144. by Christoph Lüth, Neil Ghani posted to functional_programming monads by bulwahn on 2009-07-08 10:11:48 as along with 4 people and 2 groups christiankissig mstone rgb pedagand pileWorks Lambda the Ultimate
	Strict bidirectional type checking [My Copy] In TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (2005), pp. 71-78. by Adam Chlipala, Leaf Petersen, Robert Harper posted to type_systems by bulwahn on 2009-07-03 15:09:48 as along with 1 person robertjohnsimmons
	Mode and Termination Checking for Higher-Order Logic Programs [My Copy] In ESOP '96: Proceedings of the 6th European Symposium on Programming Languages and Systems (1996), pp. 296-310. by Ekkehard Rohwedder, Frank Pfenning posted to logic_programming mode_analysis by bulwahn on 2009-06-24 16:19:31 as
	IsaPlanner: A Prototype Proof Planner in Isabelle [My Copy] Automated Deduction – CADE-19 (2003), pp. 279-283. by Lucas Dixon, Jacques Fleuriot posted to interactive_theorem_proving isabelle proof_planning by bulwahn on 2009-06-20 12:59:15 as along with 1 person gabgas
	Modes and Types in Logic Programming [My Copy] (December 1999) by Jan G. Smaus posted to logic_programming mode_analysis by bulwahn on 2009-06-17 13:41:12 as
	Proof Pearl: Revisiting the Mini-rubik in Coq [My Copy] Theorem Proving in Higher Order Logics (2008), pp. 310-319. by Laurent Théry posted to coq interactive_theorem_proving proof_pearl by bulwahn on 2009-06-06 13:52:52 as
	Automatic mode inference for logic programs [My Copy] J. Log. Program., Vol. 5, No. 3. (1988), pp. 207-229. by Saumya K. Debray, David S. Warren posted to logic_programming mode_analysis by bulwahn on 2009-06-04 11:26:42 as
	Directed test generation using symbolic grammars [My Copy] In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007), pp. 134-143. by Rupak Majumdar, Ru G. Xu posted to no-tag by bulwahn on 2009-05-30 17:41:36 as
	Systematic generation of glass-box test cases for functional logic programs [My Copy] In PPDP '07: Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming (2007), pp. 63-74. by Sebastian Fischer, Herbert Kuchen posted to no-tag by bulwahn on 2009-05-30 17:41:20 as
	Adaptive random testing through iterative partitioning revisited [My Copy] In SOQUA '06: Proceedings of the 3rd international workshop on Software quality assurance (2006), pp. 22-29. by Johannes Mayer, Tsong Y. Chen, De H. Huang posted to no-tag by bulwahn on 2009-05-30 17:41:11 as

Note: You may cite this page as: http://www.citeulike.org/user/bulwahn

Result page: 1 2 Next

interactive_theorem_proving	20
logic_programming	17
isabelle	16
functional_programming	11
model_finding	10
test_data_generation	8
monads	7
mode_analysis	6
quickcheck	6
constraint_solving	5
diploma_thesis	3
sem	3
sldnf	3
term_rewriting	3
code_generation	2
defunctionalization	2
execution_of_specifications	2
first_order_logic	2
functional_logic_programming	2
haskell	2
theorem_proving	2
three_valued_logic	2
verification_of_imperative_programs	2
acl2	1
coq	1
curry	1
featherweight_java	1
finite_domain_constraints	1
focal	1
hol4	1
mercury	1
model_checking	1
negation	1
operational_semantics	1
proof_pearl	1
proof_planning	1
sat_solving	1
twelf	1
type_classes	1
type_systems	1
user_interface	1

bulwahn's library 84 articles Export

bulwahn's tags