SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Tom Ridge1 David Sheets2 Thomas Tuerk3 Andrea Giugliano1 Anil Madhavapeddy2 Peter Sewell2 1 University of Leicester 2 Universi

Source URL: anil.recoil.org

• Computing
• Software
• System software
• Application programming interfaces
• Rename
• Symbolic link
• POSIX
• File system permissions
• Hard link
• File locking
• File system
• Tar

Symbolic Resource Bound Inference for Functional Programs Ravichandhran Madhavan1 and Viktor Kuncak2 1 2

Source URL: lara.epfl.ch

ASSOCIATION FOR SYMBOLIC LOGICJOINT MEETING WITH THE AMERICAN PHILOSOPHICAL ASSOCIATION Palmer House Chicago, IL March 2 - 5, 2016

Source URL: aslonline.org

The Relative Efficiency of Propositional Proof Systems Author(s): Stephen A. Cook and Robert A. Reckhow Source: The Journal of Symbolic Logic, Vol. 44, No. 1 (Mar., 1979), ppPublished by: Association for Symbolic

Source URL: www.cs.toronto.edu

ANNEXURE D: LIST OF REPUTED PUBLICATIONS IN CSE Acronym SIGCOMM SIGMETRICS CCS

Source URL: www.cse.iitd.ac.in

• Academia
• Computer science
• Computing
• Theoretical computer science
• Association for Computing Machinery
• ACM SIGACT
• International Conference on Functional Programming
• Computational intelligence
• Computational geometry
• Computational learning theory
• International Symposium on Symbolic and Algebraic Computation
• Algorithmica

A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems MSc Thesis (Afstudeerscriptie) written by Floor Sietsma

Source URL: www.axini.com

Higher-Order and Symbolic Computation, 11, 363–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Definitional Interpreters

Source URL: cs.au.dk

• Software engineering
• Computer programming
• Computing
• Lambda calculus
• Subroutines
• Models of computation
• Functional programming
• Theoretical computer science
• Lisp
• Eval
• Expression
• Anonymous function

MEDIA IMAGES Symbolic Cities: The Work of Ahmed Mater On view March 19–September 18, 2016, Freer|Sackler Press Tour:

Source URL: www.asia.si.edu

Symbolic Polynomial Maximization over Convex Sets and its Application to Memory Requirement Estimation PHILIPPE CLAUSS Universit´e Louis Pasteur, France and

Source URL: icps.u-strasbg.fr

Grant R305F100007 Year of Study: Title: Developing symbolic interpretation through literary argumentation Authors: Sosa, T., Hall, A. H., Goldman, S. R. & Lee, C. D. Citation: Sosa, T., Hall, A. H., Goldman, S.

Source URL: www.projectreadi.org