P4 (Programming Protocol-Independent Packet Processors) is a declarative language for expressing how packets are processed by the data plane of a forwarding element, such as a networking switch. In a nutshell, P4 brings programmability to the network forwarding plane. This thesis starts by describing the challenges encountered when deploying P4 to implement MAP-T, a solution to provide IPv4 connectivity across an IPv6 backbone. This implementation has been deployed on a Cisco switch based on the Tofino programmable ASIC. This switch is sold along with a pre-built P4 program to which our implementation must be added. Hence this work has to address the challenge of merging a new functionality with a pre-built P4 program which is called Incremental Programming.