Computational law (or legal computing) is a branch of law concerned with the study of formal representations and automated reasoning with laws (governmental regulations, business rules, and contracts) in electronically mediated domains. Like other disciplines in computational science, computational law is concerned with quantitative modeling and analysis techniques, e.g., by using computers to analyze and model legal issues. Many of the techniques used in computational law are taken or derived from techniques in the domains of natural language processing and big data analysis. Analysis techniques also include legal visualization techniques.